Travelled to:1 × Finland
1 × Hungary
1 × Italy
1 × Poland
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Germany
Collaborated with:M.Faella L.d.Alfaro F.W.Vaandrager M.Timmer C.Baier M.Gerhold R.Majumdar W.G.J.Stokkink J.v.d.Pol M.R.Neuhäußer J.Katoen A.Legay V.Raman T.Hune J.Romijn T.A.Henzinger R.K.0012 S.Schivo E.Ruijters B.M.Yildiz D.Huistra J.Brandt A.Rensink
Talks about:model (5) probabilist (4) system (4) linear (3) check (3) time (3) automata (2) transit (2) quantit (2) metric (2)
Person: Mariëlle Stoelinga
DBLP: Stoelinga:Mari=euml=lle
Contributed to:
2013
2011
2009
2008
2007
20042004200320012000
20162018Wrote 12 papers:
- TAP-2013-StokkinkTS
- Divergent Quiescent Transition Systems (WGJS, MT, MS), pp. 214–231.
- TACAS-2011-TimmerSP #confluence #probability #reduction
- Confluence Reduction for Probabilistic Systems (MT, MS, JvdP), pp. 311–325.
- FoSSaCS-2009-NeuhausserSK #markov #nondeterminism #process
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes (MRN, MS, JPK), pp. 364–379.
- QAPL-2008-FaellaLS #linear #logic #model checking
- Model Checking Quantitative Linear Time Logic (MF, AL, MS), pp. 61–77.
- LICS-2007-AlfaroMRS #game studies #metric
- Game Relations and Metrics (LdA, RM, VR, MS), pp. 99–108.
- ICALP-2004-AlfaroFS #branch #linear #metric
- Linear and Branching Metrics for Quantitative Transition Systems (LdA, MF, MS), pp. 97–109.
- TACAS-2004-AlfaroFHMS #model checking
- Model Checking Discounted Temporal Properties (LdA, MF, TAH, RM, MS), pp. 77–92.
- ICALP-2003-StoelingaV #automaton #probability #testing
- A Testing Scenario for Probabilistic Automata (MS, FWV), pp. 464–477.
- TACAS-2001-HuneRSV #automaton #linear #model checking #parametricity
- Linear Parametric Model Checking of Timed Automata (TH, JR, MS, FWV), pp. 189–203.
- FoSSaCS-2000-BaierS #bisimulation #probability
- Norm Functions for Probabilistic Bisimulations with Delays (CB, MS), pp. 1–16.
- FASE-2016-GerholdS #modelling #probability #testing
- Model-Based Testing of Probabilistic Systems (MG, MS), pp. 251–268.
- FASE-2018-0012SRYHBRS #analysis #approach #effectiveness #modelling
- Effective Analysis of Attack Trees: A Model-Driven Approach (RK0, SS, ER, BMY, DH, JB, AR, MS), pp. 56–73.