Mariëlle Ida Antoinette Stoelinga

dr.

20042020

Research output per year

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

Research Output

Filter
Article
2019

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Arias, J., Budde, C. E., Penczek, W., Petrucci, L. & Stoelinga, M., 2019, In : arXiv.org. 1906.05283, 19 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
10 Downloads (Pure)

Model-based testing of stochastically timed systems

Gerhold, M., Hartmanns, A. & Stoelinga, M., Sep 2019, In : Innovations in systems and software engineering. 15, 3-4, p. 207-233 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
23 Downloads (Pure)

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

Open Access
File
6 Citations (Scopus)
83 Downloads (Pure)
2018

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
6 Citations (Scopus)
66 Downloads (Pure)
2017

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

3 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

8 Citations (Scopus)
2016

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
6 Citations (Scopus)
118 Downloads (Pure)
2015

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
204 Citations (Scopus)
785 Downloads (Pure)
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
13 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
6 Citations (Scopus)
84 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
7 Citations (Scopus)
83 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
155 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
28 Downloads (Pure)
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
19 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
14 Downloads (Pure)
2012

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
8 Citations (Scopus)
84 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
75 Downloads (Pure)
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

Open Access
File
28 Downloads (Pure)

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
17 Downloads (Pure)
2010

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
93 Citations (Scopus)
44 Downloads (Pure)
2009

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
63 Citations (Scopus)
37 Downloads (Pure)
2008

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

24 Citations (Scopus)
2007

A testing scenario for probabilistic processes

Chueng, L., Stoelinga, M. & Vaandrager, F., Dec 2007, In : Journal of the Association for Computing Machinery. 54, Suppl. 6, 45 p., 29.

Research output: Contribution to journalArticleAcademicpeer-review

32 Citations (Scopus)
2005

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
62 Citations (Scopus)
10 Downloads (Pure)