Marielle Stoelinga - Google Scholar Citations

Cited by

	All	Since 2014
Citations	3793	2044
h-index	32	24
i10-index	65	54

400

200

100

300

2000200120022003200420052006200720082009201020112012201320142015201620172018201915 17 37 57 62 84 107 106 147 176 209 222 250 220 270 317 328 364 360 392

Co-authors

Luca de AlfaroProfessor, UC Santa CruzVerified email at UCSC.edu
Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsVerified email at utwente.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Enno RuijtersUniversiteit TwenteVerified email at utwente.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Dennis GuckTWT GmbHVerified email at twt-gmbh.de
Pepijn CrouzenGoogle inc.Verified email at google.com
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
Rajesh KumarAssistant Professor, BITS-PilaniVerified email at pilani.bits-pilani.ac.in
Florian ArnoldPhD Researcher, University of AntwerpVerified email at uantwerpen.be
Waheed AhmadSoftware Designer, ICT AutomatiseringVerified email at ict.nl
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital SciencesVerified email at uvt.nl
Judi RomijnMovares NLVerified email at xs4all.nl
Arend RensinkProfessor in Computer Science, University of TwenteVerified email at utwente.nl
Vishwanath RamanSoftware Engineer, Oasis LabsVerified email at oasislabs.com
Marcus GerholdUniversity of TwenteVerified email at utwente.nl
Axel BelinfanteUniversity of Twente, The NetherlandsVerified email at xs4all.nl

Marielle Stoelinga

Professor of Risk Management for high tex systems, Radboud University & University of Twente

Verified email at utwente.nl

Risk Analysis Formal Methods Fault Tree Analysis Model-Based Testing Stochastic Model Checking


Title	Cited by	Year
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003	261	2003
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. E Ruijters, M Stoelinga Computer Science Review 15, 29-62, 2015	240	2015
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	226	2002
Linear parametric model checking of timed automata T Hune, J Romijn, M Stoelinga, F Vaandrager The Journal of Logic and Algebraic Programming 52, 183-220, 2002	226	2002
Dynamic fault tree analysis using input/output interactive Markov chains H Boudali, P Crouzen, M Stoelinga Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP …, 2007	162	2007
The element of surprise in timed games L De Alfaro, M Faella, T Henzinger, R Majumdar, M Stoelinga CONCUR 2003-Concurrency Theory, 144-158, 2003	155	2003
A rigorous, compositional, and extensible framework for dynamic fault tree analysis H Boudali, P Crouzen, M Stoelinga IEEE Transactions on Dependable and Secure Computing 7 (2), 128-143, 2009	138	2009
Alea jacta est: verification of probabilistic, real-time and parametric systems MIA Stoelinga [Sl: sn], 2002	106	2002
A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains H Boudali, P Crouzen, M Stoelinga International Symposium on Automated Technology for Verification and …, 2007	101	2007
Linear and branching metrics for quantitative transition systems L De Alfaro, M Faella, M Stoelinga International Colloquium on Automata, Languages, and Programming, 97-109, 2004	92	2004
Root contention in IEEE 1394 M Stoelinga, F Vaandrager International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999	90	1999
Model checking discounted temporal properties L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga Theoretical Computer Science 345 (1), 139-170, 2005	87	2005
How fast and fat is your probabilistic model checker? an experimental performance comparison DN Jansen, JP Katoen, M Oldenkamp, M Stoelinga, I Zapreev Haifa verification conference, 69-85, 2007	85	2007
Linear and branching system metrics L De Alfaro, M Faella, M Stoelinga Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009	84	2009
An introduction to probabilistic automata M Stoelinga Bulletin of the EATCS 78 (176-198), 2, 2002	78	2002
Game relations and metrics L De Alfaro, R Majumdar, V Raman, M Stoelinga Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on …, 2007	73*	2007
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k DPL Simons, MIA Stoelinga International Journal on Software Tools for Technology Transfer 3 (4), 469-485, 2001	69	2001
Delayed nondeterminism in continuous-time Markov decision processes MR Neuhäußer, M Stoelinga, JP Katoen International Conference on Foundations of Software Science and …, 2009	65	2009
Architectural dependability evaluation with Arcade H Boudali, P Crouzen, BR Haverkort, M Kuntz, MIA Stoelinga 2008 IEEE International Conference on Dependable Systems and Networks With …, 2008	59	2008
Time-dependent analysis of attacks F Arnold, H Hermanns, R Pulungan, M Stoelinga International Conference on Principles of Security and Trust, 285-305, 2014	57	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors