Manuel Gesell

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Venues

MEMOCODE

MBMV

RTCSA

SEFM

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Manuel Gesell, Felipe Bichued, Klaus Schneider
Using Different Representations of Synchronous Systems in SAL. MBMV (2014)
Manuel Gesell, Klaus Schneider
An Interactive Verification Tool for Synchronous/Reactive Systems. MBMV (2013)
Omair Rafique, Manuel Gesell, Klaus Schneider
Generating hardware specific code at different abstraction levels using Averest. M-SCOPES (2013)
Manuel Gesell, Andreas Morgenstern, Klaus Schneider
Lifting Verification Results for Preemption Statements. SEFM (2013)
Manuel Gesell, Klaus Schneider
Translating synchronous guarded actions to interleaved guarded actions. MEMOCODE (2013)
Manuel Gesell, Klaus Schneider
Modular Verification of Synchronous Programs. ACSD (2013)
Omair Rafique, Manuel Gesell, Klaus Schneider
Targeting different abstraction layers by model-based design methods for embedded systems: A case study. RTCSA (2013)
Andreas Morgenstern, Manuel Gesell, Klaus Schneider
Solving Games Using Incremental Induction. IFM (2013)
Manuel Gesell, Klaus Schneider
Interactive verification of synchronous systems. MEMOCODE (2012)
Manuel Gesell, Klaus Schneider
A hoare calculus for the verification of synchronous languages. PLPV (2012)
Andreas Morgenstern, Manuel Gesell, Klaus Schneider
An Asymptotically Correct Finite Path Semantics for LTL. LPAR (2012)
Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp
Safe Automotive Software. KES (4) (2011)
Daniel Baudisch, Manuel Gesell, Klaus Schneider
Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises. CSEDU (1) (2009)

Manuel Gesell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Gesell