Martin R. Neuhäußer
Martin R. Neuhäußer
Siemens AG
Verified email at marneu.com
TitleCited byYear
Model checking interactive Markov chains
L Zhang, MR Neuhäußer
International Conference on Tools and Algorithms for the Construction and …, 2010
722010
Delayed nondeterminism in continuous-time Markov decision processes
MR Neuhäußer, M Stoelinga, JP Katoen
International Conference on Foundations of Software Science and …, 2009
642009
Time-bounded reachability probabilities in continuous-time Markov decision processes
MR Neuhausser, L Zhang
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
502010
Quantitative timed analysis of interactive Markov chains
D Guck, T Han, JP Katoen, MR Neuhäußer
NASA Formal Methods Symposium, 8-23, 2012
482012
Compositional abstraction for stochastic systems
JP Katoen, D Klink, MR Neuhäußer
International Conference on Formal Modeling and Analysis of Timed Systems …, 2009
462009
Model checking nondeterministic and randomly timed systems
MR Neuhäußer
University of Twente, Enschede, Netherlands, 2010
362010
Bisimulation and logical preservation for continuous-time Markov decision processes
MR Neuhäußer, JP Katoen
International Conference on Concurrency Theory, 412-427, 2007
352007
Abstraction and model checking of Core Erlang programs in Maude
M Neuhäußer, T Noll
Electronic Notes in Theoretical Computer Science 176 (4), 147-163, 2007
192007
Speeding up the safety verification of programmable logic controller code
T Lange, MR Neuhäußer, T Noll
Haifa Verification Conference, 44-60, 2013
182013
On-the-fly verification and optimization of DTA-properties for large Markov chains
L Mikeev, MR Neuhäußer, D Spieler, V Wolf
Formal Methods in System Design 43 (2), 313-337, 2013
172013
IC3 software model checking on control flow automata
T Lange, MR Neuhäußer, T Noll
Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015
152015
Two CEGAR-based approaches for the safety verification of PLC-controlled plants
J Nellen, K Driessen, M Neuhäußer, E Ábrahám, B Wolters
Information Systems Frontiers 18 (5), 927-952, 2016
102016
Time-bounded reachability in continuous-time Markov decision processes
MR Neuhäußer, L Zhang
RWTH, 2009
92009
GSPN model checking despite confusion
H Hermanns, JP Katoen, MR Neuhäußer, L Zhang
Technical report, RWTH Aachen University, 2010
62010
A new refinement strategy for CEGAR-based industrial model checking
M Leucker, G Markin, MR Neuhäußer
Haifa Verification Conference, 155-170, 2015
42015
Improving Generalization in Software IC3
T Lange, F Prinz, MR Neuhäußer, T Noll, JP Katoen
International Symposium on Model Checking Software, 85-102, 2018
12018
Checking a functional module of an automation installation
MR Neuhäusser
US Patent App. 15/537,264, 2017
2017
3 Analysis of time-bounded reachability probabilities in continuous-time Markov decision processes
M Neuhäußer, L Zhang
Deliverable no.: D3. 5 Title of Deliverable: Extended timed automata for …, 2009
2009
A Complete Axiomatization for Observational Congruence of Finite-state Behaviors
F Klein, H Hermanns, M Neuhäußer
Ende Juli 2008, Deadline Gliederung vorlegen Ende August 2008, Deadline Erste Fassung der Ausarbeitung 19.09. 2008, Deadline Endgültige Fassung der Ausarbeitung 29.09. 2008 …
T Noll, J Heinen, S Rieger, C Eßer, D Schemmel, M Neuhäußer, ...
The system can't perform the operation now. Try again later.
Articles 1–20