Concepedia

Martin R. Neuhäußer

MR

4

Publications

91

Citations

4

H-Index

2007

Active since

Affiliations

Siemens (Germany)(Current)

RWTH Aachen University

Martin R. Neuhäußer is an author at Siemens (Germany) specializing in engineering, formal verification, and verification.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationFormal MethodsAutomated ReasoningSystems EngineeringComputational ComplexityProbabilityProcess Safety

Publications per year

2007–2016

4

Publications

4

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

Martin R. Neuhäußer, Lijun Zhang · 2010 · 37 citations

Engineering, Reachability Problem, Computational Complexity +17

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

Linar Mikeev, Martin R. Neuhäußer, David Spieler et al. · Formal Methods in System Design · 2012 · 19 citations

Mathematical Programming, Engineering, Automated Reasoning +11

Abstraction and Model Checking of Core Erlang Programs in Maude

Martin R. Neuhäußer, Thomas Noll · Electronic Notes in Theoretical Computer Science · 2007 · 18 citations · Full text

Program Checking, Engineering, Verification +19

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

Johanna Nellen, Kai Driessen, Martin R. Neuhäußer et al. · Information Systems Frontiers · 2016 · 17 citations

Safety Engineering, Safety-critical System, Engineering +11

Rows per page

1–4 of 4