Manuel Gesell

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