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
Chapter

Search results

  • 2023

    Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

    Wal, D. V. D., Gerhold, 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.). p. 242-258 17 p. (Lecture Notes in Computer Science book series; vol. 14290).

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

    Open Access
    File
    32 Downloads (Pure)

  • PFL: A Probabilistic Logic for Fault Trees

    Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M., 3 Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Cham: Springer Nature, p. 199–221 23 p. (Lecture Notes in Computer Science; vol. 14000).

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

    Open Access
    File
    2 Citations (Scopus)
    53 Downloads (Pure)
  • 2022

    BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

    Basgöze, D., Volk, M., Katoen, J.-P., Khan, S. & Stoelinga, M., 20 May 2022, NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 713-732 20 p. Chapter 38. (Lecture notes in computer science; vol. 13260).

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

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

  • Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth

    Budde, C. E., Jansen, D., Locht, I. & Stoelinga, M., 20 May 2022, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, p. 95-111 17 p. (Lecture notes in computer science; vol. 13294).

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

  • Sampling-Based Verification of CTMCs with Uncertain Rates

    Badings, T. S., Jansen, N., Junges, S., Stoelinga, M. & Volk, M., 6 Aug 2022, Computer Aided Verification (CAV 2022): 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. Shoham, S. & Vizel, Y. (eds.). Vol. 13372. p. 26-47 22 p. (Lecture notes in computer science; vol. 13372).

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

    Open Access
    File
    4 Citations (Scopus)
    58 Downloads (Pure)
  • 2020

    Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets

    Budde, C. E. & Stoelinga, M., 9 Mar 2020, Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings. Hermanns, H. (ed.). Springer, p. 259-277 19 p. (Lecture Notes in Computer Science; vol. 12040).

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

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

  • Correction to: The Dynamic Fault Tree Rare Event Simulator

    Budde, C. E., Ruijters, E. & Stoelinga, M., 2020, Correction to: The Dynamic Fault Tree Rare Event Simulator.

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

    Open Access
    File
    29 Downloads (Pure)

  • Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems

    Arias, J., Budde, C. E., Penczek, W., Petrucci, L., Sidoruk, T. & Stoelinga, M., 19 Dec 2020, Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings. Lin, S.-W., Hou, Z. & Mahoney, B. (eds.). Cham: Springer, p. 3-19 17 p. (Lecture Notes in Computer Science; vol. 12531).

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

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

  • Rare Event Simulation for Non-Markovian Repairable Fault Trees

    Budde, C. E., Biagi, M., Monti, R. E., D’Argenio, P. R. & Stoelinga, M., 17 Apr 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Biere, A. & Parker, D. (eds.). Cham: Springer, Vol. I. p. 463-482 20 p. (Lecture Notes in Computer Science; vol. 12078).

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

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

  • The Dynamic Fault Tree Rare Event Simulator

    Budde, C. E., Ruijters, E. & Stoelinga, M., 2020, Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings. Gribaudo, M., Jansen, D. N. & Remke, A. (eds.). Cham: Springer, p. 233-238 6 p. (Lecture Notes in Computer Science; vol. 12289)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    3 Citations (Scopus)
    69 Downloads (Pure)
  • 2017

    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 proceeding › Chapter › Academic › peer-review

    5 Citations (Scopus)
    18 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    233 Downloads (Pure)
  • 2011

    Model-Based Testing

    Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

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

    File
    547 Downloads (Pure)