No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

20042019
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
Article
2019
1 Citation (Scopus)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 1 Jun 2019, In : Reliability engineering & system safety. 186, p. 220-231 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Importance sampling
Model checking
Stochastic models
Repair
Availability
2018
3 Citations (Scopus)
29 Downloads (Pure)

Model-based testing of probabilistic systems

Gerhold, M. & Stoelinga, M., 1 Jan 2018, In : Formal aspects of computing. 30, 1, p. 77-106 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output
2017
3 Citations (Scopus)

Availability analysis of software architecture decomposition alternatives for local recovery

Sözer, H., Stoelinga, M., Boudali, H. & Aksit, M., 2017, In : Software quality journal. 25, 2, p. 553-579 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Software architecture
Availability
Decomposition
Recovery
Markov processes
6 Citations (Scopus)

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

Graph Rewriting
Fault Tree
Nutrition
Directed graphs
Reliability Modeling
2016
2 Citations (Scopus)
69 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
2015
128 Citations (Scopus)
423 Downloads (Pure)

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Ruijters, E. J. J. & Stoelinga, M. I. A., 5 May 2015, In : Computer science review. 15-16, p. 29-62 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Fault Tree Analysis
Fault tree analysis
Modeling
Common Cause Failure
Fault Tree
2014
10 Downloads (Pure)

Bakkerij, democratie en typesetting

Stoelinga, M. I. A., May 2014, In : Bits en chips. 2014, p. 40-41 2 p.

Research output: Contribution to journalArticleProfessional

File
5 Citations (Scopus)
48 Downloads (Pure)

Effective verification of confidentiality for multi-threaded programs

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M., 2014, In : Journal of computer security. 22, 2, p. 269-300 31 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
7 Citations (Scopus)
48 Downloads (Pure)

Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost

Sijtema, M., Salaün, G. (ed.), Schätz, B. (ed.), Belinfante, A., Stoelinga, M. I. A. & Marinelli, L., 1 Feb 2014, In : Science of computer programming. 80, Part A, p. 188-209 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
64 Downloads (Pure)

Meer vrouwen in de ict, waarom eigenlijk?

Huisman, M. (ed.) & Stoelinga, M. I. A. (ed.), 7 Nov 2014, In : Bits en chips. 9, 9, p. 20-21 2 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
20 Downloads (Pure)

Quantitative Penetration Testing with Item Response Theory

Arnold, F., Pieters, W. & Stoelinga, M. I. A., 2014, In : Journal of information assurance and security. 9, 3, p. 118-127 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2013
15 Downloads (Pure)

Attack navigator vindt en verhelpt zwakke plekken

Stoelinga, M. I. A. & Pieters, W., 26 Apr 2013, In : Bits en chips. 4, p. - 2 p.

Research output: Contribution to journalArticleProfessional

File
10 Downloads (Pure)

Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)

Huisman, M., Jobstmann, B., Schaefer, I. & Stoelinga, M. I. A., 2013, In : Dagstuhl reports. 2, 12, p. 64-88 25 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Model checking
Technical presentations
Computer science
2012
7 Citations (Scopus)
54 Downloads (Pure)

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
56 Downloads (Pure)

Trends in testen: modellen en verhalen

Stoelinga, M. I. A. & Roos, N. (ed.), 14 Dec 2012, In : Bits en chips. 10, p. 16-17 2 p.

Research output: Contribution to journalArticleProfessional

File
2011
25 Downloads (Pure)

Efficiënt zoeken in grote tekstbestanden

Stoelinga, M. I. A. & Timmer, M., Jun 2011, In : Nieuwe wiskrant. 30, 4, p. 35-38 4 p.

Research output: Contribution to journalArticleProfessional

File

Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag

Roos, N. (ed.) & Stoelinga, M. I. A., 27 Dec 2011, In : Bits en chips. 113, 15, p. 14-15 2 p.

Research output: Contribution to journalArticleProfessional

12 Downloads (Pure)

Towards explaining the speed of k-means

Manthey, B., van de Pol, J. C. (ed.), Raamsdonk, F. (ed.) & Stoelinga, M. I. A. (ed.), 2011, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2011, p. 45-54 10 p.

Research output: Contribution to journalArticleProfessional

File
2010
83 Citations (Scopus)
26 Downloads (Pure)

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis

Boudali, H., Sandhu, R. (ed.), Crouzen, P. & Stoelinga, M. I. A., Jun 2010, In : IEEE transactions on dependable and secure computing. 7, 2, p. 128-143 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2009
57 Citations (Scopus)
16 Downloads (Pure)

Linear and Branching System Metrics

J., H. (ed.), de Alfaro, L., Faella, M., M.Z., K. (ed.), Telek, M. (ed.) & Stoelinga, M. I. A., Mar 2009, In : IEEE transactions on software engineering. 35, 2, p. 258-273 16 p., 10.1109/TSE.2008.106.

Research output: Contribution to journalArticleAcademicpeer-review

File
2008
23 Citations (Scopus)

Game Refinement Relations and Metrics

de Alfaro, L., Scott, D. S. (ed.), Pierce, B. J. (ed.), Majumdar, R., Plotkin, G. J. (ed.), Raman, V., Vardi, M. Y. (ed.), Stoelinga, M. I. A. & Adámek, J. (ed.), Sep 2008, In : Logical methods in computer science. 4, 3, p. 7 27 p., 7.

Research output: Contribution to journalArticleAcademicpeer-review

2007
30 Citations (Scopus)

A testing scenario for probabilistic processes

Raghavan, P. (ed.), Chueng, L., Stoelinga, M. I. A. & Vaandrager, F., Dec 2007, In : Journal of the Association for Computing Machinery. 54, Supplement/6, p. 29:1-29:45 45 p., 29.

Research output: Contribution to journalArticleAcademicpeer-review

2005
59 Citations (Scopus)
4 Downloads (Pure)

Model Checking Discounted Temporal Properties

de Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R. & Stoelinga, M. I. A., 21 Nov 2005, In : Theoretical computer science. 345, 1, p. 139-170 32 p.

Research output: Contribution to journalArticleAcademicpeer-review

File