Martin R. Neuhäußer

According to our database, Martin R. Neuhäußer authored at least 15 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

IC3 software model checking.

Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen

Int. J. Softw. Tools Technol. Transf., 2020

2018

Improving Generalization in Software IC3.

Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2016

Two CEGAR-based approaches for the safety verification of PLC-controlled plants.

Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters

Inf. Syst. Frontiers, 2016

2015

A New Refinement Strategy for CEGAR-Based Industrial Model Checking.

Martin Leucker, Grigory Markin, Martin R. Neuhäußer

Proceedings of the Hardware and Software: Verification and Testing, 2015

IC3 Software Model Checking on Control Flow Automata.

Tim Lange, Martin R. Neuhäußer, Thomas Noll

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2013

On-the-fly verification and optimization of DTA-properties for large Markov chains.

Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf

Formal Methods Syst. Des., 2013

Speeding Up the Safety Verification of Programmable Logic Controller Code.

Tim Lange, Martin R. Neuhäußer, Thomas Noll

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Quantitative Timed Analysis of Interactive Markov Chains.

Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer

Proceedings of the NASA Formal Methods, 2012

2010

Model checking nondeterministic and randomly timed systems.

Martin R. Neuhäußer

PhD thesis, 2010

Model Checking Interactive Markov Chains.

Lijun Zhang, Martin R. Neuhäußer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes.

Martin R. Neuhäußer, Lijun Zhang

Proceedings of the QEST 2010, 2010

2009

Delayed Nondeterminism in Continuous-Time Markov Decision Processes.

Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Compositional Abstraction for Stochastic Systems.

Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2007

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.

Martin R. Neuhäußer, Joost-Pieter Katoen

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Abstraction and Model Checking of Core Erlang Programs in Maude.

Martin R. Neuhäußer, Thomas Noll

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006