Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. - Daniel Baudisch; Manuel Gesell; Klaus Schneider 001 (CSEDU (1), 2009)

Safe Automotive Software. - Karl Heckemann; Manuel Gesell; Thomas Pfister; Karsten Berns; Klaus Schneider 001; Mario Trapp (KES (4), 2011)

An Asymptotically Correct Finite Path Semantics for LTL. - Andreas Morgenstern; Manuel Gesell; Klaus Schneider 001 (LPAR, 2012)

Interactive verification of synchronous systems. - Manuel Gesell; Klaus Schneider 001 (MEMOCODE, 2012)

A hoare calculus for the verification of synchronous languages. - Manuel Gesell; Klaus Schneider 001 (PLPV, 2012)

Modular Verification of Synchronous Programs. - Manuel Gesell; Klaus Schneider 001 (ACSD, 2013)

Solving Games Using Incremental Induction. - Andreas Morgenstern; Manuel Gesell; Klaus Schneider 001 (IFM, 2013)

An Interactive Verification Tool for Synchronous/Reactive Systems. - Manuel Gesell; Klaus Schneider 001 (MBMV, 2013)

Translating synchronous guarded actions to interleaved guarded actions. - Manuel Gesell; Klaus Schneider 001 (MEMOCODE, 2013)

Targeting different abstraction layers by model-based design methods for embedded systems: A case study. - Omair Rafique; Manuel Gesell; Klaus Schneider 001 (RTCSA, 2013)

Generating hardware specific code at different abstraction levels using Averest. - Omair Rafique; Manuel Gesell; Klaus Schneider 001 (M-SCOPES, 2013)

Lifting Verification Results for Preemption Statements. - Manuel Gesell; Andreas Morgenstern; Klaus Schneider 001 (SEFM, 2013)

Using Different Representations of Synchronous Systems in SAL. - Manuel Gesell; Felipe Bichued; Klaus Schneider 001 (MBMV, 2014)

Interactive Verification of Synchronous Systems. - Manuel Gesell (2015)