Manuel Gesell

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Interactive Verification of Synchronous Systems.
PhD thesis, 2015

2014
Using Different Representations of Synchronous Systems in SAL.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

2013
Lifting Verification Results for Preemption Statements.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Generating hardware specific code at different abstraction levels using Averest.
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.
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.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

An Interactive Verification Tool for Synchronous/Reactive Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Solving Games Using Incremental Induction.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Modular Verification of Synchronous Programs.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
A hoare calculus for the verification of synchronous languages.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

Interactive verification of synchronous systems.
Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012

An Asymptotically Correct Finite Path Semantics for LTL.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011
Safe Automotive Software.
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.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009


  Loading...