From

Institution

Field

Type

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

Reset

Papers matching “termination proofs” 48

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Automated Termination Proofs for C Programs with Lists (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jera Hensel, Jürgen Giesl

0

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
A calculus for modular loop acceleration and non-termination proofs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

8

citations
A Calculus for Modular Loop Acceleration and Non-Termination Proofs
2021 BIROn (Birkbeck, University of London) article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Carsten Fuhs

0

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

Joost-Pieter Katoen

5

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Joost-Pieter Katoen

0

citations
Proving Termination of C Programs with Lists
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Jürgen Giesl

2

citations
The probabilistic termination tool amber
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

5

citations
AProVE: Non-Termination Witnesses for C Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Constantin Mensendiek, Jürgen Giesl

10

citations
Proving Termination of C Programs with Lists
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

Jera Hensel, Jürgen Giesl

1

citations
The Probabilistic Termination Tool Amber
2021 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

citations
Safety and Immunogenicity of Intradermal Fractional Dose Administration of the mRNA-1273 Vaccine: A Proof-of-Concept Study
2022 Annals of Internal Medicine article Medicine SARS-CoV-2 and COVID-19 Research Open access

Geert V.T. Roozen, Margaretha L.M. Prins, Rob S. van Binnendijk, Gerco den Hartog, Vincent P. Kuiper, Corine Prins, +8 more

24

citations
Monotherapy Treatment with Zaltenibart (OMS906), an Alternative Pathway Masp-3 Inhibitor, Improved Key Hematologic Parameters in Patients with PNH with a Suboptimal Response to Ravulizumab: Interim Results from a Phase 2 Proof-of-Concept Study
2024 Blood conference-abstract Immunology and Microbiology Complement system in diseases

Morag Griffin, Richard J. Kelly, Mathilde Gavillet, Petra Muus, Britta Hoechsmann, W. Jason Cummings, +4 more

4

citations
Will it run?—A proof of concept for smoke testing decentralized data analytics experiments
2024 Frontiers in Medicine article Decision Sciences Scientific Computing and Data Management Open access

Sascha Welten, Sven Weber, Adrian Holt, Oya Beyan, Stefan Decker

1

citations
OX40L Inhibition Suppresses KLH‐driven Immune Responses in Healthy Volunteers: A Randomized Controlled Trial Demonstrating Proof‐of‐Pharmacology for KY1005
2022 Clinical Pharmacology & Therapeutics article Medicine Cancer Immunotherapy and Biomarkers Open access

Mahdi Saghari, Pim Gal, M Yateman, Ben Porter‐Brown, Nuala Brennan, Sonia Quaratino, +9 more

49

citations
Lower Bounds for Possibly Divergent Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Shenghua Feng, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan

14

citations
Constructing (Co)inductive Types via Large Sizes
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

Bastiaan Laarakker, Daniël Otten, Benno van den Berg

0

citations
Equality and Non-discrimination
2025 Cambridge University Press eBooks book-chapter Social Sciences Discrimination and Equality Law

0

citations
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Muhammad Osama, Anton Wijs

4

citations
Simple Numeric Planning with Two Variables Is Decidable
2025 Frontiers in artificial intelligence and applications book-chapter Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
AProVE (KoAT + LoAT)
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

5

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations