BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stoelinga:Mari=euml=lle

Contributed to:

TAP 20132013
TACAS 20112011
FOSSACS 20092009
QAPL 20082008
LICS 20072007
ICALP 20042004
TACAS 20042004
ICALP 20032003
TACAS 20012001
FoSSaCS 20002000
FASE 20162016
FASE 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.