Software Modeling and Verification ▲ Sign in to save

• ▲ Joost-Pieter Katoen

  Cornell University · RWTH Aachen University Computer Science
  20.3k

  citations

  62

  h-index

  193

  Aachen papers
• ▲ Thomas Noll

  Escola Superior de Música de Catalunya · RWTH Aachen University Computer Science
  2.43k

  citations

  25

  h-index

  14

  Aachen papers
• ▲ Matthias Volk

  Eindhoven University of Technology Computer Science
  1.26k

  citations

  13

  h-index

  8

  Aachen papers
• ▲ Shahid Ali Khan

  National University of Sciences and Technology Computer Science
  85

  citations

  5

  h-index

  16

  Aachen papers
• ▲ Daniel Basgöze

  RWTH Aachen University Computer Science
  25

  citations

  2

  h-index

  7

  Aachen papers
• ▲ Emma Ahrens

  RWTH Aachen University Computer Science
  9

  citations

  2

  h-index

  8

  Aachen papers

6 results

• BDDs Strike Back

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

  20

  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
• 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
• 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 Compositional Semantics for Repairable BDMPs

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

  5

  citations
• Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

  2021 Latin-American Symposium on Dependable Computing conference-paper Decision Sciences Risk and Safety Analysis Open access

  3

  citations
• BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

  2022 arXiv (Cornell University) preprint Decision Sciences Risk and Safety Analysis Open access

  2

  citations
• Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs

  2021 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) conference-paper Engineering Reliability and Maintenance Optimization

  1

  citations
• Identification of Bottlenecks in Rail Infrastructure

  2023 Civil-comp conferences conference-paper Engineering Railway Systems and Energy Efficiency Open access

  1

  citations
• A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis

  2022 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design conference-paper Engineering Safety Systems Engineering in Autonomy

  0

  citations
• Minimum‐Peak‐Cost Flows Over Time

  2025 Networks article Computer Science Complexity and Algorithms in Graphs Open access

  0

  citations

11 results