Technische Berichte
2019
2017

Tracelets and Specifications
T. Hoare, B Möller, M. Müller
Technical Report 201701, Institute of Computer Science, University of Augsburg, January 2017
2016
2015
2013

Features, Modularity, and Variation Points
D. Batory, P. Höfner, B. Möller, A. Zelend
Technical Report, University of Texas at Austin, October 2013

An Algebra of Database Preferences
B. Möller, P. Roocks
Technical Report, Institute of Computer Science, University of Augsburg, June 2013
201308

Extended Transitive Separation Logic
H.H. Dang, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, June 2013
201307
2012
2011
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
201013

Requirements in Feature Algebra
P. Höfner, S. Mentl, B. Möller, and W. Scholz
Technical Report, Institute of Computer Science, University of Augsburg, October 2010
201012

Fixing Zeno Gaps
P. Höfner and B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, October 2010
201011

ATPPortal: A Userfriendly Webbased Interface for Automated Theorem Provers and for Automatically Generated Proofs
P. Höfner, M.E. Müller, S. Zeissler
Technical Report, Institute of Computer Science, University of Augsburg, October 2010
201010

An Extension of Feature Algebra
P. Höfner and B.Möller
Technical Report, Institute of Computer Science, University of Augsburg, October 2010
201009

Algebraic Separation Logic
H.H. Dang, P. Höfner, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, July
2010
201006

An Algebra for Abstract Interfaces
P. Höfner, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, April 2010
201002

Automated Higherorder Reasoning in Quantales
H.H. Dang, P. Höfner
Technical Report, Institute of Computer Science, University of Augsburg, April 2010
201003
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
200912

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
200905

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
200904

Algebraic Aspects of Separation Logic
H.H. Dang
Technical Report, Institute of Computer Science, University of Augsburg, May 2009
200901
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
200804

On Automating the Calculus of Relations
P. Höfner
G. Struth
Technical Report, Department of Computer Science, University of Sheffield, March 2008
CS0805

Network Flows, Semirings and Fuzzy Relations
R. Glück
Technical Report, Institute of Computer Science, University of Augsburg, Januaryr 2008
200801
2007

Algebraic View Reconciliation
P. Höfner, R. Khedri, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 2007
200713

Algebraic Structure of Web Services
P. Höfner, F. Lautenbacher
Technical Report, Institute of Computer Science, University of Augsburg, February 2008
200712

Proof Automation in Kleene Algebra
P. Höfner
in W. Dosch, C. Grelck, A. Stümpel (eds.): 14. Kolloquium Programmiersprachen unf Grundlagen der Programmierung, Technical Report, Institutes for Computer Science and Mathematics, University of Lübeck, pp. 8792, September 2007
A0707, Schriftenreihe A

Netzwerkflüsse und Fuzzyrelationen
R. Glück
in W. Dosch, C. Grelck, A. Stümpel (eds.): 14. Kolloquium Programmiersprachen unf Grundlagen der Programmierung, Technical Report, Institutes for Computer Science and Mathematics, University of Lübeck, pp. 5964, September 2007
A0707, Schriftenreihe A

An Algebra of Hybrid Systems
P. Höfner, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, September 2007
200708

An Algebra for FeatureOriented Software Development
S. Apel, C. Lengauer, D. Batory, B, Möller, C. Kästner
Technical Report, Department of Informatics and Mathematics, University of Passau, MIP0706

Can Refinement be Automated?
P. Höfner
G. Struth
Technical Report, Department of Computer Science, University of Sheffield, June 2007
CS0708

Knowledge and Games in Modal Semirings
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, February 2007
200703

Automated Reasoning in Kleene Algebra
P. Höfner
G. Struth
Technical Report, Department of Computer Science, University of Sheffield, Februrary 2007
CS0704
2006

Normal Design Algebra
W. Guttmann, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 2006
200628

Algebraic Notions of NonTermination
P. Höfner
G. Struth
Technical Report, Department of Computer Science, University of Sheffield, December 2006
CS0612

