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

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 journalArticle

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output
2017
4 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 journalArticle

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 journalArticle

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
2015
73 Citations
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 journalArticle

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 journalArticle

File
6 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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

File
2010
76 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 journalArticle

File
2009
50 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 journalArticle

File
2008
19 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 journalArticle

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 journalArticle

2005
56 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 journalArticle

File