From

Institution

Field

Type

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

Reset

Papers matching “range verification” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Frederik Baymler Mathiesen, Luca Laurenti, Alessandro Abate

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
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
Genetic algorithm as a tool for detection setup optimisation: SiFi-CC case study
2024 arXiv (Cornell University) preprint Medicine Radiation Therapy and Dosimetry Open access

Jonas Kasper, Awal Awal, Ronja Hetzel, Magdalena Kołodziej, Katarzyna Rusiecka, Achim Stahl, +2 more

0

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
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
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
On Deciding Constant Runtime of Linear Loops
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
Synthetic mapping of XCO 2 retrieval performance from shortwave infrared measurements: impact of spectral resolution, signal-to-noise ratio and spectral band selection
2023 preprint Environmental Science Atmospheric and Environmental Gas Dynamics Open access

Matthieu Dogniaux, Cyril Crévoisier

1

citations
Development of a high-fidelity computational tool for chemically reacting hypersonic flow simulations
2022 King Abdullah University of Science and Technology Repository (King Abdullah University of Science and Technology) preprint Engineering Computational Fluid Dynamics and Aerodynamics Open access

Athanasios Margaritis, Clément Scherding, Olaf Marxen, Peter J. Schmid, Taraneh Sayadi

3

citations
Full L- and M-band high resolution spectroscopy of the S CrA binary disks with VLT-CRIRES+
2023 arXiv (Cornell University) preprint Physics and Astronomy Astrophysics and Star Formation Studies Open access

Sierra L. Grant, Giulio Bettoni, Andrea Banzatti, Ewine F. van Dishoeck, S. Brittain, D. Fedele, +3 more

0

citations
A first view of interstellar Fe-bearing dust grains with XRISM
2026 arXiv (Cornell University) preprint Physics and Astronomy Astrophysics and Star Formation Studies Open access

I. Psaradaki, L. Corrales, E. Costantini, M. Mehdipour, D. Rogantini, H. Takahasi, +5 more

0

citations

13 results