Manuel Gesell

According to our database, Manuel Gesell authored at least 14 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Interactive Verification of Synchronous Systems.

Manuel Gesell

PhD thesis, 2015

2014

Using Different Representations of Synchronous Systems in SAL.

Manuel Gesell, Felipe Bichued, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

2013

Lifting Verification Results for Preemption Statements.

Manuel Gesell, Andreas Morgenstern, Klaus Schneider

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Generating hardware specific code at different abstraction levels using Averest.

Omair Rafique, Manuel Gesell, Klaus Schneider

Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Targeting different abstraction layers by model-based design methods for embedded systems: A case study.

Omair Rafique, Manuel Gesell, Klaus Schneider

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Translating synchronous guarded actions to interleaved guarded actions.

Manuel Gesell, Klaus Schneider

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

An Interactive Verification Tool for Synchronous/Reactive Systems.

Manuel Gesell, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Solving Games Using Incremental Induction.

Andreas Morgenstern, Manuel Gesell, Klaus Schneider

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Modular Verification of Synchronous Programs.

Manuel Gesell, Klaus Schneider

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

A hoare calculus for the verification of synchronous languages.

Manuel Gesell, Klaus Schneider

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

Interactive verification of synchronous systems.

Manuel Gesell, Klaus Schneider

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

An Asymptotically Correct Finite Path Semantics for LTL.

Andreas Morgenstern, Manuel Gesell, Klaus Schneider

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Safe Automotive Software.

Karl Heckemann, Manuel Gesell, Thomas Pfister, Karsten Berns, Klaus Schneider, Mario Trapp

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

2009

Online Exercise System - A Web-based Tool for Administration and Automatic Correction of Exercises.

Daniel Baudisch, Manuel Gesell, Klaus Schneider

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009