Simon Bumler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2010
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ATC | A Formal Framework for Compositional Verification of Organic Computing Systems. | Florian Nafz, Hella Seebach, Jan-Philipp Steghfer, Simon Bumler, Wolfgang Reif |
| 2010 | MPC | Temporal Logic Verification of Lock-Freedom. | Bogdan Tofan, Simon Bumler, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | CADE | Compositional Proofs with Symbolic Execution. | Simon Bumler, Florian Nafz, Michael Balser, Wolfgang Reif |
| 2008 | LPAR | Interactive Verification of Concurrent Systems using Symbolic Execution. | Michael Balser, Simon Bumler, Wolfgang Reif, Gerhard Schellhorn |
| 2004 | ICFEM | Interactive Verification of UML State Machines. | Michael Balser, Simon Bumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |