From

Institution

Field

Type

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

Reset

Papers matching “program evaluation” 41

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Eleven Strategies for Making Reproducible Research and Open Science Training the Norm at Research Institutions
2023 preprint Computer Science Research Data Management Practices Open access

Friederike Elisabeth Kohrs, Susann Auer, Alexandra Bannach‐Brown, Susann Fiedler, Tamarinde Laura Haven, Verena Heise, +45 more

7

citations
ReleaseEval: A Benchmark for Evaluating Language Models in Automated Release Note Generation
2025 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Qianru Meng, Zhaochun Ren, Joost Visser

0

citations
Generative Datalog with Continuous Distributions
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

0

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

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
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

1

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations
Enhancing SLMs for Sustainable Code Optimization in Radio-Astronomy
2026 arXiv (Cornell University) preprint Computer Science Software Engineering Research Open access

Elisa Chiarotto, Jingbo Li, P. Chris Broekema, Rob V. van Nieuwpoort

0

citations
IOHanalyzer: Detailed Performance Analyses for Iterative Optimization Heuristics
2020 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Hao Wang, Diederick Vermetten, Furong Ye, Carola Doerr, Thomas Bäck

0

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
Accelerating Loops with Arrays
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
First Experiences in Performance Benchmarking with the New SPEChpc 2021 Suites
2022 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Holger Brunst, Sunita Chandrasekaran, Florina M. Ciorba, Nick Hagerty, Robert Henschel, Guido Juckeland, +4 more

2

citations
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations
Evolving Executable Pipeline Programs for AutoML with Language Models
2026 arXiv (Cornell University) preprint Computer Science Machine Learning and Data Classification Open access

Sofoklis Kitharidis, Cor J. Veenman, Jan N. van Rijn, Thomas Bäck, Bas van Stein

0

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

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
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more

1

citations
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
2022 arXiv (Cornell University) preprint 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

0

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jürgen Giesl, Nils Lommen, Marcel Hark

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
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Hark, Jürgen Giesl

0

citations