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

2019
95 Downloads (Pure)

Efficient learning and analysis of system behavior

Meijer, J., 20 Sep 2019, Enschede: University of Twente. 201 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Specifications
Temporal logic
Testing
Learning algorithms

FFORT: A benchmark suite for fault tree analysis

Ruijters, E. J. J., Budde, C. E., Chenariyan Nakhaee, M., Stoelinga, M. I. A., Bucur, D., Hiemstra, D. & Schivo, S., 2019, ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. Beer, M. & Zio, E. (eds.). Research Publishing, p. 22-26

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

Open Access
File
analysis
metadata
engineering
modeling
method
6 Downloads (Pure)

Model-based testing of stochastically timed systems

Gerhold, M., Hartmanns, A. & Stoelinga, M., Sep 2019, In : Innovations in systems and software engineering. 15, 3-4, p. 207-233 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Testing
Bluetooth
Real time systems
Probability distributions
Specifications
12 Downloads (Pure)

Parametric analyses of attack-fault trees

André, É., Lime, D., Ramparison, M. & Stoelinga, M., 12 Feb 2019.

Research output: Working paperProfessional

File
2 Citations (Scopus)
29 Downloads (Pure)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 1 Jun 2019, In : Reliability engineering & system safety. 186, p. 220-231 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Importance sampling
Model checking
Stochastic models
Repair
Availability
2018
27 Downloads (Pure)

A certain risk: Quantitative risk management for high-tech systems

Stoelinga, M., 23 Nov 2018, Enschede: University of Twente. 52 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
23 Downloads (Pure)

Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

Abate, A., Budde, C. E., Cauchi, N., Hoque, K. A. & Stoelinga, M. I. A., 2 Jul 2018, Proceedings of the European Conference of the PHM Society. 1 ed. PHM society, Vol. 4. 16 p. (Proceedings of the European Conference of the PHM Society).

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

Open Access
File
Intelligent buildings
Formal methods
Availability
Costs
Fault tree analysis
59 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems
4 Citations (Scopus)
112 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Interoperability

LIFT: Learning Fault Trees from Observational Data

Nauta, M., Bucur, D. & Stoelinga, M., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 11024).

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

Open Access
Statistical tests
Failure modes
Learning systems
Availability
Industry
1 Citation (Scopus)
10 Downloads (Pure)

LOCKS: a property specification language for security goals

Kumar, R., Rensink, A. & Stoelinga, M. I. A., 9 Apr 2018, SAC'18. Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC). Association for Computing Machinery (ACM), p. 1907-1915

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

Open Access
File
Specification languages
Arches
Semantics
Specifications
11 Downloads (Pure)

Maintenance of Smart Buildings using Fault Trees

Cauchi, N., Hoque, K. A., Stoelinga, M. & Abate, A., 2018, p. 28:1-28:25.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Intelligent buildings
Metric system
Air conditioning
Markov processes
Ventilation
1 Citation (Scopus)
11 Downloads (Pure)

Model-Based Testing for General Stochastic Time

Gerhold, M., Hartmanns, A. & Stoelinga, M., 11 Mar 2018, Proceedings of the 10th International NASA Formal Methods Symposium (NFM 2018). Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 203-219 (Lecture Notes in Computer Science; vol. 10811).

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

Open Access
File
Testing
Bluetooth
Real time systems
Probability distributions
Specifications
3 Citations (Scopus)
41 Downloads (Pure)

Model-based testing of probabilistic systems

Gerhold, M. & Stoelinga, M., 1 Jan 2018, In : Formal aspects of computing. 30, 1, p. 77-106 30 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model-based Testing
Testing
Specifications
Soundness
Output
14 Downloads (Pure)

Modelling Smart Buildings Using Fault Maintenance Trees

Abate, A., Budde, C. E., Cauchi, N., van Harmelen, A., Hoque, K. A. & Stoelinga, M. I. A., 3 Oct 2018, Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (eds.). Cham: Springer, p. 110-125 16 p. (Lecture Notes in Computer Science; vol. 11178).

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

Open Access
File
Intelligent buildings
Air conditioning
Ventilation
Availability
Heating
2 Citations (Scopus)
9 Downloads (Pure)

One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).

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

Open Access
File
Semantics

