One Net Fits All

• Learning Generalized Stochastic Petri Nets From Event Data

  2024 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

  4

  citations
• SAFEST: Fault Tree Analysis Via Probabilistic Model Checking

  2024 conference-paper Computer Science Software Reliability and Analysis Research Open access

  13

  citations
• A Compositional Semantics of Boolean-Logic Driven Markov Processes

  2023 IEEE Transactions on Dependable and Secure Computing article Engineering Safety Systems Engineering in Autonomy

  3

  citations
• SAFEST: The Static and Dynamic Fault Tree Analysis Tool

  2023 European Safety and Reliability Conference (ESREL) conference-paper Decision Sciences Risk and Safety Analysis Open access

  0

  citations
• DFT modeling approach for operational risk assessment of railway infrastructure

  2022 International Journal on Software Tools for Technology Transfer article Computer Science Software Reliability and Analysis Research Open access

  20

  citations
• BDDs Strike Back

  2022 Lecture notes in computer science conference-paper Medicine Pharmaceutical studies and practices Open access

  20

  citations
• A Compositional Semantics for Repairable BDMPs

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  5

  citations

7 results