Manuel Gesell - RankMe

14 papers B 4C 2Unranked 7

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz