Bernhard Möller

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 17

Top Venues

J. Log. Algebraic Methods Program.

RAMiCS

CoRR

Software, Services, and Systems

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
Geometric Theory for Program Testing. CoRR (2022)
Bernhard Möller, Peter W. O'Hearn, Tony Hoare
On Algebra of Program Correctness and Incorrectness. RAMiCS (2021)
Jules Desharnais, Bernhard Möller
The θ-Join as a Join with θ. RAMiCS (2020)
Walter Guttmann, Bernhard Möller
A Hierarchy of Algebras for Boolean Subsets. Arch. Formal Proofs 2020 (2020)
Walter Guttmann, Bernhard Möller
A Hierarchy of Algebras for Boolean Subsets. RAMiCS (2020)
Bernhard Möller
Geographic wayfinders and space-time algebra. J. Log. Algebraic Methods Program. 104 (2019)
Jessica Ertel, Roland Glück, Bernhard Möller
Algebraic Derivation of Until Rules and Application to Timer Verification. RAMiCS (2018)
Jules Desharnais, Bernhard Möller
Non-associative Kleene Algebra and Temporal Logics. RAMiCS (2017)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu
Developments in concurrent Kleene algebra. J. Log. Algebraic Methods Program. 85 (4) (2016)
Peter Höfner, Bernhard Möller
Extended Feature Algebra. J. Log. Algebraic Methods Program. 85 (5) (2016)
Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth
A Discrete Geometric Model of Concurrent Program Execution. UTP (2016)
Han-Hing Dang, Bernhard Möller
Extended transitive separation logic. J. Log. Algebraic Methods Program. 84 (3) (2015)
Han-Hing Dang, Bernhard Möller
Modal algebra and Petri nets. Acta Informatica 52 (2-3) (2015)
Bernhard Möller, Patrick Roocks
An algebra of database preferences. J. Log. Algebraic Methods Program. 84 (3) (2015)
Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
Structured Document Algebra in Action. Software, Services, and Systems (2015)
Bernhard Möller, Tony Hoare
Exploring an Interface Model for CKA. MPC (2015)
Bernhard Möller
Towards Antichain Algebra. RAMiCS (2015)
Rudolf Berghammer, Bernhard Möller, Michael Winter
Preface. J. Log. Algebraic Methods Program. 83 (2) (2014)
Martin E. Müller, Bernhard Möller
On nothing. J. Log. Algebraic Methods Program. 83 (2) (2014)
Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend
Exploring modal worlds. J. Log. Algebraic Methods Program. 83 (2) (2014)
Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn
Developments in Concurrent Kleene Algebra. RAMiCS (2014)
Jules Desharnais, Bernhard Möller
Fuzzifying Modal Algebra. RAMiCS (2014)
Jules Desharnais, Anastasiya Grinenko, Bernhard Möller
Relational style laws and constructs of linear algebra. J. Log. Algebraic Methods Program. 83 (2) (2014)
Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend
Features, modularity, and variation points. FOSD (2013)
Bernhard Möller
Modal Knowledge and Game Semirings. Comput. J. 56 (1) (2013)
Peter Höfner, Bernhard Möller, Andreas Zelend
Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming. RAMiCS (2012)
Bernhard Möller, Patrick Roocks, Markus Endres
An Algebraic Calculus of Database Preferences. MPC (2012)
Han-Hing Dang, Bernhard Möller
Transitive Separation Logic. RAMiCS (2012)
Han-Hing Dang, Bernhard Möller
Reverse Exchange for Concurrency and Local Reasoning. MPC (2012)
Bernhard Möller, Patrick Roocks
An Algebra of Layered Complex Preferences. RAMiCS (2012)
Peter Höfner, Bernhard Möller
Dijkstra, Floyd and Warshall meet Kleene. Formal Aspects Comput. 24 (4-6) (2012)
Rudolf Berghammer, Ali Jaoua, Bernhard Möller
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 80 (6) (2011)
Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. 80 (6) (2011)
Peter Höfner, Ridha Khédri, Bernhard Möller
An algebra of product families. Softw. Syst. Model. 10 (2) (2011)
Han-Hing Dang, Bernhard Möller
Simplifying Pointer Kleene Algebra. ATE (2011)
Bernhard Möller
Building Structured Theories - (Invited Paper). RAMiCS (2011)
Peter Höfner, Bernhard Möller
Fixing Zeno gaps. Theor. Comput. Sci. 412 (28) (2011)
C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth
On Locality and the Exchange Law for Concurrent Processes. CONCUR (2011)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Algebraic separation logic. J. Log. Algebraic Methods Program. 80 (6) (2011)
Peter Höfner, Ridha Khédri, Bernhard Möller
Supplementing Product Families with Behaviour. Int. J. Softw. Informatics 5 (1-2) (2011)
Jules Desharnais, Bernhard Möller, Georg Struth
Algebraic Notions of Termination Log. Methods Comput. Sci. 7 (1) (2011)
Walter Guttmann, Bernhard Möller
Normal design algebra. J. Log. Algebraic Methods Program. 79 (2) (2010)
Roland Glück, Bernhard Möller, Michel Sintzoff
Model Refinement Using Bisimulation Quotients. AMAST (2010)
Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
An algebraic foundation for automatic feature-based program synthesis. Sci. Comput. Program. 75 (11) (2010)
Rudolf Berghammer, Bernhard Möller, Georg Struth
Relations and Kleene algebras in computer science. J. Log. Algebraic Methods Program. 79 (8) (2010)
Peter Höfner, Bernhard Möller
An extension for feature algebra. FOSD (2009)
Han-Hing Dang, Peter Höfner, Bernhard Möller
Towards Algebraic Separation Logic. RelMiCS (2009)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Concurrent Kleene Algebra. CONCUR (2009)
Roland Glück, Bernhard Möller, Michel Sintzoff
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS (2009)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Foundations of Concurrent Kleene Algebra. RelMiCS (2009)
Peter Höfner, Bernhard Möller
An algebra of hybrid systems. J. Log. Algebraic Methods Program. 78 (2) (2009)
Peter Höfner, Bernhard Möller
Algebraic Neighbourhood Logic. J. Log. Algebraic Methods Program. 76 (1) (2008)
Roland Glück, Bernhard Möller
Circulations, Fuzzy Relations and Semirings. MPC (2008)
Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
An Algebra for Features and Feature Composition. AMAST (2008)
Bernhard Möller
Knowledge and Games in Modal Semirings. RelMiCS (2008)
Peter Höfner, Ridha Khédri, Bernhard Möller
Algebraic View Reconciliation. SEFM (2008)
Bernhard Möller
Kleene getting lazy. Sci. Comput. Program. 65 (2) (2007)
Bernhard Möller, Georg Struth
Algebras of modal operators and partial correctness. Theor. Comput. Sci. 351 (2) (2006)
Peter Höfner, Bernhard Möller, Kim Solin
Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS (2006)
Bernhard Möller, Peter Höfner, Georg Struth
Quantales and Temporal Logics. AMAST (2006)
Peter Höfner, Bernhard Möller
Lazy Semiring Neighbours and Some Applications. RelMiCS (2006)
Bernhard Möller
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. J. Log. Algebraic Methods Program. 66 (2) (2006)
Peter Höfner, Ridha Khédri, Bernhard Möller
Feature Algebra. FM (2006)
Jules Desharnais, Bernhard Möller, Georg Struth
Kleene algebra with domain. ACM Trans. Comput. Log. 7 (4) (2006)
Walter Guttmann, Bernhard Möller
Modal Design Algebra. UTP (2006)
Bernhard Möller
The Linear Algebra of UTP. MPC (2006)
Jules Desharnais, Bernhard Möller, Fairouz Tchier
Kleene under a modal demonic star. J. Log. Algebraic Methods Program. 66 (2) (2006)
Peter Höfner, Bernhard Möller
Towards an Algebra of Hybrid Systems. RelMiCS (2005)
Bernhard Möller, Georg Struth
p Is. RelMiCS (2005)
Jules Desharnais, Bernhard Möller
Least Reflexive Points of Relations. High. Order Symb. Comput. 18 (1-2) (2005)
Bernhard Möller
Lazy Kleene Algebra. MPC (2004)
Bernhard Möller, Georg Struth
Modal Kleene Algebra and Partial Correctness. AMAST (2004)
Jules Desharnais, Bernhard Möller, Georg Struth
Termination in Modal Kleene Algebra. IFIP TCS (2004)
Eerke A. Boiten, Bernhard Möller
Foreword. Sci. Comput. Program. 51 (1-2) (2004)
Thorsten Ehm, Bernhard Möller, Georg Struth
Kleene Modules. RelMiCS (2003)
Jules Desharnais, Bernhard Möller, Georg Struth
Kleene algebra with domain CoRR (2003)
Bernhard Möller, Georg Struth
Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS (2003)
Jules Desharnais, Bernhard Möller
Characterizing determinacy in Kleene algebras. Inf. Sci. 139 (3-4) (2001)
Jules Desharnais, Bernhard Möller
Characterizing Functions in Kleene Algebras. RelMiCS (2000)
Jules Desharnais, Bernhard Möller, Fairouz Tchier
Kleene under a Demonic Star. AMAST (2000)
Bernhard Möller
Calculating with Acyclic and Cyclic Lists. Inf. Sci. 119 (3-4) (1999)
Bernhard Möller
Deductive Hardware Design: A Functional Approach. Prospects for Hardware Foundations (1998)
Thomas Brunn, Bernhard Möller, Martin Russling
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. MPC (1998)
Bernhard Möller
Idel Stream Algebra. Prospects for Hardware Foundations (1998)
Bernhard Möller
Modal and temporal operators on partial orders. RelMiCS (1998)
Bernhard Möller
Calculating with pointer structures. Algorithmic Languages and Calculi (1997)
Bernhard Möller
Calculating With Pointer Structures (Extended Abstract). RelMiCS (1997)
Bernhard Möller
Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Sci. Comput. Program. 26 (1-3) (1996)
Walter Dosch, Bernhard Möller
Calculating a Functional Module for Binary Search Trees. Implementation of Functional Languages (1996)
Bernhard Möller
Assertions and Recursions. HOA (1995)
Bernhard Möller, Martin Russling
Shorter Paths to Graph Algorithms. Sci. Comput. Program. 22 (1-2) (1994)
Bernhard Möller
Ideal Streams. PROCOMET (1994)
Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
Introduction. Formal Program Development (1993)
Bernhard Möller
Ordered and Continuous Models of Higher-Order Specifications. HOA (1993)
Bernhard Möller
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). Formal Methods in Programming and Their Applications (1993)
Bernhard Möller
Derivation of Graph and Pointer Algorithms. Formal Program Development (1993)
Bernhard Möller
Towards Pointer Algebra. Sci. Comput. Program. 21 (1) (1993)
Bernhard Möller, Martin Russling
Shorter Paths to Graph Algorithms. MPC (1992)
Ulrich Berger, Werner Meixner, Bernhard Möller
Calculating a Garbage Collector. Methods of Programming (1991)
Rudolf Berghammer, Herbert Ehler, Bernhard Möller
On the Refinement of Non-Deterministic Recursive Routines by Transformations. Programming Concepts and Methods (1990)

Bernhard Möller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Möller