From

Institution

Field

Type

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

Reset

Papers matching “runtime analysis” 122

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

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
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Uplifting the complexity of analysis for probabilistic security of electricity supply assessments using artificial neural networks
2024 Energy and AI article Engineering Integrated Energy Systems Optimization Open access

Justin Münch, Jan Priesmann, Marius Reich, Marius Tillmanns, Aaron Praktiknjo, Mario Adam

4

citations
An Event Model for Trace-Based Performance Analysis of MPI Partitioned Point-to-Point Communication
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Isabel Thärigen, Marc-André Hermanns, Markus Geimer

1

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
Tool Support for Co-Simulation-Based Analysis
2020 Springer eBooks book-chapter Computer Science Modeling and Simulation Systems Open access

Karsten Albers, Benjamin Bolte, Max‐Arno Meyer, Axel Terfloth, Anna Wissdorf

3

citations
Fast Columnar Physics Analyses of Terabyte-Scale LHC Data on a Cache-Aware Dask Cluster
2023 Computing and Software for Big Science article Computer Science Distributed and Parallel Computing Systems Open access

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

3

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
Towards Self-adaptive Mutation in Evolutionary Multi-Objective Algorithms
2023 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Furong Ye, Frank Neumann, Jacob de Nobel, Aneta Neumann, Thomas Bäck

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 other Computer Science Logic, programming, and type systems

Marcel Hark, Jürgen Giesl, Fabian Meyer

2

citations
On-the-Fly Data Race Detection for MPI RMA Programs with MUST
2022 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Simon Schwitanski, Joachim Jenke, Felix Tomski, Christian Terboven, Matthias Müller

12

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
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
Erweiterung und Optimierung eines expertenbasierten Systems zur Fehlerdetektion in raumlufttechnischen Anlagen: ein ontologiebasierter Ansatz
2025 RWTH Publications (RWTH Aachen) dissertation Engineering Fault Detection and Control Systems Open access

Max Liebhold

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
Polynomial Loops: Beyond Termination
2020 EPiC series in computing conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Hark, Florian Frohn, Jürgen Giesl

13

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
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
Benchmarking and analyzing iterative optimization heuristics with IOHprofiler
2020 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Hao Wang, Carola Doerr, Ofer M. Shir, Thomas Bäck

0

citations
Benchmarking a $$(\mu +\lambda )$$ Genetic Algorithm with Configurable Crossover Probability
2020 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

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

15

citations
Emergence of structural bias in differential evolution
2021 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Bas van Stein, Fabio Caraffini, Anna V. Kononova

14

citations
Do additional target points speed up evolutionary algorithms?
2023 Theoretical Computer Science article Computer Science Metaheuristic Optimization Algorithms Research

Jakob Bossek, Dirk Sudholt

4

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

7

citations