Dafny: An Automatic Program Verifier for Functional Correctness

• Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing

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

  1

  citations
• 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
• Methodical and Formally Verified Model-Driven Architecture Refactoring.

  2025 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

  1

  citations
• Automated Reasoning in Quantum Circuit Compilation

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  4

  citations
• Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

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

  11

  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
• 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
• A First-Order Logic with Frames

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

  6

  citations

8 results