Isabelle/HOL

• Caesar: A Deductive Verifier for Probabilistic Programs

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics

  2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access

  7

  citations
• Formalizing the One-Way to Hiding Theorem

  2025 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) conference-paper Computer Science Quantum Information and Cryptography Open access

  1

  citations
• Fixed Point Certificates for Reachability and Expected Rewards in MDPs

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

  6

  citations
• History-Based Reasoning About Behavioral Subtyping

  2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations
• Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications

  2024 CEAS Aeronautical Journal article Computer Science Formal Methods in Verification Open access

  14

  citations
• Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models

  2024 Lecture notes in computer science conference-paper Computer Science Model-Driven Software Engineering Techniques

  0

  citations
• A Deductive Verification Infrastructure for Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  22

  citations
• On the applicability of hybrid systems safety verification tools from the automotive perspective

  2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access

  3

  citations
• Integrating ADTs in KeY and their application to history-based reasoning about collection

  2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  1

  citations
• From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata

  2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

  0

  citations
• MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety

  2020 AIAA SciTech Forum conference-paper Computer Science Formal Methods in Verification

  5

  citations

12 results