Mariëlle I.A. Stoelinga

Research output

Research output per year 2004 2012 2013 2014 2015 2016 2017 2018 2019 2022 2023 2024 2024

• 107 Conference contribution
• 33 Article
• 19 Report
• 13 Chapter
• 33 More
  • 12 Preprint
  • 6 Paper
  • 6 Working paper
  • 5 Book editing
  • 1 Book
  • 1 Inaugural speech
  • 1 Poster
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2016

  Better railway engineering through statistical model checking

  Ruijters, E. & Stoelinga, M., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 151-165 15 p. (Lecture Notes in Computer Science; vol. 9952).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Model Checking 100%
  • Statistical Model 100%
  • Prevents 50%
  • Industry Standard 50%
  • Timed Automaton 50%
  8 Citations (Scopus)

  84 Downloads (Pure)

• Design and implementation of digital communication systems for victim-offender mediation

  van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M. & Giebels, E., 5 Sept 2016, SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

• Fault maintenance trees: reliability centered maintenance via statistical model checking

  Ruijters, E. J. J., Guck, D., Drolenga, P. & Stoelinga, M. I. A., Jan 2016, Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. Piscataway, NJ: IEEE, 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Model Checking 100%
  • Statistical Model 100%
  • Modeling and Simulation 50%
  • Fault Tree 50%
  • Asset Management 50%
  29 Citations (Scopus)

  415 Downloads (Pure)

• Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor

  Ruijters, E. J. J., Guck, D., Drolenga, P., Peters, M. & Stoelinga, M. I. A., Aug 2016, Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. Agha, G. & Van Houdt, B. (eds.). Berlin: Springer, p. 331-347 16 p. (Lecture Notes in Computer Science; vol. 9826).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Models 100%
  • Model Checking 100%
  • Statistical Model 100%
  • Service 33%
  • Key Performance Indicator 33%
  14 Citations (Scopus)

  188 Downloads (Pure)

• Model-Based Testing of Probabilistic Systems

  Gerhold, M. & Stoelinga, M. I. A., Apr 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Stevens, P. & Wasowski, A. (eds.). Heidelberg-Berlin: Springer, p. 251-268 18 p. (Lecture Notes in Computer Science; vol. 9633).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • model based testing 100%
  • Soundness 66%
  • Algorithms 66%
  • Functions 33%
  • Case Study 33%
  9 Citations (Scopus)

  96 Downloads (Pure)

• Model-Based Testing of Stochastic Systems with IOCO Theory

  Gerhold, M. & Stoelinga, M. I. A., 18 Nov 2016, Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York: Association for Computing Machinery, p. 45-51 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  1 Citation (Scopus)

  137 Downloads (Pure)

• Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

  Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2016, Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE, p. 114-123 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  7 Citations (Scopus)

  213 Downloads (Pure)

• Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report

  Ruijters, E. J. J., Guck, D., van Noort, M. & Stoelinga, M. I. A., Jul 2016, Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016. USA: IEEE, p. 662-669 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File

  • Models 100%
  • Practical Experience 100%
  • Fault Tree 100%
  • Parameter Value 50%
  • Key Performance Indicator 50%
  17 Citations (Scopus)

  507 Downloads (Pure)

• The Value of Attack-Defence Diagrams

  Hermanns, H., Krämer, J., Krčál, J. & Stoelinga, M. I. A., Apr 2016, Proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. Piessens, F. & Viganò, L. (eds.). Berlin: Springer, p. 163-185 23 p. (Lecture Notes in Computer Science; vol. 9635).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  29 Citations (Scopus)

  33 Downloads (Pure)

• Uncovering dynamic fault trees

  Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A., Jun 2016, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016. Toulouse, France: IEEE, p. 299-310 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Scheduling Problem 100%
  • Specific Industry 100%
  • Management 100%
  • Fault Tree 100%
  • Tree 100%
  39 Citations (Scopus)

  817 Downloads (Pure)

• Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study

  Fraile, M., Ford, M., Gadyatskaya, O., Kumar, R., Stoelinga, M. I. A. & Trujillo-Rasua, R., 2016, 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM). Berlin: Springer, p. 326-334 9 p. (Lecture Notes in Business Information Processing; vol. 267).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  41 Citations (Scopus)

  8 Downloads (Pure)
• 2015

  A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

  van Dijk, T., Hahn, E. M., Jansen, D. N., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Model Checking 100%
  • binary decision diagram 100%
  • Data Structure 20%
  • Benchmark 20%
  • Experimental Result 20%
  16 Citations (Scopus)

  225 Downloads (Pure)

• DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper)

  Guck, D., Spel, J. & Stoelinga, M. I. A., Nov 2015, Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). Butler, M., Conchon, S. & Zaïdi, F. (eds.). Berlin: Springer, p. 304-311 8 p. (Lecture Notes in Computer Science; vol. 9407).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  19 Citations (Scopus)

  521 Downloads (Pure)

