Volgen
Martin R. Neuhäußer
Martin R. Neuhäußer
Siemens AG
Geverifieerd e-mailadres voor marneu.com
Titel
Geciteerd door
Geciteerd door
Jaar
Model checking interactive Markov chains
L Zhang, MR Neuhäußer
International Conference on Tools and Algorithms for the Construction and …, 2010
792010
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
702009
Quantitative timed analysis of interactive Markov chains
D Guck, T Han, JP Katoen, MR Neuhäußer
NASA Formal Methods Symposium, 8-23, 2012
642012
Time-bounded reachability probabilities in continuous-time Markov decision processes
MR Neuhäußer, L Zhang
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
532010
Compositional abstraction for stochastic systems
JP Katoen, D Klink, MR Neuhäußer
International Conference on Formal Modeling and Analysis of Timed Systems …, 2009
522009
Bisimulation and logical preservation for continuous-time Markov decision processes
MR Neuhäußer, JP Katoen
International Conference on Concurrency Theory, 412-427, 2007
472007
Model checking nondeterministic and randomly timed systems
MR Neuhäußer
Aachen, Techn. Hochsch., Diss., 2010, 2010
432010
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
332007
IC3 software model checking on control flow automata
T Lange, MR Neuhauber, T Noll
2015 Formal Methods in Computer-Aided Design (FMCAD), 97-104, 2015
292015
Speeding up the safety verification of programmable logic controller code
T Lange, MR Neuhäußer, T Noll
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
242013
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, 313-337, 2013
232013
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, 927-952, 2016
192016
A new refinement strategy for CEGAR-based industrial model checking
M Leucker, G Markin, MR Neuhäußer
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
132015
IC3 software model checking
T Lange, MR Neuhäußer, T Noll, JP Katoen
International Journal on Software Tools for Technology Transfer 22 (2), 135-161, 2020
102020
Time-bounded reachability in continuous-time Markov decision processes
MR Neuhäußer, L Zhang
Mainz, 2009
92009
GSPN model checking despite confusion
H Hermanns, JP Katoen, MR Neuhäußer, L Zhang
Technical report, 2010
82010
Improving generalization in software IC3
T Lange, F Prinz, MR Neuhäußer, T Noll, JP Katoen
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
72018
Checking a functional module of an automation installation
MR Neuhäusser
US Patent 10,955,804, 2021
22021
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20