Technische Berichte

2010

• Supplementing Product Families with Behaviour
  P. Höfner, R. Khedri and B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, October 2010
  2010-13
• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, July 2010
  2010-06
• An Algebra for Abstract Interfaces
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, April 2010
  2010-02

2009

• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2009
  2009-12
• Foundations of Concurrent Kleene Algebra
  C.A.R. Hoare, B. Möller, G. Struth and I. Wehrman
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-05
• Concurrent Kleene Algebra
  C.A.R. Hoare, B. Möller, G. Struth and I. Wehrman
  Technical Report, Institute of Computer Science, University of Augsburg, April 2009
  2009-04

2008

• Relations and Kleene Algebra in Computer Science
  PHD Programme at RelMiCS10 / AK5
  R. Berghammer, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, April 2008
  2008-04

2007

• Algebraic View Reconciliation
  P. Höfner, R. Khedri, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2007
  2007-13
• An Algebra of Hybrid Systems
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2007
  2007-08
• An Algebra for Feature-Oriented Software Development
  S. Apel, C. Lengauer, D. Batory, B, Möller, C. Kästner
  Technical Report, Department of Informatics and Mathematics, University of Passau, MIP-0706
• Knowledge and Games in Modal Semirings
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, February 2007
  2007-03

2006

• Normal Design Algebra
  W. Guttmann, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2006
  2006-28
• Algebraic Notions of Termination
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, October 2006
  2006-23
• Omega Algebra, Demonic Refinement Algebra and Commands
  P. Höfner, B. Möller, K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-11
• The Linear Algebra of UTP (Revised Version)
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, April 2006
  2006-10
• Lazy Semiring Neighbours and some Applications
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-09
• Non-Smooth and Zeno Trajectories for Hybrid System Algebra
  P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-07
• Quantales and Temporal Logics
  B. Möller, P. Höfner, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-06
• Feature Algebra
  P. Höfner, R. Khedri, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-04

2005

• Residuals and Detachments
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2005
  2005-20
• Modal Design Algebra
  W. Guttmann, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, October 2005
  2005-15
• The Linear Algebra of UTP
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, September 2005
  2005-14
• Complete Tests do not Guarantee Domain
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, March 2005
  2005-06

2004

• Separability in Domain Semirings
  D. Kozen, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2004
  2004-16
• WP is WLP
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, October 2004
  2004-14
• Kleene under a Modal Demonic Star
  J. Desharnais, B. Möller, F. Tchier
  Technical Report, Institute of Computer Science, University of Augsburg, May 2004
  2004-11
• Termination in Modal Kleene Algebra
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, January 2004
  2004-04

2003

• Lazy Kleene Algebra
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 2003
  2003-17
• Greedy-Like Algorithms in Kleene Algebra
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-11
• Kleene Modules
  T. Ehm, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, August 2003
  2003-10
• Modal Kleene Algebra and Partial Correctness
  B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-08
• Kleene Algebra with Domain
  J. Desharnais, B. Möller, G. Struth
  Technical Report, Institute of Computer Science, University of Augsburg, May 2003
  2003-07

2002

• Least Reflexive Points of Relations
  J. Desharnais, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2002
  2002-13

2001

• Characterizing Determinacy in Kleene Algebras (Revised version)
  J. Desharnais, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, April 2001
  2001-03

2000

• Characterizing Determinacy in Kleene Algebras
  J. Desharnais, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, May 2000
  2000-05
• Safer Ways to Pointer Manipulation
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, May 2000
  2000-04
• Kleene Under a Demonic Star
  J. Desharnais, B. Möller, F. Tchier
  Technical Report, Institute of Computer Science, University of Augsburg, February 2000
  2000-03

1999

• Typed Kleene Algebras
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1999
  1999-08

1998

• An Algebraic Approach to Systolic Circuits
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, January 1998
  1998-01

1997

• Ideal Stream Algebra
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-10
• Deductive Hardware Design: A Functional Approach
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-09
• Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach
  T. Brunn, B. Möller, M. Russling
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-08
• Linked Lists Calculated
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-07
• Modal and Temporal Operators on Partial Orders
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, November 1997
  1997-02

1995

• Refining Ideal Behaviours
  B. Möller
  Institut für Mathematik der Universität Augsburg.
  Report Nr. 345, 1995

1993

• Derivation of Graph and Pointer Algorithms
  B. Möller
  Institut für Mathematik der Universität Augsburg.
  Report Nr. 280, 1993
• Towards Pointer Algebra
  B. Möller
  Institut für Mathematik der Universität Augsburg.
  Report Nr. 279, 1993

1992

• Shorter Paths to Graph Algorithms
  B. Möller, M. Russling
  Institut für Mathematik der Universität Augsburg.
  Report Nr. 272, 1992