Simon Bäumler

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif
Proving linearizability with temporal logic. Formal Aspects Comput. 23 (1) (2011)
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn
Interactive verification of concurrent systems using symbolic execution. AI Commun. 23 (2-3) (2010)
Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif
Temporal Logic Verification of Lock-Freedom. MPC (2010)
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif
A Formal Framework for Compositional Verification of Organic Computing Systems. ATC (2010)
Gerhard Schellhorn, Simon Bäumler
Formal Verification of Lock-Free Algorithms. ACSD (2009)
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif
Compositional Proofs with Symbolic Execution. VERIFY (2008)
Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn
Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops (2008)
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
Verification of Medical Guidelines by Model Checking - A Case Study. SPIN (2006)
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
Interactive Verification of UML State Machines. ICFEM (2004)