dblp.uni-trier.dewww.uni-trier.de

Simon Bäumler Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
4EEMichael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn: Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops 2008
3EESimon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008
2006
2EESimon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt: Verification of Medical Guidelines by Model Checking - A Case Study. SPIN 2006: 219-233
2004
1EEMichael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448

Coauthor Index

1Michael Balser [1] [2] [3] [4]
2Andriy Dunets [2]
3Alexander Knapp [1]
4Florian Nafz [3]
5Wolfgang Reif [1] [2] [3] [4]
6Gerhard Schellhorn [4]
7Jonathan Schmitt [2]
8Andreas Thums [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)