Research Output 2004 2017

Filter
Article
2017
4 Citations

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A. 2017 53 p.

Research output: Scientific - peer-reviewArticle

Directed graphs
Nutrition
Scalability
Experiments
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: Scientific - peer-reviewArticle

Explosions
Specifications
2015
53 Citations
Fault tree analysis
Power plants
Aircraft
2014

Bakkerij, democratie en typesetting

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

Research output: ProfessionalArticle

Engineers
5 Citations

Effective verification of confidentiality for multi-threaded programs

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M. 2014 22, 2, p. 269-300 31 p.

Research output: Scientific - peer-reviewArticle

Model checking
5 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: Scientific - peer-reviewArticle

Model checking
Testing
Costs
Formal methods
Algebra

Meer vrouwen in de ict, waarom eigenlijk?

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

Research output: ProfessionalArticle

Quantitative Penetration Testing with Item Response Theory

Arnold, F., Pieters, W. & Stoelinga, M. I. A. 2014 9, 3, p. 118-127 10 p.

Research output: Scientific - peer-reviewArticle

Testing
Cost effectiveness
Risk management
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: ProfessionalArticle

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

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

Research output: ScientificArticle

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: Scientific - peer-reviewArticle

Algebra

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: ProfessionalArticle

Boosting
Testing
2011

Efficiënt zoeken in grote tekstbestanden

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

Research output: ProfessionalArticle

search engine
twitter
facebook
letter

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: ProfessionalArticle

Software

Towards explaining the speed of k-means

Manthey, B., van de Pol, J. C. (ed.), Raamsdonk, F. (ed.) & Stoelinga, M. I. A. (ed.) 2011 2011, p. 45-54 10 p.

Research output: ProfessionalArticle

2010
70 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: Scientific - peer-reviewArticle

Discrete Fourier transforms
Semantics
Markov processes
Agglomeration
Reliability analysis
2009
47 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: Scientific - peer-reviewArticle

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: Scientific - peer-reviewArticle

Probability distributions
2007
28 Citations

A testing scenario for probabilistic processes

Raghavan, P. (ed.), Chueng, L., Stoelinga, M. I. A. & Vaandrager, F. Dec 2007 54, Supplement/6, p. 29:1-29:45 45 p., 29

Research output: Scientific - peer-reviewArticle

Statistical tests
Testing
2005
52 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: Scientific - peer-reviewArticle

Semantics
Temporal logic
Stochastic systems
Model checking
Markov processes