Search: (more)
Header

Search Result

2014

BibTeX Search WWW PDF   [GeBS14a]
M. Gesell and F. Bichued and K. Schneider
Using Different Representations of Synchronous Systems in SAL
Presentation
BibTeX Search WWW PDF   [Gese14a]
M. Gesell
Interactive Verification of Synchronous Systems
Presentation

2013

BibTeX Search WWW PDF   [GeLS13]
M. Gesell and X. Li and K. Schneider
Interactive Verification of Cyber-physical Systems
Presentation
BibTeX Search WWW PDF   [GeMS13a]
M. Gesell and A. Morgenstern and K. Schneider
Lifting Verification Results for Preemption Statements
Presentation
BibTeX Search WWW PDF   [GeSc13b]
M. Gesell and K. Schneider
Modular Verification of Synchronous Programs
Presentation
BibTeX Search WWW PDF   [GeSc13d]
M. Gesell and K. Schneider
Translating Synchronous Guarded Actions to Interleaved Guarded Actions
Presentation
BibTeX Search WWW PDF   [MSLG13]
A. Morgenstern and K. Schneider and S. Lamberti and M. Gesell
From LTL to Symbolically Represented Deterministic Automata
Presentation
BibTeX Search WWW PDF   [MoGS13a]
A. Morgenstern and M. Gesell and K. Schneider
Solving Games Using Incremental Induction
Presentation
BibTeX Search WWW PDF   [RaGS13b]
O. Rafique and M. Gesell and K. Schneider
Generating Hardware-Specific Code at Different Abstraction Levels using Averest
Presentation

2009

BibTeX Search WWW PDF   [BaGS09c]
D. Baudisch and M. Gesell and K. Schneider
Online Exercise System -- A Web-Based Tool for Administration and Automatic Correction of Exercises
Presentation