Andreas Nonnengart

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 2

Top Venues

ISPE CE

FM Workshops (1)

EAI Endorsed Trans. Collab. Comput.

CBI (1)

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Andreas Nonnengart, Matthias Klusch, Christian Müller
CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. FM Workshops (1) (2019)
Ingo Zinnikus, André Antakli, Patrick Kapahnke, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Philipp Slusallek
Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems. CBI (1) (2017)
Ingo Zinnikus, Sergiy Byelozyorov, Xiaoqi Cao, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Philipp Slusallek
A Collaborative VirtualWorkspace for Factory Configuration and Evaluation. EAI Endorsed Trans. Collab. Comput. 1 (1) (2014)
Ingo Zinnikus, Xiaoqi Cao, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Torsten Spieldenner, Philipp Slusallek
A collaborative virtual workspace for factory configuration and evaluation. CollaborateCom (2013)
Wolfgang Herget, Christopher Krauß, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Ingo Zinnikus
A Virtual Environment for Collaborative Engineering with Formal Verification. ISPE CE (2013)
Christopher Krauß, Andreas Nonnengart
Formal Analysis Meets 3D-Visualization. ISPE CE (2012)
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
Automating Interactive Protocol Verification. KI (2008)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
Verification of Distributed Applications. SAFECOMP (2007)
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
A History-based Verification of Distributed Applications. VERIFY (2007)
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
Verification Support Environment. Mechanizing Mathematical Reasoning (2005)
Andreas Nonnengart, Georg Rock, Werner Stephan
Formal Requirements Engineering Using Observer Models. FASE (2002)
Andreas Nonnengart, Georg Rock, Werner Stephan
Using Hybrid Automata to Express Realtime Properties in VSE-II. FLAIRS Conference (2001)
Andreas Nonnengart
Hybrid Systems Verification by Location Elimination. HSCC (2000)
Andreas Nonnengart, Georg Rock, Christoph Weidenbach
On Generating Small Clause Normal Forms. CADE (1998)
Andreas Nonnengart
Modal Frame Characterization by Way of Auxiliary Modalities. Log. J. IGPL 6 (6) (1998)
Andreas Nonnengart
Resolution-Based Calculi for Modal and Temporal Logics. CADE (1996)
Andreas Nonnengart
How to Use Modalities and Sorts in Prolog. JELIA (1994)
Andreas Nonnengart
First-Order Modal Logic Theorem Proving and Functional Simulation. IJCAI (1993)

Andreas Nonnengart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Nonnengart