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

2004

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

53 Citations (Scopus)

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 conferencePaper

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
16 Citations (Scopus)
42 Downloads (Pure)
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)
2006

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
11 Citations (Scopus)
61 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
56 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 paper

File
5 Downloads (Pure)

A Testing Scenario for Probabilistic Processes

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

Research output: Book/ReportReportProfessional

Open Access
File
33 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
14 Citations (Scopus)
32 Downloads (Pure)
2007

A compositional reliability and availability evaluation tool

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

Research output: Contribution to conferencePaper

Open Access
File
12 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
56 Citations (Scopus)
79 Downloads (Pure)

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)

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
18 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
105 Citations (Scopus)
107 Downloads (Pure)

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

35 Citations (Scopus)
2008

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
9 Citations (Scopus)
42 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
35 Citations (Scopus)
22 Downloads (Pure)

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)

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

43 Citations (Scopus)

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
23 Citations (Scopus)
79 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
34 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
25 Downloads (Pure)
2009

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

Compositional dependability modeling using arcade

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

Research output: Contribution to conferencePaper

File
60 Downloads (Pure)

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

33 Citations (Scopus)

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 conferencePaper

Open Access
File
9 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
6 Citations (Scopus)
170 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
2 Citations (Scopus)
45 Downloads (Pure)

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

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)

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 conferencePoster

Open Access
File
10 Downloads (Pure)
2010

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
5 Citations (Scopus)
148 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
30 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
93 Citations (Scopus)
43 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
42 Downloads (Pure)
Open Access
File
13 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
12 Citations (Scopus)
49 Downloads (Pure)
2011

Confluence Reduction for Probabilistic Systems

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., Mar 2011, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Abdulla, P. A. & Leino, K. R. M. (eds.). Berlin: Springer, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605).

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

File
13 Citations (Scopus)
79 Downloads (Pure)

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)

Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost

Sijtema, M., Stoelinga, M. I. A., Belinfante, A. & Marinelli, L., Aug 2011, 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011. Salaün, G. & Schätz, B. (eds.). Berlin: Springer, p. 117-133 17 p. (Lecture Notes in Computer Science; vol. 6959).

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

Open Access
File
3 Citations (Scopus)
71 Downloads (Pure)

Model-Based Testing

Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS Press, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
102 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)
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)

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

Ngo, M. T., Stoelinga, M. I. A. & Huisman, M., 12 Dec 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)

Research output: Book/ReportReportProfessional

File
56 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

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

File
28 Citations (Scopus)
52 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

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

Open Access
File
51 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReportAcademic

File
22 Downloads (Pure)

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Stoelinga, M. (ed.) & Pinger, R. (ed.), Aug 2012, London: Springer. 221 p. (Lecture Notes in Computer Science; vol. 7437)

Research output: Book/ReportBook editingAcademic

Open Access
File
260 Downloads (Pure)

Preface

Stoelinga, M., Feb 2012, Proceedings of the 17th Dutch Testing Day: Testing Evolvability. Stoelinga, M. & Timmer, M. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 3-3 1 p. (CTIT Workshop Proceedings Series; no. WP12-01).

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

Open Access
File
10 Downloads (Pure)