• Research interests

    • Dependability evaluation for critical infrastructures
    • Hybrid Petri nets (with general transitions) and their extensions
    • Coherence between Hybrid Petri nets and Hybrid Automata
    • Development of tools for the analysis of Hybrid Petri nets

    hpnmg (C++)

  • Publications

    • Abate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo. . ‘ARCH-COMP21 Category Report: Stochastic Models.’ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55-89. doi: 10.29007/dprv.
    • Hüls Jannik, Pilch Carina, Schinke Patricia, Niehaus Henner, Delicaris Joanna, Remke Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, No. 3: 1-37. doi: 10.1145/3449353.

    • Abate Alessandro, Blom Henk, Cauchi Nathalie, Delicaris Joanna, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Pilch Carina, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Vinod Abraham, Wooding Ben, Zamani Majid, Zuliani Paolo. . ‘ARCH-COMP20 Category Report: Stochastic Models.’ Contributed to the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, -. doi: 10.29007/mqzc.

    • Hüls Jannik, Pilch Carina, Schinke Patricia, Delicaris Joanna, Remke Anne. . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ Contributed to the 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, Glasgow, UK, September 10-12, 2019, Glasgow. doi: 10.1007/978-3-030-30281-8_11.

  • Teaching