Risk management for high tech systems

Stoelinga, M., Jun 2018, FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. Gnesi, S., Plat, N., Spoletini, P. & Pelliccione, P. (eds.). ACM Inc., 1 p.

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

7 Downloads (Pure)

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

Bos, P. V. D. & Stoelinga, M., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.. Orlandini, A. & Zimmermann, M. (eds.). p. 118-132 15 p.

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

Open Access
File
Testing
159 Downloads (Pure)

Truth or dare: quantitative security risk analysis via attack trees

Kumar, R., 17 Oct 2018, Enschede: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Risk analysis
Taxonomies
Model checking
Security of data
Computer viruses
124 Downloads (Pure)

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking

Ruijters, E. J. J., May 2018, Enschede: University of Twente. 272 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Statistical Models
Costs
Inspection
Repair
2017
1 Citation (Scopus)
61 Downloads (Pure)

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, Vol. 10107. p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107).

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

Open Access
File
3 Citations (Scopus)

Availability analysis of software architecture decomposition alternatives for local recovery

Sözer, H., Stoelinga, M., Boudali, H. & Aksit, M., 2017, In : Software quality journal. 25, 2, p. 553-579 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Software architecture
Availability
Decomposition
Recovery
Markov processes
1 Citation (Scopus)
2 Downloads (Pure)

Boosting Fault Tree Analysis by Formal Methods

Katoen, J. P. & Stoelinga, M. I. A., 15 Oct 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
3 Citations (Scopus)
37 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Intelligent buildings
Model checking
Statistical Models
Air conditioning
Markov processes
8 Citations (Scopus)

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

Graph Rewriting
Fault Tree
Nutrition
Directed graphs
Reliability Modeling
161 Downloads (Pure)

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W., 13 Apr 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Energy management
Model checking
Scheduling
Video conferencing
Mobile computing
6 Citations (Scopus)
110 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Query languages
Computer hardware
Cyber Physical System
2 Citations (Scopus)

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 contributionAcademicpeer-review

Testing
Bluetooth
Network protocols
16 Citations (Scopus)
494 Downloads (Pure)

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 contributionAcademicpeer-review

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

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 10 Mar 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-17-02)

Research output: Book/ReportReportOther research output

File
80 Downloads (Pure)

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, p. 20-35 15 p. (Lecture Notes in Computer Science; vol. 10488).

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

Open Access
File
Importance sampling
Repair
Availability
Monte Carlo simulation
121 Downloads (Pure)

Reliable systems: fault tree analysis via Markov reward automata

Guck, D., 23 Mar 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Fault tree analysis
Model checking
Preventive maintenance
Maintainability
Hardware
46 Downloads (Pure)

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Testing
Automata theory
Specifications
3 Citations (Scopus)
27 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2016
51 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File
4 Citations (Scopus)
25 Downloads (Pure)

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 proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
Metric system
Costs
Statistical Models
Pneumatics
3 Citations (Scopus)
84 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation

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 contributionAcademic

13 Citations (Scopus)
274 Downloads (Pure)

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 contributionAcademicpeer-review

File
Model checking
Costs
Fault tree analysis
Asset management
Compressors
9 Citations (Scopus)
38 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 proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
72 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 proceedingConference contributionAcademicpeer-review

File
Testing
Statistical methods
Specifications
1 Citation (Scopus)
57 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 (ACM), p. 45-51 7 p.

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

File
5 Citations (Scopus)
53 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 Computer Society, p. 114-123 10 p.

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

File
51 Downloads (Pure)

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 15 Apr 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-16-03)

Research output: Book/ReportReportProfessional

File
6 Citations (Scopus)
166 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 Computer Society, p. 662-669 8 p.

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

File
16 Citations (Scopus)
3 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 proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)
59 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 proceedingConference contributionAcademicpeer-review

Open Access
File
Fault tree analysis
Industry
14 Citations (Scopus)
1 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 proceedingConference contributionAcademicpeer-review

2015
7 Citations (Scopus)
124 Downloads (Pure)

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 contributionAcademicpeer-review

Open Access
File
Binary decision diagrams
Model checking
Data structures
Experiments
6 Citations (Scopus)
281 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 proceedingConference contributionAcademicpeer-review

File