Activities

Grants

  • 2022
    TreeFruits
    • NWO Take-off phase 1 grant (No. 19613)
    • co-authored with Joost-Pieter Katoen and Mariëlle Stoelinga
    • resulted in the SAFEST tool

Event Organization

Program Committees

  • 2024
    MARS (co-chair), AAMAS
  • 2023
    AAAI (Special Track on Safe and Robust AI), FM, QEST

Artifact Evaluation Committees

  • 2024
    SPIN (co-chair)
  • 2023
    FM (chair)
  • 2022
    FASE
  • 2020
    TACAS

External Reviewer

  • Conferences
    • CAV (2016)
    • FASE (2021)
    • FM (2016, 2019)
    • ICCL (2021)
    • iFM (2019)
    • LATA (2017)
    • LPAR (2018, 2020)
    • NFM (2021)
    • QEST (2018, 2022)
    • SAFECOMP (2017, 2020)
    • SRDS (2020)
    • WADT (2023)
  • Journals
    • Theoretical Computer Science
    • Transactions on Reliability
    • Journal on Software Tools for Technology Transfer
    • Journal of Systems and Software

Talks

  • (conference talks presenting a paper are omitted)
  • 2024
    Verification of Parametric Markov Chains
    Invited Talk at SynCoP 2024, Luxembourg City, Luxembourg
  • 2022
    Dynamic Fault Trees: Analysis and Applications
    Talk at RWS Research Event, Rijkswaterstaat, Capelle aan den IJssel, The Netherlands
  • 2022
    Verification of CTMCs with Uncertain Rates by Scenario Optimization
    Talk at Kick-off meeting of MISSION project, INVAP, Bariloche, Argentina
  • 2020
    The Probabilistic Model Checker Storm
    Invited Tutorial at DisCoTec, virtual
    together with Joost-Pieter Katoen
  • 2018
    Partial State Space Generation for Fault Tree Analysis
    Talk at Lorentz Workshop “Safety of Future Systems”, Leiden, The Netherlands
  • 2018
    A Modern Perspective on Fault Tree Analysis
    Tutorial at MMB, Erlangen, Germany
    together with Joost-Pieter Katoen
  • 2016
    Analysis of Parametric Markov Chains
    Invited talk at PUMA seminar, TU München, Germany