Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Simon Bäumler" ( http://dblp.L3S.de/Authors/Simon_Bäumler )

  Author page on DBLP  Author page in RDF  Community of Simon Bäumler in ASPL-2

Publication years (Num. hits)
2004-2011 (9)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
ACSD(1) AI Commun.(1) ATC(1) Formal Asp. Comput.(1) ICFEM(1) LPAR Workshops(1) MPC(1) SPIN(1) VERIFY(1)
Authors
Simon Bäumler(9) Wolfgang Reif(8) Gerhard Schellhorn(5) Michael Balser(5) Florian Nafz(3) Bogdan Tofan(2) Alexander Knapp(1) Andreas Thums(1) Andriy Dunets(1) Hella Seebach(1) Jan-Philipp Steghöfer(1) Jonathan Schmitt(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif Proving linearizability with temporal logic. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn Interactive verification of concurrent systems using symbolic execution. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif A Formal Framework for Compositional Verification of Organic Computing Systems. Search on Bibsonomy ATC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif Temporal Logic Verification of Lock-Freedom. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Simon Bäumler Formal Verification of Lock-Free Algorithms. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif Compositional Proofs with Symbolic Execution. Search on Bibsonomy VERIFY The full citation details ... 2008 DBLP  BibTeX  RDF
1Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn Interactive Verification of Concurrent Systems using Symbolic Execution. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt Verification of Medical Guidelines by Model Checking - A Case Study. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
1Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums Interactive Verification of UML State Machines. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.