Martin R. Neuhäußer

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 3

Top Venues

Haifa Verification Conference

Int. J. Softw. Tools Technol. Transf.

FMCAD

Formal Methods Syst. Des.

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
IC3 software model checking. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
Improving Generalization in Software IC3. SPIN (2018)
Johanna Nellen, Kai Driessen, Martin R. Neuhäußer, Erika Ábrahám, Benedikt Wolters
Two CEGAR-based approaches for the safety verification of PLC-controlled plants. Inf. Syst. Frontiers 18 (5) (2016)
Martin Leucker, Grigory Markin, Martin R. Neuhäußer
A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Haifa Verification Conference (2015)
Tim Lange, Martin R. Neuhäußer, Thomas Noll
IC3 Software Model Checking on Control Flow Automata. FMCAD (2015)
Tim Lange, Martin R. Neuhäußer, Thomas Noll
Speeding Up the Safety Verification of Programmable Logic Controller Code. Haifa Verification Conference (2013)
Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf
On-the-fly verification and optimization of DTA-properties for large Markov chains. Formal Methods Syst. Des. 43 (2) (2013)
Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer
Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods (2012)
Lijun Zhang, Martin R. Neuhäußer
Model Checking Interactive Markov Chains. TACAS (2010)
Martin R. Neuhäußer, Lijun Zhang
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. QEST (2010)
Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
Compositional Abstraction for Stochastic Systems. FORMATS (2009)
Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen
Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FoSSaCS (2009)
Martin R. Neuhäußer, Joost-Pieter Katoen
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. CONCUR (2007)
Martin R. Neuhäußer, Thomas Noll
Abstraction and Model Checking of Core Erlang Programs in Maude. WRLA (2006)

Martin R. Neuhäußer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin R. Neuhäußer