From

Institution

Field

Type

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

Reset

Papers matching “runtime systems” 27

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Runtime Composition Of Systems of Interacting Cyber-Physical Components
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
The Pareto-Optimal Temporal Aggregation of Energy System Models
2021 arXiv (Cornell University) preprint Engineering Integrated Energy Systems Optimization Open access

Maximilian Hoffmann, Leander Kotzur, Detlef Stolten

0

citations
Rapid Mixing of Quantum Gibbs Samplers for Weakly-Interacting Quantum Systems
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Mario Berta, Roberto Bondesan

1

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
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
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

1

citations
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

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
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
Fast Columnar Physics Analyses of Terabyte-Scale LHC Data on a Cache-Aware Dask Cluster
2022 arXiv (Cornell University) preprint Computer Science Distributed and Parallel Computing Systems Open access

N. Eich, Martin Erdmann, P. Fackeldey, D. Noll, Yannik Alexander Rath

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
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
Constant-time equilibration of observables under rapid Lindbladian dynamics
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Richard Meister, Mario Berta, Roberto Bondesan

0

citations
Simulating Thermal Properties of Bose-Hubbard Models on a Quantum Computer
2026 arXiv (Cornell University) preprint Physics and Astronomy Quantum many-body systems Open access

Simon Becker, Cambyse Rouzé, Robert Salzmann

0

citations
Fine-Tuning of Neural Network Approximate MPC without Retraining via Bayesian Optimization
2025 arXiv (Cornell University) preprint Engineering Advanced Control Systems Optimization Open access

Henrik Hose, Paul Brunzema, Alexander von Rohr, Alexander Gräfe, Angela P. Schoellig, Sebastian Trimpe

0

citations
In-Memory Indexed Caching for Distributed Data Processing
2021 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Alexandru Uta, Bogdan Ghiț, Ankur Dave, Jan S. Rellermeyer, Peter A. Boncz

0

citations
Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
2025 arXiv (Cornell University) preprint Computer Science Software Testing and Debugging Techniques Open access

Johanna Grahl, Bernhard Rumpe⋆, Max Stachon, Sebastian Stüber

0

citations
Swing: Short-cutting Rings for Higher Bandwidth Allreduce
2024 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Daniele De Sensi, Tommaso Bonato, David Saam, Torsten Hoefler

3

citations
NUMA balancing hampering performance of spiking network simulations
2026 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access

Melissa Lober, Alp Inangu, Gorka Peraza Coppola, D. Terhorst, Sebastian Gillessen, Jan Vogelsang, +6 more

0

citations
Digital Twins for Software Engineering Processes
2025 arXiv (Cornell University) preprint Computer Science Software Engineering Techniques and Practices Open access

Judith Michael, Andreas Wortmann, Jingxi Zhang

0

citations