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

Filter
Conference contribution
2011
13 Citations (Scopus)
54 Downloads (Pure)

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
Algebra
Specifications
3 Citations (Scopus)
44 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
Formal methods
Specifications
Testing
Algebra
Servers
2010
5 Citations (Scopus)
115 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
32 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
12 Citations (Scopus)
31 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)
11 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
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

5 Citations (Scopus)
125 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

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
2008
9 Citations (Scopus)
27 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)
12 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
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)
62 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
18 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
50 Citations (Scopus)
29 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
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
95 Citations (Scopus)
67 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

2006
34 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
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
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
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