Mariëlle I.A. Stoelinga – Research output — University of Twente Research Information

Research activity per year

106 Conference contribution
32 Article
19 Report
13 Chapter
More

6 results

Filter

2021
Attack time analysis in dynamic attack trees via integer linear programming
Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A., 9 Nov 2021, ArXiv.org, 18 p.
Research output: Working paper

Open Access
File
76 Downloads (Pure)
2019
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm
Linard, A., Bucur, D. & Stoelinga, M., 2019, ArXiv.org, 24 p.
Research output: Working paper

Open Access
File
90 Downloads (Pure)
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems
Arias, J., Budde, C. E., Penczek, W., Petrucci, L. & Stoelinga, M., 2019, ArXiv.org, 19 p. (arXiv.org).
Research output: Working paper

Open Access
File
74 Downloads (Pure)
Parametric analyses of attack-fault trees
André, É., Lime, D., Ramparison, M. & Stoelinga, M., 12 Feb 2019, ArXiv.org, 13 p.
Research output: Working paper

File
121 Downloads (Pure)
2010

Confluence Reduction for Probabilistic Systems (extended version)
Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., 10 Nov 2010, Ithaca, NY, USA: ArXiv.org, 28 p.
Research output: Working paper

Open Access
File

51 Downloads (Pure)
2006
A Semantic Framework for Test Coverage (Extended Version)
Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.
Research output: Working paper

File
45 Downloads (Pure)