An axiomatic basis for computer programming

• Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control

  2026 ACM Transactions on Computational Logic article Computer Science Quantum Computing Algorithms and Architecture Open access

  0

  citations
• Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes

  2025 Lecture notes in computer science conference-paper Computer Science Advanced Authentication Protocols Security

  0

  citations
• IC3 for Loop Invariant Generation in Deductive Analysis

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

  0

  citations
• A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

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

  3

  citations
• J-P: MDP. FP. PP

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

  2

  citations
• Towards a Test Framework for Reactive (Type 2) Asset Administration Shell Implementations

  2024 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  7

  citations
• A Deductive Verification Infrastructure for Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

  22

  citations
• Development Use Cases for Semantics-Driven Modeling Languages

  2023 Communications of the ACM article Computer Science Model-Driven Software Engineering Techniques Open access

  10

  citations
• Separation logic and logics with team semantics

  2021 Annals of Pure and Applied Logic article Computer Science Logic, programming, and type systems

  3

  citations
• Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

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

  33

  citations
• Automated Termination Analysis of Polynomial Probabilistic Programs

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

  31

  citations
• Foundations

  2021 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques

  1

  citations

12 results