No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2019

2011

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

13 Downloads (Pure)

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
5 Citations (Scopus)
122 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data (extended version)

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)

Research output: Book/ReportReportAcademic

File
86 Citations (Scopus)
32 Downloads (Pure)

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

Confluence reduction for probabilistic systems

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Sep 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
10 Downloads (Pure)

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 e-prints, 28 p.

Research output: Working paperProfessional

Open Access
File
12 Citations (Scopus)
32 Downloads (Pure)

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I., Roolvink, S. & Stoelinga, M. I. A., Jul 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos: IEEE Computer Society Press, p. 419-424 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2009
7 Citations (Scopus)
12 Downloads (Pure)

Architectural Availability Analysis of Software Decomposition for Local Recovery

Boudali, H., Sözer, H. & Stoelinga, M. I. A., 2009, Third IEEE International Conference on Secure Software Integration and Reliability Improvement. Los Alamitos: IEEE Computer Society, p. 14-22 9 p. 10.1109/SSIRI.2009.10

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
43 Downloads (Pure)

Compositional dependability modeling using arcade

Stoelinga, M. I. A., Aug 2009, p. 1-2. 2 p.

Research output: Contribution to conferencePaperAcademic

File
32 Citations (Scopus)

Delayed Nondeterminism in Continuous-Time Markov Decision Processes

Neuhausser, M., Stoelinga, M. I. A. & Katoen, J. P., 27 Mar 2009, Foundations of Software Science and Computational Structures. Berlin: Springer, p. 364-379 16 p. 10.1007/978-3-642-00596-1_26. (Lecture Notes in Computer Science; vol. 5504).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Downloads (Pure)

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Roolvink, S., Remke, A. & Stoelinga, M., 17 Sep 2009, p. 4-7. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Water
Critical infrastructures
Water treatment
Potable water
Disasters
6 Citations (Scopus)
136 Downloads (Pure)

DFTSim: A Simulation Tool for Extended Dynamic Fault Trees

Boudali, H., Nijmeijer, A., Nijmeijer, A. P. & Stoelinga, M. I. A., Mar 2009, Proceedings of the 42nd Annual Simulation Symposium (ANSS 2009). Wainer, G. A., Shaffer, C. A., McGraw, R. M. & Chinni, M. J. (eds.). San Diego: Association for Computing Machinery (ACM), p. 31 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
31 Downloads (Pure)

Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, M. I. A. & Timmer, M., 7 May 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-09-17)

Research output: Book/ReportReportAcademic

File

Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, M. I. A. & Timmer, M., Jul 2009, Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). Chin, W. N. & Qin, S. (eds.). Los Alamitos: IEEE Computer Society, p. 251-258 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing
58 Citations (Scopus)
22 Downloads (Pure)

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

Probabilistic specifications with data types

Katoen, J. P., van de Pol, J., Stoelinga, M. & Timmer, M., 5 Nov 2009. 1 p.

Research output: Contribution to conferencePosterOther research output

Open Access
File
2008
9 Citations (Scopus)
28 Downloads (Pure)

Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008). Los Alamitos: IEEE Computer Society, p. 243-248 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
32 Citations (Scopus)
15 Downloads (Pure)

Architectural dependability evaluation with Arcade

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., 2008, Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos: IEEE Computer Society Press, p. 512-521 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Citations (Scopus)

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

40 Citations (Scopus)

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

Jansen, D. N., Katoen, J. P., Oldenkamp, M., Stoelinga, M. I. A. & Zapreev, I. S., Feb 2008, Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007. Yohav, K. (ed.). London: Springer, p. 69-85 17 p. 10.1007/978-3-540-77966-7_9. (Lecture Notes in Computer Science; vol. 4899, no. 2008/16200).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)
65 Downloads (Pure)

Model checking Quantitative Linear Time Logic

Faella, M., Legay, A. & Stoelinga, M. I. A., 2008, Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008). Amsterdam: Elsevier, p. 61-77 17 p. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
20 Downloads (Pure)

Quantitative Testing

