Simon Bäumler is an author at University of Augsburg.
Publications per year
2005–2010
4
4
Proving linearizability with temporal logic
Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan et al. · Formal Aspects of Computing · 2009 · 32 citations · Full text
Interactive verification of concurrent systems using symbolic execution
Simon Bäumler, Michael Balser, Florian Nafz et al. · AI Communications · 2010 · 22 citations
The user interface of the KIV verification system: a system description
Dominik Haneberg, Simon Bäumler, Michael Balser et al. · 2005 · 14 citations
Interactive Verification of Concurrent Systems using Symbolic Execution.
Michael Balser, Simon Bäumler, Wolfgang Reif et al. · OPUS (Augsburg University) · 2008 · 10 citations · Full text
Rows per page
1–4 of 4