| 2019 | FM | CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles. | Andreas Nonnengart, Matthias Klusch, Christian Mller |
| 2008 | KI | Automating Interactive Protocol Verification. | Lassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock |
| 2007 | CADE | A History-based Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2007 | SAFECOMP | Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2002 | FASE | Formal Requirements Engineering Using Observer Models. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2001 | FlAIRS | Using Hybrid Automata to Express Realtime Properties in VSE-II. | Andreas Nonnengart, Georg Rock, Werner Stephan |
| 1998 | CADE | On Generating Small Clause Normal Forms. | Andreas Nonnengart, Georg Rock, Christoph Weidenbach |
| 1996 | CADE | Resolution-Based Calculi for Modal and Temporal Logics. | Andreas Nonnengart |
| 1994 | JELIA | How to Use Modalities and Sorts in Prolog. | Andreas Nonnengart |
| 1993 | IJCAI | First-Order Modal Logic Theorem Proving and Functional Simulation. | Andreas Nonnengart |