Bohnenkamp, H. C. & Stoelinga, M. I. A., 2008, Proceedings of the 7th ACM International conference on Embedded software. de Alfaro, L. & Palsberg, J. (eds.). New York: Association for Computing Machinery (ACM), p. 227-236 10 p. 10.1145/1450058.1450089

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
22 Downloads (Pure)

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the second workshop on foundations of interface theories (FIT). Aalborg, Denmark: University of Aalborg, p. 5-10 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
2007
10 Downloads (Pure)

A compositional reliability and availability evaluation tool

Boudali, H., Crouzen, P. & Stoelinga, M., Jul 2007. 2 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
50 Citations (Scopus)
31 Downloads (Pure)

A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains

Boudali, H., Crouzen, P. & Stoelinga, M. I. A., Oct 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Namjoshi, K. S., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Berlin: Springer, p. 441-456 16 p. (Lecture Notes in Computer Science; vol. 4762).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Markov processes
Semantics
Explosions
Agglomeration
30 Citations (Scopus)

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

16 Downloads (Pure)

Best of Three Worlds: Towards Sound Architectural Dependability Models

Boudali, H., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Sep 2007, 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Enschede: Centre for Telematics and Information Technology (CTIT), p. 45-49 5 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Reliability analysis
Availability
Acoustic waves
96 Citations (Scopus)
70 Downloads (Pure)

Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains

Boudali, H., Crouzen, P. & Stoelinga, M. I. A., Jun 2007, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). USA: IEEE Computer Society, p. 708-717 10 p. 10.1109/DSN.2007.37

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
34 Citations (Scopus)

Game Relations and Metrics

de Alfaro, L., Majumdar, R., Raman, V. & Stoelinga, M. I. A., Jul 2007, Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007). Los Alamitos: IEEE Computer Society, p. 99-108 10 p. 10.1109/LICS.2007.22

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

24 Downloads (Pure)

Theories for Model-based Testing: Real-time and Coverage

Brandan Briones, L., 21 Mar 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 134 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Large scale systems
Acoustic waves
Formal methods
Syntactics
2006
38 Downloads (Pure)

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, H. & Stoelinga, M. I. A., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 399-414 16 p. (Lecture Notes in Computer Science; vol. 4218).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Semantics
Specifications
Syntactics
Testing
Costs
10 Citations (Scopus)
45 Downloads (Pure)

A Semantic Framework for Test Coverage

Brandan Briones, L., Brinksma, E. & Stoelinga, M., 10 Dec 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 31 p. (CTIT Technical Report Series; no. 06-24)

Research output: Book/ReportReportProfessional

File
2 Downloads (Pure)

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.

Research output: Working paperOther research output

File
Syntactics
Semantics
Specifications
Testing
Costs
30 Downloads (Pure)

A Testing Scenario for Probabilistic Processes

Cheung, L., Stoelinga, M. I. A. & Vaandrager, F. W., Jan 2006, Nijmegen: Radboud University Nijmegen. 49 p. (ICIS; no. R06002)

Research output: Book/ReportReportProfessional

File
14 Citations (Scopus)
14 Downloads (Pure)

Quantitative Compositional Reasoning

Chatterjee, K., de Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R. & Stoelinga, M. I. A., Sep 2006, Third International Conference on the Quantitative Evaluation of Systems (QEST'06). Los Alamitos: IEEE Computer Society Press, p. 179-189 10 p. 10.1109/QEST.2006.11

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2005
60 Citations (Scopus)
7 Downloads (Pure)

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
2004
53 Citations (Scopus)

Linear and branching metrics for quantitative transition systems

de Alfaro, L., Faella, M. & Stoelinga, M. I. A., 12 Jul 2004, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (eds.). Berlin: Springer, p. 97-109 (Lecture Notes in Computer Science; vol. 3142).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Transition Systems
Branching
Metric
Bisimulation
Trace

Linear and Branching Metrics for Quantitative Transition Systems

de Alfaro, L., Faella, M. & Stoelinga, M. I. A., 2004, p. 97-109. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

16 Citations (Scopus)
26 Downloads (Pure)

Model Checking Discounted Temporal Properties

de Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R. & Stoelinga, M. I. A., 2004, Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 77-92 16 p. (Lecture Notes in Computer Science; vol. 2988, no. XIV).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File