Research Output 2004 2017

Filter
Conference contribution
2017

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)

Research output: Scientific - peer-reviewConference contribution

Query languages
Hardware
4 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: Scientific - peer-reviewConference contribution

Side channel attack
Model checking
Stochastic models
Sensitivity analysis
Power plants

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: Scientific - peer-reviewConference contribution

Importance sampling
Repair
Availability
2016
2 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: Scientific - peer-reviewConference contribution

Costs
Model checking
Industry
Metric system
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: ScientificConference contribution

offender-victim mediation
communication system
implementation
9 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: Scientific - peer-reviewConference contribution

Costs
Model checking
Fault tree analysis
Asset management
Compressors
3 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: Scientific - peer-reviewConference contribution

Compressors
Inspection
Costs
Industry
Model checking
6 Citations

Model-Based Testing of Probabilistic Systems

Gerhold, M. & Stoelinga, M. I. A. Apr 2016 Proceedings of the 19th International Conference, Fundamental Approaches to Software Engineering, FASE 2016. Stevens, P. & Wasowski, A. (eds.). Heidelberg-Berlin: Springer Verlag, p. 251-268 18 p. (Lecture Notes in Computer Science; vol. 9633)

Research output: Scientific - peer-reviewConference contribution

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: ACM, p. 45-51 7 p.

Research output: Scientific - peer-reviewConference contribution

Testing
Time delay
1 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: Scientific - peer-reviewConference contribution

Embedded systems
Quality of service
Mobile devices
Scalability
Durability
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: Scientific - peer-reviewConference contribution

Costs
Inspection
Railroad tracks
Repair
Availability
5 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: Scientific - peer-reviewConference contribution

Semantics
Costs
Security systems
Mathematical models
3 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: Scientific - peer-reviewConference 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 Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015). Switzerland: Springer International Publishing, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409)

Research output: Scientific - peer-reviewConference contribution

Binary decision diagrams
Data structures
Experiments
3 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: Scientific - peer-reviewConference contribution

Availability
Fault tree analysis
Nuclear power plants
Chemical analysis
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 Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015). Li, X., Liu, Z. & Yi, W. (eds.). Berlin: Springer Verlag, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)

Research output: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

Power management
Model checking
Energy conservation
Computer systems
Electric power utilization

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: Scientific - peer-reviewConference contribution

Testing
1 Citations

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., Fehnker, A., 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: Scientific - peer-reviewConference contribution

Electronic money
10 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: Scientific - peer-reviewConference contribution

Costs
5 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: Scientific - peer-reviewConference contribution

Engineers
Planning

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: ScientificConference contribution

Costs
2014
13 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: Scientific - peer-reviewConference contribution

Costs
Flavors
Repair
Energy utilization

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: Scientific - peer-reviewConference contribution

Throughput
Model checking
Energy utilization
Costs
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: Scientific - peer-reviewConference contribution

Availability
Fault tree analysis
Costs
Railroads
Railroad engineering
23 Citations

Time-dependent analysis of attacks

Arnold, F., Hermanns, H., Pulungan, R. & Stoelinga, M. I. A. 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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference contribution

Data privacy

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: ScientificConference contribution

Automata
Confluence
Model
Specification
Process algebra
18 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: Scientific - peer-reviewConference contribution

Automata
Confluence
Model
Specification
Process algebra
19 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: Scientific - peer-reviewConference contribution

Fault tree analysis
Biomedical equipment
Model checking
Stochastic models
Risk management
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: Scientific - peer-reviewConference contribution

Transition systems
Automata
Model-based testing
Output
Model
4 Citations

Quantitative penetration testing with item response theory

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

Research output: Scientific - peer-reviewConference contribution

Testing
Cost effectiveness
Risk management
2012
21 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: ScientificConference contribution

State space
Probabilistic automata
Linearization
Automata
Transform
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: Scientific - peer-reviewConference contribution

system
input
theory
action
citizen
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: Scientific - peer-reviewConference contribution

Confluence
Probabilistic automata
Process algebra
Bisimulation
Branching
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: Scientific - peer-reviewConference contribution

Testing
Formal methods
Algebra
Servers
Simulators
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: Scientific - peer-reviewConference contribution

Process algebra
Symbolic analysis
Probabilistic automata
Linear process
Bisimulation

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: Scientific - peer-reviewConference contribution

Probabilistic automata
Confluence
Process algebra
Bisimulation
Branching
11 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: Scientific - peer-reviewConference contribution

Water treatment
Repair
Costs
Critical infrastructures
Model checking
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: Scientific - peer-reviewConference contribution

Decomposition
Markov processes
Availability
Analytical models
Repair
29 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: Scientific - peer-reviewConference contribution

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Roolvink, S., Remke, A. K. I. & Stoelinga, M. I. A. 17 Sep 2009 9th International Workshop on Performability of Computer and Communication Systems. Budapest: Budapest University of Technology and Economics, p. 4-7 4 p. (PMCCS 2009)

Research output: Scientific - peer-reviewConference contribution

Water
Critical infrastructures
Water treatment
Potable water
Disasters
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: ACM, p. 31 8 p.

Research output: Scientific - peer-reviewConference contribution

Sampling
Discrete Fourier transforms

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: Scientific - peer-reviewConference 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: Scientific - peer-reviewConference contribution

27 Citations

Architectural dependability evaluation with Arcade

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A. 2008 Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Los Alamitos: IEEE Computer Society Press, p. 512-521 10 p.

Research output: Scientific - peer-reviewConference contribution

Semantics
Markov processes
37 Citations

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 Verlag, 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: Scientific - peer-reviewConference contribution

experiment
17 Citations

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: Scientific - peer-reviewConference contribution

Model checking
Markov processes

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

Research output: Scientific - peer-reviewConference contribution

Specifications

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

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A. Apr 2008 Proceedings of the second workshop on foundations of interface theories (FIT). Aalborg, Denmark: University of Aalborg, p. 5-10 6 p.

Research output: ScientificConference contribution

Reliability analysis
Discrete Fourier transforms
Markov processes
Agglomeration