Sylvan: multi-core framework for decision diagrams

• Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing

  2025 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture

  2

  citations
• Numerical Errors in Quantitative System Analysis With Decision Diagrams

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

  2

  citations
• Tools at the Frontiers of Quantitative Verification

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

  9

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• A Decision Diagram Operation for Reachability

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

  2

  citations
• ParaGnosis: A Tool for Parallel Knowledge Compilation

  2023 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

  1

  citations
• BDDs Strike Back

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

  20

  citations
• Synthesizing optimal bias in randomized self-stabilization

  2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

  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
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations

10 results