From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “program verification” 169

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Grani A. Hanasusanto, Huan Zhang

3

citations
Preparation and verification of tensor network states
2022 Physical Review Research article Physics and Astronomy Quantum many-body systems Open access

Esther Cruz, F. Baccari, Jordi Tura, Norbert Schuch, J. I. Cirac

12

citations
Does a Program Yield the Right Distribution?
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

14

citations
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg

1

citations
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

7

citations
Sound and complete proof rules for almost-sure termination: from probabilistic control-flow graphs to program-level reasoning
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Jonas Seidel

0

citations
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
2023 IFIP/IEEE International Conference on Very Large Scale Integration conference-paper Computer Science Security and Verification in Computing

Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers

1

citations
Toward an Operational Anthropogenic CO2 Emissions Monitoring and Verification Support Capacity
2020 Bulletin of the American Meteorological Society article Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Greet Janssens‐Maenhout, B. Pinty, Mark D. Dowell, H. Zunker, Erik Andersson, Gianpaolo Balsamo, +34 more

205

citations
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access

Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers

0

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

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Incremental Property Directed Reachability
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Max Blankestijn, Alfons Laarman

0

citations
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Towards representing OpenMP in SPMD IR: Concepts and realization in MLIR
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

Frederic J. Malmendier

0

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Foundations for Entailment Checking in Quantitative Separation Logic
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more

4

citations
Satisfiability Modulo Exponential Integer Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

4

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs (CAV26 Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer

1

citations
Verifying Sampling Algorithms via Distributional Invariants
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler

1

citations
Accelerated bounded model checking with LoAT
2026 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations