Simon Bäumler

	2011
9		Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif: Proving linearizability with temporal logic. Formal Asp. Comput. 23(1): 91-112 (2011)
	2010
8		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: 17-31
7		Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif: Temporal Logic Verification of Lock-Freedom. MPC 2010: 377-396
6		Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn: Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2-3): 285-307 (2010)
	2009
5		Gerhard Schellhorn, Simon Bäumler: Formal Verification of Lock-Free Algorithms. ACSD 2009: 13-18
	2008
4		Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn: Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops 2008
3		Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008
	2006
2		Simon 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
1		Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448

Coauthor Index

1	Michael Balser	[1] [2] [3] [4] [6]
2	Andriy Dunets	[2]
3	Alexander Knapp	[1]
4	Florian Nafz	[3] [6] [8]
5	Wolfgang Reif	[1] [2] [3] [4] [6] [7] [8] [9]
6	Gerhard Schellhorn	[4] [5] [6] [7] [9]
7	Jonathan Schmitt	[2]
8	Hella Seebach	[8]
9	Jan-Philipp Steghöfer	[8]
10	Andreas Thums	[1]
11	Bogdan Tofan	[7] [9]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page