Mark Timmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2014
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ATVA | Modelling and Analysis of Markov Reward Automata. | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga |
| 2013 | TAP | Divergent Quiescent Transition Systems. | Willem Gerrit Johan Stokkink, Mark Timmer, Marille Stoelinga |
| 2012 | CONCUR | Efficient Modelling and Generation of Markov Automata. | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marille Stoelinga |
| 2011 | TACAS | Confluence Reduction for Probabilistic Systems. | Mark Timmer, Marille Stoelinga, Jaco van de Pol |
| 2009 | ATVA | State Space Reduction of Linear Processes Using Control Flow Reconstruction. | Jaco van de Pol, Mark Timmer |
| 2009 | TASE | Interpreting a Successful Testing Process: Risk and Actual Coverage. | Marille Stoelinga, Mark Timmer |