The state explosion problem

• Complexity of Alignments on Sound Free-Choice Workflow Nets

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

  6

  citations
• Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings

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

  1

  citations
• A Novel Approach for Attack Tree to Attack Graph Transformation

  2022 Lecture notes in computer science conference-paper Computer Science Information and Cyber Security

  6

  citations
• Model Checking the Multi-Formalism Language FIGARO

  2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

  7

  citations
• Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs

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

  8

  citations
• Evolving Instinctive Behaviour in Resource-Constrained Autonomous Agents Using Grammatical Evolution

  2020 Lecture notes in computer science conference-paper Computer Science Evolutionary Algorithms and Applications Open access

  6

  citations

6 results