• Doctorate

    Doctorate: 7th October 2021
    PhD thesis title: Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables


  • Research interests

    • Dependability evaluation for safety-critical systems
    • Development of tools for the analysis and simulation of hybrid Petri nets with random variables
      • Analyse: HPnmG (C++)
      • Simulation: HYPEG (Java library)
    • Discrete-event simulation
    • Statistical model checking
    • Non-linear continuous behavior
    • Non-deterministic systems, Finding optimal schedulers
    • Transformation of hybrid Petri nets to hybrid automata
    • Time-bounded reachability analysis