Martin R. Neuhuer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2015
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FMCAD | IC3 Software Model Checking on Control Flow Automata. | Tim Lange, Martin R. Neuhuer, Thomas Noll |
| 2010 | TACAS | Model Checking Interactive Markov Chains. | Lijun Zhang, Martin R. Neuhuer |
| 2009 | FOSSACS | Delayed Nondeterminism in Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Marille Stoelinga, Joost-Pieter Katoen |
| 2007 | CONCUR | Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Joost-Pieter Katoen |