Mariëlle Stoelinga Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerjan Stokkink, Mark Timmer, Mariëlle Stoelinga: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation MBT 2012: 73-87
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer: A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413(1): 36-57 (2012)
2011
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli: Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. FMICS 2011: 117-133
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems. TACAS 2011: 311-325
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Timmer, Ed Brinksma, Mariëlle Stoelinga: Model-Based Testing. Software and Systems Safety - Specification and Verification 2011: 1-32
2010
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer: A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD 2010: 213-222
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga: Evaluating repair strategies for a water-treatment facility using Arcade. DSN 2010: 419-424
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems (extended version) CoRR abs/1011.2314: (2010)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Sec. Comput. 7(2): 128-143 (2010)
2009
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen: Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FOSSACS 2009: 364-379
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Hasan Sözer, Mariëlle Stoelinga: Architectural Availability Analysis of Software Decomposition for Local Recovery. SSIRI 2009: 14-22
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga: DFTSim: a simulation tool for extended dynamic fault trees. SpringSim 2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariëlle Stoelinga, Mark Timmer: Interpreting a Successful Testing Process: Risk and Actual Coverage. TASE 2009: 251-258
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009)
2008
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Mariëlle Stoelinga: Quantitative testing. EMSOFT 2008: 227-236
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics CoRR abs/0806.4956: (2008)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Faella, Axel Legay, Mariëlle Stoelinga: Model Checking Quantitative Linear Time Logic. Electr. Notes Theor. Comput. Sci. 220(3): 61-77 (2008)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Refinement Relations and Metrics. Logical Methods in Computer Science 4(3): (2008)
2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA 2007: 441-456
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga: Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN 2007: 708-717
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga: Game Relations and Metrics. LICS 2007: 99-108
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLing Cheung, Mariëlle Stoelinga, Frits W. Vaandrager: A testing scenario for probabilistic processes. J. ACM 54(6): (2007)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga: A Semantic Framework for Test Coverage. ATVA 2006: 399-414
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Marco Faella, Mariëlle Stoelinga: Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariëlle Stoelinga, Frits W. Vaandrager: A Testing Scenario for Probabilistic Automata. ICALP 2003: 464-477
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarië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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Timed Interfaces. EMSOFT 2002: 108-122
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariëlle Stoelinga: An Introduction to Probabilistic Automata. Bulletin of the EATCS 78: 176-198 (2002)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid P. L. Simons, Mariëlle Stoelinga: Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. STTT 3(4): 469-485 (2001)
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Mariëlle Stoelinga: Norm Functions for Probabilistic Bisimulations with Delays. FoSSaCS 2000: 1-16
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariëlle Stoelinga, Frits W. Vaandrager: Root Contention in IEEE 1394. ARTS 1999: 53-74

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page