Algebraic Notions of Termination
J. Desharnais, B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, October 2006
200623

Dynamic Epistemic Semirings
K. Solin
Technical Report, Institute of Computer Science, University of Augsburg, June 2006
200617

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
200611

The Linear Algebra of UTP (Revised Version)
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, April 2006
200610

Lazy Semiring Neighbours and some Applications
P. Höfner, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, June 2006
200609

NonSmooth and Zeno Trajectories for Hybrid System Algebra
P. Höfner, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, March 2006
200607

Quantales and Temporal Logics
B. Möller, P. Höfner, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, June 2006
200606

On Two Dually Nondeterministic Refinement Algebras
K. Solin
Technical Report, Institute of Computer Science, University of Augsburg, February 2006
200605

Feature Algebra
P. Höfner, R. Khedri, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, June 2006
200604
2005

Residuals and Detachments
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 2005
200520

Semiring Neighbours
P. Höfner
Technical Report, Institute of Computer Science, University of Augsburg, November 2005
200519

Modal Design Algebra
W. Guttmann, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, October 2005
200515

The Linear Algebra of UTP
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, September 2005
200514

Complete Tests do not Guarantee Domain
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, March 2005
200506

From Sequential Algebra to Kleene Algebra:
Interval Modalities and Duration Calculus
P. Höfner
Technical Report, Institute of Computer Science, University of Augsburg, March 2005
200505
2004

Separability in Domain Semirings
D. Kozen, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 2004
200416

WP is WLP
B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, October 2004
200414

Kleene under a Modal Demonic Star
J. Desharnais, B. Möller, F. Tchier
Technical Report, Institute of Computer Science, University of Augsburg, May 2004
200411

Termination in Modal Kleene Algebra
J. Desharnais, B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, January 2004
200404
2003

An Algebraic Study of Commutation and Termination
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, December 2003
200318

Lazy Kleene Algebra
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 2003
200317

A Calculus for SetBased Program Development Part II: Proof Search
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, October 2003
200316

A Calculus for SetBased Program Development Part I: Mathematical foundations.
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, September 2003
200315

Kleene Algebras and Pointer Structures
T. Ehm
Technical Report, Institute of Computer Science, University of Augsburg, July 2003
200313

Deriving TableauBased Solutions to Lattice Word Problems
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, August 2003
200312

GreedyLike Algorithms in Kleene Algebra
B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, August 2003
200311

Kleene Modules
T. Ehm, B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, August 2003
200310

Case studies for the derivation of pointer algorithms
T. Ehm
Technical Report, Institute of Computer Science, University of Augsburg, June 2003
200309

Modal Kleene Algebra and Partial Correctness
B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, May 2003
200308

Kleene Algebra with Domain
J. Desharnais, B. Möller, G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, May 2003
200307
2002

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

Declarative Graph Algorithms via KnuthBendix Completion
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, May 2002
200210

Termination of Ground NonSymmetric KnuthBendix Completion
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, May 2002
200209

Deriving Focused Lattice Calculi
G. Struth
Technical Report, Institute of Computer Science, University of Augsburg, May 2002
200208
2001
2000

Properties of overwriting for Updates in Typed Kleene Algebras
T. Ehm
Technical Report, Institute of Computer Science, University of Augsburg, December 2000
200007

Characterizing Determinacy in Kleene Algebras
J. Desharnais, B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, May 2000
200005

Safer Ways to Pointer Manipulation
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, May 2000
200004

Kleene Under a Demonic Star
J. Desharnais, B. Möller, F. Tchier
Technical Report, Institute of Computer Science, University of Augsburg, February 2000
200003
1999

Typed Kleene Algebras
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 1999
199908
1998
1997

Ideal Stream Algebra
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
199710

Deductive Hardware Design: A Functional Approach
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
199709

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
199708

Linked Lists Calculated
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, December 1997
199707

Modal and Temporal Operators on Partial Orders
B. Möller
Technical Report, Institute of Computer Science, University of Augsburg, November 1997
199702
1995
1993
1992