Search: (more)
Header

Search Result

2013

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   [MoGS13]
A. Morgenstern and M. Gesell and K. Schneider
Solving Games Using Incremental Induction
Integrated Formal Methods (IFM)

2012

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   [MoSc11]
A. Morgenstern and K. Schneider
Synthesis of Parallel Sorting Networks using SAT Solvers
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [MoSc11a]
A. Morgenstern and K. Schneider
A LTL Fragment for $ GR (1)$-Synthesis
International Workshop on Interactions, Games and Protocols (IWIGP)
BibTeX Search WWW PDF   [MoSc11b]
A. Morgenstern and K. Schneider
Program Sketching via CTL* Model Checking
Model Checking Software (SPIN)

2010

BibTeX Search WWW PDF   [MoSc10]
A. Morgenstern and K. Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Games, Automata, Logics, and Formal Verification (GandALF)
BibTeX Search WWW PDF   [Morg10]
A. Morgenstern
Symbolic Controller Synthesis for LTL Specifications
PhD Thesis
BibTeX Search WWW PDF   [Morg10a]
A. Morgenstern
Symbolic Controller Synthesis for LTL Specifications

2008

BibTeX Search WWW PDF   [MoSL08]
A. Morgenstern and K. Schneider and S. Lamberti
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [MoSc08]
A. Morgenstern and K. Schneider
From LTL to Symbolically Represented Deterministic Automata
Verification, Model Checking, and Abstract Interpretation (VMCAI)

2007

BibTeX Search WWW PDF   [MoSc07]
A. Morgenstern and K. Schneider
Synthesizing Deterministic Controllers in Supervisory Control
Informatics in Control, Automation and Robotics (ICINCO)

2005

BibTeX Search WWW PDF   [MoSc05]
A. Morgenstern and K. Schneider
A Unified Model Checking Framework for the Supervisor Synthesis Problem
Games for Logic and Programming Languages
BibTeX Search WWW PDF   [MoSc05a]
A. Morgenstern and K. Schneider
Synthesizing Deterministic Controllers in Supervisory Control
Informatics in Control, Automation and Robotics (ICINCO)
BibTeX Search WWW PDF   [MoSc05b]
A. Morgenstern and K. Schneider
Using Model Checking to Solve Supervisor Synthesis Problems
Conference on Decision and Control and European Control Conference (CDC/ECC)

2003

BibTeX Search WWW PDF   [Morg03]
A. Morgenstern
Werkzeuge zur Verifikation diskreter Ereignis-Systeme
Diploma Thesis

2002

BibTeX Search WWW PDF   [Morg02]
A. Morgenstern
Numerische Vorhersagen mit Naive Bayes
Bachelor Thesis