Concepedia
Statistics
Publications
30
Citations
1.2K
H-Index
19
Active since
1981
Affiliations
University of Augsburg(Current)
Augsburg University
Technical University of Munich
University of Passau
Université Laval
Bernhard Möller is an author at University of Augsburg specializing in formal methods, engineering, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisSoftware EngineeringLinguisticsSoftware DesignFormal Verification
Publications per year
1981–2015
Kleene algebra with domain
Jules Desharnais, Bernhard Möller, Georg Struth · ACM Transactions on Computational Logic · 2006 · 171 citations
Kleene Algebra, Algebraic Logic, Abstract Algebra +11
Formal program construction by transformations-computer-aided, intuition-guided programming
Friedrich L. Bauer, Bernhard Möller, H. Partsch et al. · IEEE Transactions on Software Engineering · 1989 · 139 citations
Engineering, Software Systems, Software Engineering +21
Concurrent Kleene Algebra and its Foundations
Tony Hoare, Bernhard Möller, Georg Struth et al. · The Journal of Logic and Algebraic Programming · 2011 · 128 citations · Full text
Algebraic Logic, Automated Reasoning, Algebraic Semantics +3
Algebras of modal operators and partial correctness
Bernhard Möller, Georg Struth · Theoretical Computer Science · 2005 · 66 citations · Full text
Partial Correctness, Modern Algebra, Automated Reasoning +2
An algebraic foundation for automatic feature-based program synthesis
Sven Apel, Christian Lengauer, Bernhard Möller et al. · Science of Computer Programming · 2010 · 58 citations · Full text
Engineering, Automated Reasoning, Program Analysis +11
1–5 of 30