Mariëlle Ida Antoinette Stoelinga

dr., Prof.dr.

20042020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 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 Singapore, p. 259-277 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12040 LNCS).

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

    1 Citation (Scopus)
  • 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, Proceedings. Lin, SW., Hou, Z. & Mahoney, B. (eds.). Springer, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12531 LNCS).

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

  • 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 Singapore, Vol. I. p. 463-482 20 p. (Lecture Notes in Computer Science; vol. 12078).

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

    Open Access
    File
    2 Citations (Scopus)
    15 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 proceedingChapterAcademicpeer-review

  • 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 proceedingChapterAcademicpeer-review

    2 Citations (Scopus)
    2 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
    72 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 Press, 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 proceedingChapterAcademic

    File
    107 Downloads (Pure)