From

Institution

Field

Type

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

Reset

Papers matching “formal verification” 77

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Exploring Solver-Level Warmstarting for Neural Network Verification
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Annelot W. Bosman, Minghao Liu, Marta Kwiatkowska, Holger H. Hoos, Jan van Rijn

0

citations
New Opportunities for the Formal Proof of Computational Real Geometry?
2020 arXiv (Cornell University) preprint Computer Science Polynomial and algebraic computation Open access

James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

6

citations
Tools at the Frontiers of Quantitative Verification
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, +15 more

2

citations
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Stanley Bak, Taylor Thomas Johnson, Haoze Wu

10

citations
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more

4

citations
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

28

citations
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson

9

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

1

citations
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
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
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
Deductive Verification for Earliest Deadline First Scheduler Implementations
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Daniel Kuhse, Junjie Shi, Jan Duy Thien Pham, Kay Heider, Marcus Völker, Kuan-Hsun Chen, +1 more

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
A Formal Framework for Distributed Cyber-Physical Systems
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

1

citations
Shifting-based Optimizable Linear Relaxations for General Activation Functions
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Kern, László Antal, Erika Ábrahám, Carsten Sinz

0

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

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 references
2021 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Dominique Unruh

1

citations
LLM-Driven Heuristic Synthesis for Industrial Process Control: Lessons from Hot Steel Rolling
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Nima Hamidi Siboni, Seyedreza Kiamousavi, Emad Scharifi

0

citations
Optimal entanglement-assisted source coding under a balanced-difference promise
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Julius A. Zeiss

0

citations
Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

1

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

0

citations