No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2018

Filter
Conference contribution
2018

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A. Apr 2018 Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802)

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

Open Access
File
Interoperability

Model-Based Testing for General Stochastic Time

Gerhold, M., Hartmanns, A. & Stoelinga, M. 11 Mar 2018 NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). p. 203-219 (Lecture notes in computer science; vol. 10811)

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

Testing
Bluetooth
Real time systems
Probability distributions
Specifications
2017
1 Citations

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A. 13 Jan 2017 Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer Verlag, Vol. 10107, p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107)

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

Open Access
File

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees

Cauchi, N., Hoque, K. A., Abate, A. & Stoelinga, M. 2017 BuildSys'17: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. ACM/Sheridan, 24

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

Open Access
File
Intelligent buildings
Model checking
Statistical Models
Air conditioning
Markov processes
3 Citations

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A. Oct 2017 Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)(Lecture Notes in Programming and Software Engineering)

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

Open Access
File
Query languages
Computer hardware
Cyber Physical System
1 Citations

Model-Based Testing of Probabilistic Systems with Stochastic Time

Gerhold, M. & Stoelinga, M. 18 Jun 2017 Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings. Broch Johnsen, E. (ed.). p. 77-97 (Lecture notes in computer science; vol. 10375)

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

Testing
Bluetooth
Network protocols
7 Citations

Quantitative security and safety analysis with attack-fault trees

Kumar, R. & Stoelinga, M. I. A. 12 Jan 2017 Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017). IEEE, p. 25-32 8 p. (HASE)

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

Open Access
File

Rare Event Simulation for Dynamic Fault Trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A. 17 Aug 2017 Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Tonetta, S., Schoitsch, E. & Bitsch, F. (eds.). Springer International, p. 20-35 15 p. (Lecture Notes in Computer Science; vol. 10488)

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

Open Access
File
Importance sampling
Repair
Availability
Monte Carlo simulation
1 Citations

Uniform analysis of fault trees through model transformations

Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A. 23 Jan 2017 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

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

Open Access
File
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2016
4 Citations

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 Verlag, p. 151-165 15 p. (Lecture Notes in Computer Science; vol. 9952)

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

Open Access
File
Model checking
Metric system
Costs
Statistical Models
Pneumatics

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 Sep 2016 SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

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

10 Citations

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. USA: IEEE, 6 p.

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

File
Model checking
Costs
Fault tree analysis
Asset management
Compressors
4 Citations

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 Verlag, p. 331-347 16 p. (Lecture Notes in Computer Science; vol. 9826)

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

File
7 Citations

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 Verlag, p. 251-268 18 p. (Lecture Notes in Computer Science; vol. 9633)

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

File
Testing
Statistical methods
Specifications
1 Citations

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 proceedingConference contribution

File
2 Citations

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 Computer Society, p. 114-123 10 p.

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

File
3 Citations

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 Computer Society, p. 662-669 8 p.

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

File
10 Citations

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 Verlag, p. 163-185 23 p. (Lecture Notes in Computer Science; vol. 9635)

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

7 Citations

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 proceedingConference contribution

2015
3 Citations

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. I. A., Turrini, A. & Zhang, L. 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. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409)

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

Open Access
File
Binary decision diagrams
Model checking
Data structures
Experiments
4 Citations

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 Verlag, p. 304-311 8 p. (Lecture Notes in Computer Science; vol. 9407)

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

File
5 Citations

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 proceedingConference contribution

Nutrition
Directed graphs
Scalability
Experiments
6 Citations

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 Computer Society, p. 271-275 5 p.

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

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 proceedingConference contribution

File
2 Citations

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 proceedingConference contribution

File
Network protocols
Electronic money
13 Citations

Quantitative Attack Tree Analysis via Priced Timed Automata

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

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

8 Citations

Sequential and Parallel Attack Tree Modelling

Arnold, F., Guck, D., Kumar, R. & Stoelinga, M. I. A. Sep 2015 Computer Safety, Reliability, and Security - Proceedings of the SAFECOM 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR. Koornneef, F. & van Gulijk, C. (eds.). Zurich: Springer Verlag, p. 291-299 9 p. (Lecture Notes in Computer Science; vol. 9338)

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

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 proceedingConference contribution

File
2014
16 Citations

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. Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837)

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

File

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 Computer Society, p. 72-81 8 p.

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

File
6 Citations

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 proceedingConference contribution

File
24 Citations

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 Verlag, p. 285-305 21 p. (Lecture Notes in Computer Science; vol. 8414)

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

Probability distributions
2013
6 Citations

Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

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

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

Confluence reduction for Markov automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. 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 proceedingConference contribution

File
20 Citations

Confluence Reduction for Markov Automata

Timmer, M., van de Pol, J. C. & 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 Verlag, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053)

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

File
23 Citations

DFTCalc: a tool for efficient fault tree analysis

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A. Sep 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 proceedingConference contribution

File
3 Citations

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 Verlag, p. 214-231 18 p. (Lecture Notes in Computer Science; vol. 7942)

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

File
4 Citations

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 proceedingConference contribution

Testing
Cost effectiveness
Risk management
2012
22 Citations

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 contribution

File
6 Citations

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 proceedingConference contribution

File
Testing
Chemical analysis
2011
13 Citations

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 Verlag, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605)

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

File
Algebra
Specifications
3 Citations

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 Verlag, p. 117-133 17 p. (Lecture Notes in Computer Science; vol. 6959)

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

Open Access
File
Formal methods
Specifications
Testing
Algebra
Servers
2010
5 Citations

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 contribution

File

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 contribution

File
12 Citations

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 contribution

File
2009
7 Citations

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 contribution

File
30 Citations

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 Verlag, 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 contribution

5 Citations

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 proceedingConference contribution

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 contribution

Testing
2008
8 Citations

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 contribution

File