• Fault Trees on a Diet: Automated Reduction by Graph Rewriting

  Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Industrial Case 100%
  • Functional Dependency 100%
  • Rewrite Rule 100%
  9 Citations (Scopus)

  27 Downloads (Pure)

• Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications

  Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 26 Aug 2015, 18th Euromicro Conference on Digital Systems Design (DSD 2015). USA: IEEE, p. 271-275 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  9 Citations (Scopus)

  5 Downloads (Pure)

• Ioco Theory for Probabilistic Automata

  Gerhold, M. & Stoelinga, M. I. A., 9 Apr 2015, Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London: Open Publishing Association, p. 23-40 18 p. (Electronic proceedings in theoretical computer science; vol. 180).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  3 Citations (Scopus)

  157 Downloads (Pure)

• Modeling and Verification of the Bitcoin Protocol

  Chaudhary, K., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A., 13 Nov 2015, Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Bitcoin 100%
  • Models 33%
  • Probability 33%
  • Attack 16%
  • User 16%
  20 Citations (Scopus)

  668 Downloads (Pure)

• Quantitative Attack Tree Analysis via Priced Timed Automata

  Kumar, R., Ruijters, E. J. J. & Stoelinga, M. I. A., Sept 2015, Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015). Sankaranarayanan, S. & Vicario, E. (eds.). Zurich: Springer, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 9268).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  60 Citations (Scopus)

  13 Downloads (Pure)

• Sequential and Parallel Attack Tree Modelling

  Arnold, F., Guck, D., Kumar, R. & Stoelinga, M., Sept 2015, Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Koornneef, F. & van Gulijk, C. (eds.). Cham: Springer, p. 291-299 9 p. (Lecture Notes in Computer Science; vol. 9338).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Models 100%
  • Attack 100%
  • Attackers 66%
  • Security Engineer 33%
  • Service 33%
  35 Citations (Scopus)

  26 Downloads (Pure)

• Time dependent analysis with dynamic counter measure trees

  Kumar, R., Guck, D. & Stoelinga, M. I. A., Apr 2015, Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015). France: INRIA , p. 1-5 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  File
  7 Citations (Scopus)

  86 Downloads (Pure)
• 2014

  Modelling and analysis of Markov reward automata

  Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., Nov 2014, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014. Cassez, F. & Raskin, J.-F. (eds.). Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Costs 100%
  • Mathematical Model 100%
  • Analysis 100%
  • Automaton 100%
  • Case Study 100%
  24 Citations (Scopus)

  225 Downloads (Pure)

• Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

  Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., Jun 2014, Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). USA: IEEE, p. 72-81 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  59 Downloads (Pure)

• Smart railroad maintenance engineering with stochastic model checking

  Guck, D., Katoen, J. P., Stoelinga, M. I. A., Luiten, T. & Romijn, J., Apr 2014, Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014. Pombo, J. (ed.). Stirlingshire, UK: Civil-Comp Press, p. 299 15 p. (Civil-Comp Proceedings; vol. 104).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Model Checking 100%
  • Fault Tree 100%
  • Stochastic Model 100%
  • State Space 50%
  • Models 25%
  11 Citations (Scopus)

  249 Downloads (Pure)

• Time-dependent analysis of attacks

  Arnold, F., Hermanns, H., Pulungan, R. & Stoelinga, M., Apr 2014, Proceedings of the Third International Conference on Principles and Security of Trust, POST 2014. Berlin: Springer, p. 285-305 21 p. (Lecture Notes in Computer Science; vol. 8414).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Successful Attack 100%
  • Phase Type Distribution 100%
  • Compression Technique 100%
  • Dependent Behavior 100%
  • Security Attack 100%
  64 Citations (Scopus)

  2 Downloads (Pure)
• 2013

  Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

  Ngo, M. T., Stoelinga, M. & Huisman, M., Feb 2013, Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013. London: Springer, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Scheduler 100%
  • Threaded Program 100%
  • Probability 66%
  • Personal Data 33%
  • High-Performance Computing 33%
  14 Citations (Scopus)

  48 Downloads (Pure)

• Confluence reduction for Markov automata

  Timmer, M., van de Pol, J. & Stoelinga, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  Open Access

  File

  • Automaton 100%
  • State Space 20%
  • Probabilistic Choice 20%
  • Process Algebra 20%
  • Case Study 20%
  107 Downloads (Pure)

• Confluence Reduction for Markov Automata

  Timmer, M., van de Pol, J. & Stoelinga, M. I. A., Aug 2013, Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Automaton 100%
  • State Space 20%
  • Probabilistic Choice 20%
  • Process Algebra 20%
  • Case Study 20%
  21 Citations (Scopus)

  111 Downloads (Pure)

• DFTCalc: a tool for efficient fault tree analysis

  Arnold, F., Belinfante, A., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A., Sept 2013, Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin: Springer, p. 293-301 9 p. (Lecture Notes in Computer Science; vol. 8153).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File

  • Fault Tree 100%
  • Compression Technique 25%
  • Model Checking 25%
  • Risk Management 25%
  • Compact Representation 25%
  49 Citations (Scopus)

  607 Downloads (Pure)

