Andreas Nonnengart

22 papers A* 1A 2B 3C 1Misc 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2019 — conf
CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles.
FM Workshops (1)
Andreas Nonnengart, Matthias Klusch, Christian Müller
2017 — conf
Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems.
CBI (1)
Ingo Zinnikus, André Antakli, Patrick Kapahnke, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Philipp Slusallek
2014 J jnl
A Collaborative VirtualWorkspace for Factory Configuration and Evaluation.
EAI Endorsed Trans. Collab. Comput.
Ingo Zinnikus, Sergiy Byelozyorov, Xiaoqi Cao, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Philipp Slusallek
2013 — conf
A Virtual Environment for Collaborative Engineering with Formal Verification.
CE
Wolfgang Herget, Christopher Krauß, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Ingo Zinnikus
2013 C conf
A collaborative virtual workspace for factory configuration and evaluation.
CollaborateCom
Ingo Zinnikus, Xiaoqi Cao, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Torsten Spieldenner, Philipp Slusallek
2012 — conf
Formal Analysis Meets 3D-Visualization.
CE
Christopher Krauß, Andreas Nonnengart
2008 Misc conf
Automating Interactive Protocol Verification.
KI
Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock
2007 — conf
A History-based Verification of Distributed Applications.
VERIFY
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
2007 B conf
Verification of Distributed Applications.
SAFECOMP
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
2005 — conf
Verification Support Environment.
Mechanizing Mathematical Reasoning
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
2002 B conf
Formal Requirements Engineering Using Observer Models.
FASE
Andreas Nonnengart, Georg Rock, Werner Stephan
2001 — ch.
Computing Small Clause Normal Forms.
Handbook of Automated Reasoning
Andreas Nonnengart, Christoph Weidenbach
2001 — ch.
Encoding Two-Valued Nonclassical Logics in Classical Logic.
Handbook of Automated Reasoning
Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay
2001 Misc conf
Using Hybrid Automata to Express Realtime Properties in VSE-II.
FLAIRS
Andreas Nonnengart, Georg Rock, Werner Stephan
2000 — conf
Hybrid Systems Verification by Location Elimination.
HSCC
Andreas Nonnengart
1998 J jnl
Modal Frame Characterization by Way of Auxiliary Modalities.
Log. J. IGPL
Andreas Nonnengart
1998 A conf
On Generating Small Clause Normal Forms.
CADE
Andreas Nonnengart, Georg Rock, Christoph Weidenbach
1997 — ed.
Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings
ECSQARU-FAPR
Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach
1996 A conf
Resolution-Based Calculi for Modal and Temporal Logics.
CADE
Andreas Nonnengart
1995 — —
A resolution-based calculus for temporal logics.
Andreas Nonnengart
1994 B conf
How to Use Modalities and Sorts in Prolog.
JELIA
Andreas Nonnengart
1993 A* conf
First-Order Modal Logic Theorem Proving and Functional Simulation.
IJCAI
Andreas Nonnengart