Interactive Verification of UML State Machines. - Michael Balser; Simon Bäumler; Alexander Knapp; Wolfgang Reif; Andreas Thums (ICFEM, 2004)

Verification of Medical Guidelines by Model Checking - A Case Study. - Simon Bäumler; Michael Balser; Andriy Dunets; Wolfgang Reif; Jonathan Schmitt (SPIN, 2006)

Compositional Proofs with Symbolic Execution. - Simon Bäumler; Florian Nafz; Michael Balser; Wolfgang Reif (VERIFY, 2008)

Interactive Verification of Concurrent Systems using Symbolic Execution. - Michael Balser; Simon Bäumler; Wolfgang Reif; Gerhard Schellhorn (LPAR Workshops, 2008)

Formal Verification of Lock-Free Algorithms. - Gerhard Schellhorn; Simon Bäumler (ACSD, 2009)

A Formal Framework for Compositional Verification of Organic Computing Systems. - Florian Nafz; Hella Seebach; Jan-Philipp Steghöfer; Simon Bäumler; Wolfgang Reif (ATC, 2010)

Temporal Logic Verification of Lock-Freedom. - Bogdan Tofan; Simon Bäumler; Gerhard Schellhorn; Wolfgang Reif (MPC, 2010)

Interactive verification of concurrent systems using symbolic execution. - Simon Bäumler; Michael Balser; Florian Nafz; Wolfgang Reif; Gerhard Schellhorn (AI Commun., 2010)

Modulares Beweisen temporallogischer Eigenschaften paralleler Programme. - Simon Bäumler (2010)

Proving linearizability with temporal logic. - Simon Bäumler; Gerhard Schellhorn; Bogdan Tofan; Wolfgang Reif (Formal Aspects Comput., 2011)