• Divergent quiescent transition systems

  Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Jun 2013, Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013). Veanes, M. & Viganò, L. (eds.). Berlin: Springer, p. 214-231 18 p. (Lecture Notes in Computer Science; vol. 7942).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  7 Citations (Scopus)

  312 Downloads (Pure)

• Quantitative penetration testing with item response theory

  Arnold, F., Pieters, W. & Stoelinga, M., 6 Dec 2013, 9th International Conference on Information Assurance and Security, IAS 2013. Piscataway, NJ: IEEE, p. 49-54 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Testing 100%
  • Item Response Theory 100%
  • Quantitative 100%
  • Attack 100%
  • Penetration Testing 100%
  8 Citations (Scopus)

  18 Downloads (Pure)
• 2012

  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 proceeding › Conference contribution › Academic

  File
  32 Citations (Scopus)

  146 Downloads (Pure)

• Efficient Modelling and Generation of Markov Automata

  Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sept 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 proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Mutual Exclusion 100%
  165 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 proceeding › Conference contribution › Academic

  Open Access

  File

  • World 100%
  • Fertilization 100%
  • Competitive Edge 25%
  26 Downloads (Pure)

• Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

  Stokkink, G., Timmer, M. & Stoelinga, M., 25 Mar 2012, Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). Petrenko, A. K. & Schlingloff, H. (eds.). Australia: Open Publishing Association, p. 73-87 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 80).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File

  • Transition System 100%
  • Parallel Composition 100%
  • Transitions 37%
  • Input/Output 37%
  • Classes 12%
  10 Citations (Scopus)

  156 Downloads (Pure)
• 2011

  Confluence Reduction for Probabilistic Systems

  Timmer, M., Stoelinga, M. & van de Pol, J., 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 proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Transitions 100%
  • Case Study 100%
  • State Space 100%
  • Contexts 100%
  • Process Algebra 100%
  13 Citations (Scopus)

  143 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 proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Models 100%
  • Testing 100%
  • Software 100%
  • Design 50%
  • Server Component 25%
  3 Citations (Scopus)

  199 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, p. 213-222 10 p. 10.1109/ACSD.2010.18

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  5 Citations (Scopus)

  344 Downloads (Pure)

• Confluence reduction for probabilistic systems

  Timmer, M., van de Pol, J. & Stoelinga, M., Sept 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2010), Paris, France. September, 2010. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • State Space 100%
  • Automaton 100%
  • Process Algebra 100%
  • Case Study 100%
  92 Downloads (Pure)

• Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

  Haverkort, B. R., Kuntz, M., Remke, A., Roolvink, S. & Stoelinga, M. I. A., Jul 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos, CA: IEEE, p. 419-424 6 p. ( IEEE/IFIP International Conference on Dependable Systems & Networks (DSN); vol. 2010).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Models 100%
  • Model Checking 50%
  • Case Study 50%
  • Architectural Framework 50%
  • Scheduling 50%
  14 Citations (Scopus)

  69 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, p. 14-22 9 p. 10.1109/SSIRI.2009.10

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  8 Citations (Scopus)

  71 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. (Lecture Notes in Computer Science; vol. 5504).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Decision 100%
  • Process 100%
  • Time 100%
  • Timing Information 16%
  • Outgoing Transition 16%
  40 Citations (Scopus)

  1 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, p. 31 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  9 Citations (Scopus)

  583 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, p. 251-258 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Usage Scenario 100%
  • Related Measure 100%
  • Evaluation 100%
  • Testing Process 100%
  • Testing 100%
  10 Downloads (Pure)
• 2008

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

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

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Models 100%
  • Evaluation 100%
  • Dependability Modeling 50%
  12 Citations (Scopus)

  107 Downloads (Pure)

• Architectural dependability evaluation with Arcade

  Boudali, H., Crouzen, P., Haverkort, B. R., Kuntz, M. & Stoelinga, M. I. A., 2008, Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008). Los Alamitos: IEEE, p. 512-521 10 p. (IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN); vol. 2008).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Architectural Evaluation 100%
  40 Citations (Scopus)

  30 Downloads (Pure)

• 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 proceeding › Conference contribution › Academic › peer-review
  45 Citations (Scopus)

  9 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 proceeding › Conference contribution › Academic › peer-review

  File
  33 Citations (Scopus)

  168 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, p. 227-236 10 p. 10.1145/1450058.1450089

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  9 Citations (Scopus)

  173 Downloads (Pure)

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

  Boudali, W. O. F. O. I. T. F. 2., Crouzen, P., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Apr 2008, Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008. Aalborg, Denmark: University of Aalborg, p. 5-10 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

  Open Access

  File

  • Architectural Level 100%
  55 Downloads (Pure)
• 2007

  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 proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Internal Action 100%
  73 Citations (Scopus)

  152 Downloads (Pure)