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
2018
7 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
71 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

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
1 Citation (Scopus)
1 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
1 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
1 Citation (Scopus)
2 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

1 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
2017
1 Citation (Scopus)
50 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)
29 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
5 Citations (Scopus)
65 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
11 Citations (Scopus)
312 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
61 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
1 Citation (Scopus)
25 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
4 Citations (Scopus)
21 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

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)
206 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)
28 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)
55 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)
51 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
3 Citations (Scopus)
41 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
5 Citations (Scopus)
150 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
11 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

13 Citations (Scopus)
48 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
10 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)
107 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)
259 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
5 Citations (Scopus)
4 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 proceedingConference contributionAcademicpeer-review

Nutrition
Directed graphs
Scalability
Experiments
8 Citations (Scopus)

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

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

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

File
Network protocols
Electronic money
18 Citations (Scopus)

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, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 9268).

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

9 Citations (Scopus)

Sequential and Parallel Attack Tree Modelling

Arnold, F., Guck, D., Kumar, R. & Stoelinga, M., Sep 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 proceedingConference contributionAcademicpeer-review

Engineers
Planning
22 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 proceedingConference contributionAcademic

File
2014
18 Citations (Scopus)
56 Downloads (Pure)

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

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

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

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

Open Access
File
26 Citations (Scopus)

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

Probability distributions
2013
6 Citations (Scopus)

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, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781).

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

29 Downloads (Pure)

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 contributionAcademic

File
21 Citations (Scopus)
29 Downloads (Pure)

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, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

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

File
29 Citations (Scopus)
77 Downloads (Pure)

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

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

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

Testing
Cost effectiveness
Risk management
2012
25 Citations (Scopus)
26 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
25 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
Specifications
Syntactics
Linearization
Chemical analysis
5 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
Testing
Innovation
7 Citations (Scopus)
22 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 proceedingConference contributionAcademicpeer-review

File
Testing
Chemical analysis