| 2013 | IFM | Solving Games Using Incremental Induction. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2013 | MEMOCODE | Translating synchronous guarded actions to interleaved guarded actions. | Manuel Gesell, Klaus Schneider |
| 2013 | RTCSA | Targeting different abstraction layers by model-based design methods for embedded systems: A case study. | Omair Rafique, Manuel Gesell, Klaus Schneider |
| 2013 | SCOPES | Generating hardware specific code at different abstraction levels using Averest. | Omair Rafique, Manuel Gesell, Klaus Schneider |
| 2013 | SEFM | Lifting Verification Results for Preemption Statements. | Manuel Gesell, Andreas Morgenstern, Klaus Schneider |
| 2012 | LPAR | An Asymptotically Correct Finite Path Semantics for LTL. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2012 | MEMOCODE | Interactive verification of synchronous systems. | Manuel Gesell, Klaus Schneider |
| 2011 | KES | Safe Automotive Software. | Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp |
| 2009 | CSEDU | Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. | Daniel Baudisch, Manuel Gesell, Klaus Schneider |