Abstraction and Model Checking of Core Erlang Programs in Maude. - Martin R. Neuhäußer; Thomas Noll 001 (WRLA, 2006)

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. - Martin R. Neuhäußer; Joost-Pieter Katoen (CONCUR, 2007)

Compositional Abstraction for Stochastic Systems. - Joost-Pieter Katoen; Daniel Klink; Martin R. Neuhäußer (FORMATS, 2009)

Delayed Nondeterminism in Continuous-Time Markov Decision Processes. - Martin R. Neuhäußer; Mariëlle Stoelinga; Joost-Pieter Katoen (FoSSaCS, 2009)

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. - Martin R. Neuhäußer; Lijun Zhang 001 (QEST, 2010)

Model Checking Interactive Markov Chains. - Lijun Zhang 001; Martin R. Neuhäußer (TACAS, 2010)

Model checking nondeterministic and randomly timed systems. - Martin R. Neuhäußer (2010)

Quantitative Timed Analysis of Interactive Markov Chains. - Dennis Guck; Tingting Han 001; Joost-Pieter Katoen; Martin R. Neuhäußer (NASA Formal Methods, 2012)

Speeding Up the Safety Verification of Programmable Logic Controller Code. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001 (Haifa Verification Conference, 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)

IC3 Software Model Checking on Control Flow Automata. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001 (FMCAD, 2015)

A New Refinement Strategy for CEGAR-Based Industrial Model Checking. - Martin Leucker; Grigory Markin; Martin R. Neuhäußer (Haifa Verification Conference, 2015)

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)

Improving Generalization in Software IC3. - Tim Lange 001; Frederick Prinz; Martin R. Neuhäußer; Thomas Noll 001; Joost-Pieter Katoen (SPIN, 2018)

IC3 software model checking. - Tim Lange 001; Martin R. Neuhäußer; Thomas Noll 001; Joost-Pieter Katoen (Int. J. Softw. Tools Technol. Transf., 2020)