Martin R. Neuhäußer

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