Marielle Stoelinga - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3989	1961
h-index	33	24
i10-index	66	54

460

230

115

345

20002001200220032004200520062007200820092010201120122013201420152016201720182019202015 18 37 61 62 85 108 107 145 172 206 225 249 221 276 315 332 362 371 447 129

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
Enno RuijtersUniversiteit TwenteVerified email at utwente.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
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
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
Rajesh KumarAssistant Professor, BITS-PilaniVerified email at pilani.bits-pilani.ac.in
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Florian ArnoldPhD Researcher, University of AntwerpVerified email at uantwerpen.be
Waheed AhmadSoftware Designer, ICT AutomatiseringVerified email at ict.nl
Judi RomijnSabbatical, career switchVerified 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
Axel BelinfanteUniversity of Twente, The NetherlandsVerified email at xs4all.nl
Marcus GerholdUniversity of TwenteVerified email at utwente.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 Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	302	2015
Resource interfaces A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 117-133, 2003	265	2003
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	230	2002
Timed interfaces L De Alfaro, TA Henzinger, M Stoelinga International Workshop on Embedded Software, 108-122, 2002	225	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	171	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	160	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	145	2009
Alea jacta est: verification of probabilistic, real-time and parametric systems MIA Stoelinga [Sl: sn], 2002	108	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	103	2007
Root contention in IEEE 1394 M Stoelinga, F Vaandrager International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999	92	1999
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	91	2004
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	88	2007
Model checking discounted temporal properties L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga Theoretical Computer Science 345 (1), 139-170, 2005	88	2005
Linear and branching system metrics L De Alfaro, M Faella, M Stoelinga Software Engineering, IEEE Transactions on 35 (2), 258-273, 2009	87	2009
An introduction to probabilistic automata M Stoelinga Bulletin of the EATCS 78 (176-198), 2, 2002	80	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	64	2009
Time-dependent analysis of attacks F Arnold, H Hermanns, R Pulungan, M Stoelinga International Conference on Principles of Security and Trust, 285-305, 2014	61	2014
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

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