×

zbMATH — the first resource for mathematics

Stoelinga, Mariëlle

Compute Distance To:
Author ID: stoelinga.marielle Recent zbMATH articles by "Stoelinga, Mariëlle"
Published as: Stoelinga, Mariëlle; Stoelinga, Mariëlle I. A.
Documents Indexed: 35 Publications since 2000, including 3 Books

Publications by Year

Citations contained in zbMATH

28 Publications have been cited 217 times in 174 Documents Cited by Year
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
23
2004
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
22
2002
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
19
2008
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
19
2005
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
16
2003
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
14
2002
Linear parametric model checking of timed automata. Zbl 0978.68094
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
14
2001
A testing scenario for probabilistic processes. Zbl 1326.68138
Cheung, Ling; Stoelinga, Mariëlle; Vaandrager, Frits W.
13
2007
A compositional semantics for dynamic fault trees in terms of interactive Markov chains. Zbl 1141.68454
Boudali, Hichem; Crouzen, Pepijn; Stoelinga, Mariëlle
10
2007
Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol. Zbl 1029.68022
Stoelinga, Mariëlle
9
2002
Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320
Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter
6
2009
A testing scenario for probabilistic automata. Zbl 1039.68071
Stoelinga, Mariëlle; Vaandrager, Frits
6
2003
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Zbl 1053.68580
Simons, David P. L.; Stoelinga, Mariëlle I. A.
6
2001
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2012
Confluence reduction for probabilistic systems. Zbl 1316.68077
Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco
5
2011
Norm functions for probabilistic bisimulations with delays. Zbl 0961.68087
Baier, Christel; Stoelinga, Mariëlle
5
2000
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
An introduction to probabilistic automata. Zbl 1169.68494
Stoelinga, Mariëlle
4
2002
Confluence reduction for Markov automata. Zbl 1390.68419
Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
3
2013
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
Modelling and analysis of Markov reward automata. Zbl 1448.68265
Guck, Dennis; Timmer, Mark; Hatefi, Hassan; Ruijters, Enno; Stoelinga, Mariëlle
2
2014
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
1
2016
Model-based testing of probabilistic systems. Zbl 1378.68123
Gerhold, Marcus; Stoelinga, Mariëlle
1
2016
Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle
1
2015
Quantitative attack tree analysis via priced timed automata. Zbl 06481828
Kumar, Rajesh; Ruijters, Enno; Stoelinga, Mariëlle
1
2015
Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Zbl 1315.90013
Ruijters, Enno; Stoelinga, Mariëlle
1
2015
A semantic framework for test coverage. Zbl 1161.68350
Briones, Laura Brandán; Brinksma, Ed; Stoelinga, Mariëlle
1
2006
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
1
2016
Model-based testing of probabilistic systems. Zbl 1378.68123
Gerhold, Marcus; Stoelinga, Mariëlle
1
2016
Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle
1
2015
Quantitative attack tree analysis via priced timed automata. Zbl 06481828
Kumar, Rajesh; Ruijters, Enno; Stoelinga, Mariëlle
1
2015
Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Zbl 1315.90013
Ruijters, Enno; Stoelinga, Mariëlle
1
2015
Modelling and analysis of Markov reward automata. Zbl 1448.68265
Guck, Dennis; Timmer, Mark; Hatefi, Hassan; Ruijters, Enno; Stoelinga, Mariëlle
2
2014
Confluence reduction for Markov automata. Zbl 1390.68419
Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
3
2013
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2012
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Confluence reduction for probabilistic systems. Zbl 1316.68077
Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco
5
2011
Delayed nondeterminism in continuous-time Markov decision processes. Zbl 1234.68320
Neuhäußer, Martin R.; Stoelinga, Mariëlle; Katoen, Joost-Pieter
6
2009
Game refinement relations and metrics. Zbl 1147.68056
de Alfaro, Luca; Majumdar, Rupak; Raman, Vishwanath; Stoelinga, Mariëlle
19
2008
Model checking quantitative linear time logic. Zbl 1286.68313
Faella, Marco; Legay, Axel; Stoelinga, Mariëlle
4
2008
A testing scenario for probabilistic processes. Zbl 1326.68138
Cheung, Ling; Stoelinga, Mariëlle; Vaandrager, Frits W.
13
2007
A compositional semantics for dynamic fault trees in terms of interactive Markov chains. Zbl 1141.68454
Boudali, Hichem; Crouzen, Pepijn; Stoelinga, Mariëlle
10
2007
A semantic framework for test coverage. Zbl 1161.68350
Briones, Laura Brandán; Brinksma, Ed; Stoelinga, Mariëlle
1
2006
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
19
2005
Linear and branching metrics for quantitative transition systems. Zbl 1098.68092
de Alfaro, Luca; Faella, Marco; Stoelinga, Mariëlle
23
2004
Model checking discounted temporal properties. Zbl 1126.68465
Alfaro, Luca de; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
3
2004
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
16
2003
A testing scenario for probabilistic automata. Zbl 1039.68071
Stoelinga, Mariëlle; Vaandrager, Frits
6
2003
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
22
2002
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
14
2002
Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol. Zbl 1029.68022
Stoelinga, Mariëlle
9
2002
An introduction to probabilistic automata. Zbl 1169.68494
Stoelinga, Mariëlle
4
2002
Linear parametric model checking of timed automata. Zbl 0978.68094
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
14
2001
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Zbl 1053.68580
Simons, David P. L.; Stoelinga, Mariëlle I. A.
6
2001
Norm functions for probabilistic bisimulations with delays. Zbl 0961.68087
Baier, Christel; Stoelinga, Mariëlle
5
2000
all top 5

Cited by 282 Authors

15 Legay, Axel
14 Larsen, Kim Guldstrand
11 Chatterjee, Krishnendu
11 Katoen, Joost-Pieter
9 Fahrenberg, Uli
9 Stoelinga, Mariëlle
8 André, Étienne
8 Henzinger, Thomas A.
6 Hermanns, Holger
6 Tini, Simone
6 Wąsowski, Andrzej
5 Markey, Nicolas
5 Pappas, George J.
5 Zhang, Lijun
4 Bouyer, Patricia
4 Cao, Yongzhi
4 Delahaye, Benoît
4 Doyen, Laurent
4 Faella, Marco
4 Kupferman, Orna
4 Li, Yongming
4 Lime, Didier
4 Nunez, Manuel A.
4 Pan, Haiyu
4 Rodríguez, Ismael
4 Sproston, Jeremy
4 Timmer, Mark
4 Traonouez, Louis-Marie
4 Vaandrager, Frits W.
3 Beneš, Nikola
3 Bernardo, Marco
3 Bezděk, Peter
3 Chmelík, Martin
3 David, Alexandre
3 De Nicola, Rocco
3 Gebler, Daniel E.
3 Girard, Antoine
3 Kwiatkowska, Marta Z.
3 La Torre, Salvatore
3 Lanotte, Ruggero
3 Loreti, Michele
3 Pinchinat, Sophie
3 Raskin, Jean-François
3 Thrane, Claus R.
3 van Breugel, Franck
3 van de Pol, Jan Cornelis
3 Worrell, James B.
2 Andova, Suzana
2 Arbab, Farhad
2 Baier, Christel
2 Barnat, Jiří
2 Becker, Bernd
2 Bertrand, Nathalie
2 Bozzelli, Laura
2 Castiglioni, Valentina
2 Černá, Ivana
2 Černý, Pavol
2 Chatain, Thomas
2 Chothia, Tom
2 D’Argenio, Pedro Rubén
2 de Alfaro, Luca
2 de Boer, Frank S.
2 Deng, Yuxin
2 Dingel, Juergen
2 Fischer, Diana
2 Fribourg, Laurent
2 Godskesen, Jens Chr.
2 Guck, Dennis
2 Hatefi, Hassan
2 Hierons, Robert Mark
2 Jaghoori, Mohammad Mahdi
2 Jamroga, Wojciech
2 Jansen, David N.
2 Jobstmann, Barbara
2 Jovanović, Aleksandra Ž.
2 Julius, A. Agung
2 Kaiser, Lukasz
2 Kulkarni, Sandeep S.
2 Ma, Zhanyou
2 Majumdar, Rupak
2 Mardare, Radu
2 Merro, Massimo
2 Murano, Aniello
2 Norman, Gethin
2 Nyman, Ulrik
2 Ouaknine, Joel O.
2 Pedersen, Mikkel Lykke
2 Peled, Doron A.
2 Qu, Hongyang
2 Rabe, Markus N.
2 Raclet, Jean-Baptiste
2 Radhakrishna, Arjun
2 Roux, Olivier H.
2 Rudie, Karen
2 Sankur, Ocan
2 Schewe, Sven
2 Sher, Falak
2 Sirjani, Marjan
2 Song, Lei
2 Sun, Jun
...and 182 more Authors

Citations by Year