A Semantics for Every GSPN

• 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
• A Compositional Semantics of Boolean-Logic Driven Markov Processes

  2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

  3

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  246

  citations
• Markov automata with multiple objectives

  2021 Formal Methods in System Design article Computer Science Formal Methods in Verification

  5

  citations
• Multi-objective Optimization of Long-run Average and Total Rewards

  2021 other Computer Science Formal Methods in Verification Open access

  1

  citations
• Multi-objective Optimization of Long-run Average and Total Rewards

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  13

  citations
• Explaining Boolean-Logic Driven Markov Processes using GSPNs

  2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

  5

  citations
• A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

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

  6

  citations

8 results