Simon Bäumler

According to our database, Simon Bäumler authored at least 10 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Proving linearizability with temporal logic.

Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif

Formal Aspects Comput., 2011

2010

Modulares Beweisen temporallogischer Eigenschaften paralleler Programme.

Simon Bäumler

PhD thesis, 2010

Interactive verification of concurrent systems using symbolic execution.

Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn

AI Commun., 2010

Temporal Logic Verification of Lock-Freedom.

Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

A Formal Framework for Compositional Verification of Organic Computing Systems.

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

2009

Formal Verification of Lock-Free Algorithms.

Gerhard Schellhorn, Simon Bäumler

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Interactive Verification of Concurrent Systems using Symbolic Execution.

Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the LPAR 2008 Workshops, 2008

Compositional Proofs with Symbolic Execution.

Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2006

Verification of Medical Guidelines by Model Checking - A Case Study.

Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

2004

Interactive Verification of UML State Machines.

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums

Proceedings of the Formal Methods and Software Engineering, 2004