Andreas Nonnengart - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2019

CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous VehiclesAndreas Nonnengart, Matthias Klusch, Christian Müller. FM 2020: 233-248 [doi]

2017

Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production SystemsIngo Zinnikus, André Antakli, Patrick Kapahnke, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Philipp Slusallek. wecwis 2017: 207-216 [doi]

2014

A Collaborative VirtualWorkspace for Factory Configuration and EvaluationIngo Zinnikus, Sergiy Byelozyorov, Xiaoqi Cao, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Philipp Slusallek. eetcc, 1, 2014. [doi]

2013

A Virtual Environment for Collaborative Engineering with Formal VerificationWolfgang Herget, Christopher Krauß, Andreas Nonnengart, Torsten Spieldenner, Stefan Warwas, Ingo Zinnikus. ispe 2013: 225-234 [doi]

A collaborative virtual workspace for factory configuration and evaluationIngo Zinnikus, Xiaoqi Cao, Matthias Klusch, Christopher Krauss, Andreas Nonnengart, Torsten Spieldenner, Philipp Slusallek. colcom 2013: 353-362 [doi]

2012

Formal Analysis Meets 3D-VisualizationChristopher Krauß, Andreas Nonnengart. ispe 2013: 145-156 [doi]

2008

Automating Interactive Protocol VerificationLassaad Cheikhrouhou, Andreas Nonnengart, Werner Stephan, Frank Koob, Georg Rock. ki 2008: 30-37 [doi]

2007

A History-based Verification of Distributed ApplicationsBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan. cade 2007: [doi]

Verification of Distributed ApplicationsBruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan. safecomp 2007: 315-328 [doi]

2005

Verification Support EnvironmentWerner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock. BIRTHDAY 2005: 476-493 [doi]

2004

A resolution-based calculus for temporal logicsAndreas Nonnengart. PhD thesis, Saarland University, 2004. [doi]

2002

Formal Requirements Engineering Using Observer ModelsAndreas Nonnengart, Georg Rock, Werner Stephan. FASE 2002: 264-278 [doi]

2001

Computing Small Clause Normal FormsAndreas Nonnengart, Christoph Weidenbach. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 335-367, Elsevier and MIT Press, 2001.

Using Hybrid Automata to Express Realtime Properties in VSE-IIAndreas Nonnengart, Georg Rock, Werner Stephan. flairs 2001: 640-644

Encoding Two-Valued Nonclassical Logics in Classical LogicHans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 1403-1486, Elsevier and MIT Press, 2001.

2000

Hybrid Systems Verification by Location EliminationAndreas Nonnengart. hybrid 2000: 352-365 [doi]

1998

Modal Frame Characterization by Way of Auxiliary ModalitiesAndreas Nonnengart. igpl, 6(6):875-899, 1998. [doi]

On Generating Small Clause Normal FormsAndreas Nonnengart, Georg Rock, Christoph Weidenbach. cade 1998: 397-411 [doi]

1996

Resolution-Based Calculi for Modal and Temporal LogicsAndreas Nonnengart. cade 1996: 598-612

1995

A resolution-based calculus for temporal logicsAndreas Nonnengart. PhD thesis, Saarland University, Saarbrücken, Germany, 1995. [doi]

1994

How to Use Modalities and Sorts in PrologAndreas Nonnengart. jelia 1994: 365-378

1993

First-Order Modal Logic Theorem Proving and Functional SimulationAndreas Nonnengart. IJCAI 1993: 80-87

Sign in or sign up to see more results.

runs on WebDSL