Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [Kann17]
S. Kannoth
Synchronous Modelling and Formal Verification of Train Command Management Systems
Master Thesis

2014

BibTeX Search WWW PDF   [Dahl14]
M. Dahlem
Interactive Verification of Synchronous Systems in HOL
Master Thesis
BibTeX Search WWW PDF   [GeBS14]
M. Gesell and F. Bichued and K. Schneider
Using Different Representations of Synchronous Systems in SAL
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
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   [Gese14]
M. Gesell
Interactive Verification of Synchronous Systems
PhD Thesis
BibTeX Search WWW PDF   [Gese14a]
M. Gesell
Interactive Verification of Synchronous Systems
Presentation
BibTeX Search WWW PDF   [Roob14]
J. Roob
A Hardware Abstraction Layer for Model-based Design of Embedded Systems
Bachelor Thesis

2013

BibTeX Search WWW PDF   [Bich13]
F. Bichued
Cyber Physical System Verification with SAL
BibTeX Search WWW PDF   [Bich13a]
F. Bichued
Cyber Physical System Verification with SAL
Presentation
BibTeX Search WWW PDF   [Ciol13]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
BibTeX Search WWW PDF   [Ciol13a]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
Presentation
BibTeX Search WWW PDF   [GeLS13]
M. Gesell and X. Li and K. Schneider
Interactive Verification of Cyber-physical Systems
Presentation
BibTeX Search WWW PDF   [GeMS13]
M. Gesell and A. Morgenstern and K. Schneider
Lifting Verification Results for Preemption Statements
Software Engineering and Formal Methods (SEFM)
BibTeX Search WWW PDF   [GeMS13a]
M. Gesell and A. Morgenstern and K. Schneider
Lifting Verification Results for Preemption Statements
Presentation
BibTeX Search WWW PDF   [GeSc13]
M. Gesell and K. Schneider
An Interactive Verification Tool for Synchronous/Reactive Systems
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [GeSc13a]
M. Gesell and K. Schneider
Modular Verification of Synchronous Programs
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [GeSc13b]
M. Gesell and K. Schneider
Modular Verification of Synchronous Programs
Presentation
BibTeX Search WWW PDF   [GeSc13c]
M. Gesell and K. Schneider
Translating synchronous guarded actions to interleaved guarded actions
Formal Methods and Models for Codesign (MEMOCODE)
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   [MoGS13]
A. Morgenstern and M. Gesell and K. Schneider
Solving Games Using Incremental Induction
Integrated Formal Methods (IFM)
BibTeX Search WWW PDF   [MoGS13a]
A. Morgenstern and M. Gesell and K. Schneider
Solving Games Using Incremental Induction
Presentation
BibTeX Search WWW PDF   [RaGS13]
O. Rafique and M. Gesell and K. Schneider
Generating hardware specific code at different abstraction levels using Averest
International Workshop on Software and Compilers for Embedded Systems (SCOPES)
BibTeX Search WWW PDF   [RaGS13a]
O. Rafique and M. Gesell and K. Schneider
Targeting Different Abstraction Layers by Model-Based Design Methods for Embedded Systems: A Case Study
Real-Time Computing Systems and Applications (RTCSA)
BibTeX Search WWW PDF   [RaGS13b]
O. Rafique and M. Gesell and K. Schneider
Generating Hardware-Specific Code at Different Abstraction Levels using Averest
Presentation
BibTeX Search WWW PDF   [RaGS13c]
O. Rafique and M. Gesell and K. Schneider
Learning Various Aspects of a Distributed Real-Time Automotive Embedded System
Workshop on Embedded and Cyber-Physical Systems Education (WESE)
BibTeX Search WWW PDF   [Schu13c]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
BibTeX Search WWW PDF   [Schu13d]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
Presentation

2012

BibTeX Search WWW PDF   [GeSc12]
M. Gesell and K. Schneider
A Hoare calculus for the verification of synchronous languages
Programming Languages meets Program Verification (PLPV)
BibTeX Search WWW PDF   [GeSc12a]
M. Gesell and K. Schneider
Interactive Verification of Synchronous Systems
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [MoGS12]
A. Morgenstern and M. Gesell and K. Schneider
An Asymptotically Correct Finite Path Semantics for LTL
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)

2011

BibTeX Search WWW PDF   [HGPB11]
K. Heckemann and M. Gesell and T. Pfister and K. Berns and K. Schneider and M. Trapp
Safe Automotive Software
Knowledge-Based and Intelligent Information and Engineering Systems (KES)

2009

BibTeX Search WWW PDF   [BaGS09]
D. Baudisch and M. Gesell and K. Schneider
Online Exercise System -- A Web-Based Tool for Administration and Automatic Correction of Exercises
Computer Supported Education (CSEDU)
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

2008

BibTeX Search WWW PDF   [Gese08]
M. Gesell
Probabilistic Model Checking of Synchronous Programs
Diploma Thesis

2007

BibTeX Search WWW PDF   [GeGe07]
M. Gesell and M. Gemünde
Eine Oberfläche zur Simulation synchroner Sprachen
Project Thesis