No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2018

Filter
Article
2018
1 Citations

Model-based testing of probabilistic systems

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

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output
2017
5 Citations

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

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
94 Citations

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

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

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

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

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

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

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

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

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

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

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

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
79 Citations

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
55 Citations

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
21 Citations

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
29 Citations

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
58 Citations

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