No photo of Mariëlle I.A. Stoelinga
Contact Expert

Mariëlle I.A. Stoelinga

dr., Prof.dr.

 https://orcid.org/0000-0001-6793-8165
20042024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    Comparing Homogeneous And Inhomogeneous Time Markov Chains For Modelling Degradation In Sewer Pipe Networks

    Jimenez, L., Tinga, T., Heskes, T. & Stoelinga, M. I. A., 23 Jun 2024, European Safety and Reliability Conference (ESREL). Kołowrocki , K. & Magryta-Mut, B. (eds.). 34 ed. Cracow, Poland: Polish Safety and Reliability Association, Vol. 6. p. 86-96 10 p. 9

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

    Open Access
    File
    26 Downloads (Pure)

  • CTMCs with Imprecisely Timed Observations

    Badings, T., Volk, M., Junges, S., Stoelinga, M. & Jansen, N., 5 Apr 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. Finkbeiner, B. & Kovács, L. (eds.). Springer, p. 258-278 21 p.

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

    Open Access
    File
    34 Downloads (Pure)

  • Fault Tree Inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based Metrics

    Jimenez, L., Rusnac, N., Volk, M. & Stoelinga, M. I. A., 21 Aug 2024, Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (eds.). Milan: Springer, p. 80-96 17 p.

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

  • Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning

    Jimenez, L., Simão, T. D., Bukhsh, Z., Tinga, T., Molegraaf, H., Jansen, N. & Stoelinga, M. I. A., 27 Jun 2024, Proceedings of the 8th European Conference of the PHM Society 2024. Do, P. & Ezhilarasu, C. (eds.). 1 ed. Prague, Czech Republic, Vol. 8. p. 629-642 14 p.

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

    Open Access
    File
    9 Downloads (Pure)

  • SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

    Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M., 18 Mar 2024, RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings. IEEE, (Proceedings - Annual Reliability and Maintainability Symposium).

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

  • 2023

    ATM: A Logic for Quantitative Security Properties on Attack Trees

    Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, p. 205-225 21 p. (Lecture Notes in Computer Science; vol. 14323).

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

    Open Access
    File
    13 Downloads (Pure)

  • Attack time analysis in dynamic attack trees via integer linear programming

    Lopuhaä-Zwakenberg, M. & Stoelinga, M., 31 Oct 2023, Software Engineering and Formal Methods: 21st International conference, SEFM 2023 Eindhoven, The Netherlands, November 6-10, 2023 Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Springer, p. 165-183 (Lecture Notes in Computer Science; vol. 14323).

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

    Open Access
    File
    11 Downloads (Pure)

  • Cost-damage analysis of attack trees

    Lopuhaä-Zwakenberg, M. & Stoelinga, M., 2023, 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, p. 545-558 14 p.

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

    File
    15 Downloads (Pure)

  • From Fault Trees to Piping and Instrumentation Diagrams

    Bos, W., Volk, M., Stoelinga, M. I. A., Bouissou, M. & Krcál, P., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 1234-1235

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

    Open Access
    File
    86 Downloads (Pure)

  • Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors

    Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Cham, Switzerland: Springer Nature, p. 205-223 19 p. (Lecture notes in computer science; vol. 14290).

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

    Open Access
    File
    29 Downloads (Pure)

  • Property Specification and Models for Risk: Towards Risk Propagation Graphs

    Nicoletti, S. M., Fumagalli, M., Lopuhaä-Zwakenberg, M., Hahn, E. M., Guizzardi, G. & Stoelinga, M. I. A., 2023, SAFECOMP 2023.

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

  • SAFEST: the static and dynamic fault tree analysis tool

    Volk, M., Ibne Irshad, M., Katoen, J.-P., Sher, F., Stoelinga, M. I. A. & Zafar, A., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 193-200

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

    Open Access
    File
    127 Downloads (Pure)

  • Solving Queries for Boolean Fault Tree Logic via Quantified SAT

    Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M., 19 Oct 2023, FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding. Artho, C. & Olveczky, P. C. (eds.). ACM Press, p. 48-59 12 p.

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

    Open Access
    File
    1 Citation (Scopus)
    16 Downloads (Pure)

  • With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves

    van den Bos, P. & Stoelinga, M., 10 Jun 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Huisman, M. & Ravara, A. (eds.). Cham: Springer Nature, p. 155-172 18 p. (Lecture Notes in Computer Science; vol. 13910).

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

    Open Access
    File
    23 Downloads (Pure)
  • 2022

    BFL: a Logic to Reason about Fault Trees

    Nicoletti, S., Hahn, E. & Stoelinga, M., 25 Jul 2022, 2022 52nd Annual IEEE/IFIP International Conference On Dependable Systems And Networks (DSN 2022). Piscataway, NJ: IEEE, p. 441-452 12 p.

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

    Open Access
    File
    11 Downloads (Pure)

  • BFL: a Logic to Reason about Fault Trees

    Nicoletti, S. M., Hahn, E. M. & Stoelinga, M. I. A., 30 Jun 2022, 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, p. 441-452 12 p. 9833769

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

    Open Access
    File
    5 Citations (Scopus)
    60 Downloads (Pure)

  • Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

    Jimenez Roa, L. A., Volk, M. & Stoelinga, M. I. A., 25 Aug 2022, Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings. Trapp, M., Saglietti, F., Spisländer, M. & Bitsch, F. (eds.). Springer, p. 46-61 16 p. (Lecture notes in computer science; vol. 13414).

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

    Open Access
    File
    1 Citation (Scopus)
    105 Downloads (Pure)

  • Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands

    Jimenez-Roa, L. A., Heskes, T., Tinga, T., Molegraaf, H. J. A. & Stoelinga, M. I. A., 30 Aug 2022, Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022). p. 1299-1306 8 p.

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

    Open Access
    File
    279 Downloads (Pure)

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K. G., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature, p. 393-405 13 p. (Lecture Notes in Computer Science; vol. 13703).

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

    Open Access
    File
    6 Citations (Scopus)
    797 Downloads (Pure)

  • Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

    Badings, T. S., Abate, A., Jansen, N., Parker, D., Poonawala, H. A. & Stoelinga, M., 30 Jun 2022, 36th AAAI Conference on Artificial Intelligence. AAAI, p. 9669-9678 10 p.

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

    Open Access
    File
    11 Citations (Scopus)
    7 Downloads (Pure)
  • 2021

    Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

    Budde, C. E., Kolb, C. & Stoelinga, M., 19 Aug 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings. Abate, A. & Marin, A. (eds.). Cham: Springer, p. 457-467 11 p. (Lecture Notes in Computer Science; vol. 12846).

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

    Open Access
    File
    9 Citations (Scopus)
    401 Downloads (Pure)

  • Efficient Algorithms for Quantitative Attack Tree Analysis

    Budde, C. E. & Stoelinga, M., 10 Aug 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

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

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

  • Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison

    Jimenez-Roa, L. A., Heskes, T. & Stoelinga, M., 21 Sept 2021, Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021). Castanier, B., Cepin, M., Bigaud, D. & Bérenguer, C. (eds.). Research Publishing, p. 673-680 8 p.

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

    Open Access
    File
    548 Downloads (Pure)

  • The Marriage Between Safety and Cybersecurity: Still Practicing

    Stoelinga, M. I. A., Kolb, C., Nicoletti, S. M., Budde, C. E. & Hahn, E. M., 3 Aug 2021, Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Laarman, A. & Sokolova, A. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 12864).

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

    Open Access
    File
    7 Citations (Scopus)
    131 Downloads (Pure)
  • 2020

    Alice and Eve: a celebration of women in computer science

    van Huizen, J. C., Huisman, M., Lathouwers, S. A. M., Schaafstal, A. M. & Stoelinga, M. I. A., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H.-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, 11 p.

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

    Open Access
    File
    178 Downloads (Pure)

  • What is the point: Formal analysis and test generation for a railway standard

    Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M. & Rensink, A., Nov 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Singapore: Research Publishing Services, p. 921-928 8 p.

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

    Open Access
    File
    4 Citations (Scopus)
    123 Downloads (Pure)
  • 2019

    Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm

    Linard, A., Bucur, D. & Stoelinga, M., 18 Nov 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Guan, N., Katoen, J.-P. & Sun, J. (eds.). Cham: Springer, p. 19-37 19 p. (Lecture Notes in Computer Science; vol. 11951)(Programming and Software Engineering).

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

    Open Access
    File
    10 Citations (Scopus)
    245 Downloads (Pure)

  • 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. 878-885 8 p.

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

    Open Access
    File
    7 Citations (Scopus)
    458 Downloads (Pure)

  • From Good Intentions to Behaviour Change: Probabilistic Feature Diagrams for Behaviour Support Agents

    Kließ, M. S., Stoelinga, M. & van Riemsdijk, M. B., 21 Oct 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila-Wenkstern, R. (eds.). Cham: Springer, p. 354-369 16 p. (Lecture Notes in Computer Science; vol. 11873).

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

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

  • Induction of Fault Trees through Bayesian Networks

    Linard, A., Bueno, M. L. P., Bucur, D. & Stoelinga, M. I. A., 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (eds.). Research Publishing, p. 910-918 9 p.

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

    Open Access
    File
    6 Citations (Scopus)
    149 Downloads (Pure)

  • Parametric Analyses of Attack-Fault Trees

    André, É., Lime, D., Ramparison, M. & Stoelinga, M., Jun 2019, Proceedings - 2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019. Piscataway, NJ: IEEE, p. 33-42 10 p. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD; vol. 2019).

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

    Open Access
    File
    10 Citations (Scopus)
    118 Downloads (Pure)

  • The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

    Nakhaee, M. C., Hiemstra, D., Stoelinga, M. & Noort, M. V., 24 Apr 2019, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Collart-Dutilleul, S., Lecomte, T. & Romanovsky, A. B. (eds.). Cham: Springer, p. 91-105 15 p. (Lecture Notes in Computer Science; vol. 11495).

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

    Open Access
    File
    48 Citations (Scopus)
    863 Downloads (Pure)
  • 2018

    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, PHME 2018: Proceedings of the European Conference of the PHM Society 2018. Kulkarni, C. S. & Tinga, T. (eds.). PHM Society, 16 p. (Proceedings of the European Conference of the PHM Society; vol. 4, no. 1).

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

    Open Access
    File
    165 Downloads (Pure)

  • DFT Analysis Incorporating Spare Parts in Fault Trees

    Heijblom, R., Postma, W., Natarajan, V. & Stoelinga, M., 11 Sept 2018, 2018 Annual Reliability and Maintainability Symposium, RAMS 2018. IEEE, 8463074. (Proceedings - Annual Reliability and Maintainability Symposium; vol. 2018-January).

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

    2 Citations (Scopus)
    5 Downloads (Pure)

  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Kumar, R., Schivo, S., Ruijters, E., Yildiz, B. M., Huistra, D., Brandt, J., Rensink, A. & Stoelinga, M., 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    25 Citations (Scopus)
    422 Downloads (Pure)

  • 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, p. 306-322 (Lecture Notes in Computer Science; vol. 11024).

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

    Open Access
    File
    18 Citations (Scopus)
    74 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. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). Association for Computing Machinery, p. 1907-1915

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

    Open Access
    File
    5 Citations (Scopus)
    158 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    143 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    154 Downloads (Pure)

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

    Junges, S., Katoen, J. P., Stoelinga, M. & 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    12 Citations (Scopus)
    152 Downloads (Pure)

  • 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.). Association for Computing Machinery, 1 p.

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

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

    Bos, P. V. D. & Stoelinga, M., 7 Sept 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.). Dagstuhl, p. 118-132 15 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 277).

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

    Open Access
    File
    6 Citations (Scopus)
    79 Downloads (Pure)
  • 2017

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

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

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

    Open Access
    File
    1 Citation (Scopus)
    223 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Citations (Scopus)
    153 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    784 Downloads (Pure)

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

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

    Open Access
    File
    85 Citations (Scopus)
    1740 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    205 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Citations (Scopus)
    87 Downloads (Pure)
  • 2016

    Better railway engineering through statistical model checking

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

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

    Open Access
    File
    8 Citations (Scopus)
    83 Downloads (Pure)