Mariëlle Stoelinga

	2009
32		Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen: Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FOSSACS 2009: 364-379
31		Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga: DFTSim: a simulation tool for extended dynamic fault trees. SpringSim 2009
30		Mariëlle Stoelinga, Mark Timmer: Interpreting a Successful Testing Process: Risk and Actual Coverage. TASE 2009: 251-258
29		Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009)
	2008
28		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
27		Henrik C. Bohnenkamp, Mariëlle Stoelinga: Quantitative testing. EMSOFT 2008: 227-236
26		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248
25		Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics CoRR abs/0806.4956: (2008)
24		Marco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
23		Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. Logical Methods in Computer Science 4(3): (2008)
	2007
22		Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA 2007: 441-456
21		Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN 2007: 708-717
20		David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev: How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85
19		Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108
18		Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager: A testing scenario for probabilistic processes. J. ACM 54(6): (2007)
	2006
17		Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga: A Semantic Framework for Test Coverage. ATVA 2006: 399-414
16		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
	2005
15		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005)
	2004
14		Luca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109
13		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
12		Luca de Alfaro, Mariëlle Stoelinga: Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. Electr. Notes Theor. Comput. Sci. 97: 3-23 (2004)
	2003
11		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
10		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133
9		Mariëlle Stoelinga, Frits W. Vaandrager: A Testing Scenario for Probabilistic Automata. ICALP 2003: 464-477
8		Mariëlle Stoelinga: Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Formal Asp. Comput. 14(3): 328-337 (2003)
	2002
7		Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Timed Interfaces. EMSOFT 2002: 108-122
6		Mariëlle Stoelinga: An Introduction to Probabilistic Automata. Bulletin of the EATCS 78: 176-198 (2002)
5		Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear parametric model checking of timed automata. J. Log. Algebr. Program. 52-53: 183-220 (2002)
	2001
4		Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203
3		David P. L. Simons, Mariëlle Stoelinga: Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. STTT 3(4): 469-485 (2001)
	2000
2		Christel Baier, Mariëlle Stoelinga: Norm Functions for Probabilistic Bisimulations with Delays. FoSSaCS 2000: 1-16
	1999
1		Mariëlle Stoelinga, Frits W. Vaandrager: Root Contention in IEEE 1394. ARTS 1999: 53-74

Coauthor Index

1	Luca de Alfaro	[7] [10] [11] [12] [13] [14] [15] [16] [19] [23] [25] [29]
2	Christel Baier	[2]
3	Henrik C. Bohnenkamp	[27]
4	Hichem Boudali	[21] [22] [26] [28] [31]
5	Ed Brinksma	[17]
6	Laura Brandán Briones	[17]
7	Arindam Chakrabarti	[10]
8	Krishnendu Chatterjee	[16]
9	Ling Cheung	[18]
10	Pepijn Crouzen	[21] [22] [26] [28]
11	Marco Faella	[11] [13] [14] [15] [16] [24] [29]
12	Boudewijn R. Haverkort	[26] [28]
13	Thomas A. Henzinger	[7] [10] [11] [13] [15] [16]
14	Thomas Hune	[4] [5]
15	David N. Jansen	[20]
16	Joost-Pieter Katoen	[20] [32]
17	Matthias Kuntz	[26] [28]
18	Axel Legay	[24]
19	Rupak Majumdar	[11] [13] [15] [16] [19] [23] [25]
20	Martin R. Neuhäußer	[32]
21	A. P. Nijmeijer	[31]
22	Marcel Oldenkamp	[20]
23	Vishwanath Raman	[19] [23] [25]
24	Judi Romijn	[4] [5]
25	David P. L. Simons	[3]
26	Mark Timmer	[30]
27	Frits W. Vaandrager	[1] [4] [5] [9] [18]
28	Ivan S. Zapreev	[20]

Colors in the list of coauthors