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   [GeMS13a]
M. Gesell and A. Morgenstern and K. Schneider
Lifting Verification Results for Preemption Statements
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   [Morg13]
A. Morgenstern
Controller Synthesis and Infinite Games
Presentation

2012

BibTeX Search WWW PDF   [Eick12]
T. Eickhoff
Program Sketching Using Craig Interpolants
Bachelor Thesis
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)
BibTeX Search WWW PDF   [MoSc11e]
A. Morgenstern and K. Schneider
Synthesis of Sorting Networks using SAT Solvers
Presentation
BibTeX Search WWW PDF   [MoSc11f]
A. Morgenstern and K. Schneider
Program Sketching via CTL* Model Checking
Presentation

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   [MoSc10a]
A. Morgenstern and K. Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Presentation
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   [MoSL08b]
A. Morgenstern and K. Schneider and S. Lamberti
Generating Deterministic ω-Automata for most LTL formulas by the Breakpoint Construction
Presentation
BibTeX Search WWW PDF   [MoSc08]
A. Morgenstern and K. Schneider
From LTL to Symbolically Represented Deterministic Automata
Verification, Model Checking, and Abstract Interpretation (VMCAI)
BibTeX Search WWW PDF   [MoSc08c]
A. Morgenstern and K. Schneider
From LTL to Symbolically Represented Deterministic Automata
Presentation
BibTeX Search WWW PDF   [Schm08]
S. Schmitt
Supervisor Synthesis using SAT-Solvers
Diploma Thesis

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)
BibTeX Search WWW PDF   [MoSc05c]
A. Morgenstern and K. Schneider
Using Model Checking to Solve Supervisor Synthesis Problems
Presentation
BibTeX Search WWW PDF   [MoSc05d]
A. Morgenstern and K. Schneider
Synthesizing Deterministic Controllers in Supervisory Control
Presentation

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