From

Institution

Field

Type

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

Reset

Papers matching “runtime analysis” 31

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Runtime Analysis of Quality Diversity Algorithms
2023 Proceedings of the Genetic and Evolutionary Computation Conference conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Jakob Bossek, Dirk Sudholt

4

citations
Runtime Analysis of Cartesian Genetic Programming in Evolving Boolean Functions
2026 Lecture notes in computer science conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Duc-Cuong Dang, Roman Kalkreuth, Andre Opris

0

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Lecture notes in computer science conference-paper Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

0

citations
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications
2024 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Felix Tomski

4

citations
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
2025 International Symposium on Principles and Practice of Declarative Programming (PPDP) conference-paper Computer Science Logic, programming, and type systems Open access

1

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

10

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Florian Frohn, Jürgen Giesl

16

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-the-Fly Data Race Detection for MPI RMA Programs with MUST
2022 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

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

12

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 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
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Nils Lommen, Jürgen Giesl

7

citations
Process Prediction with Digital Twins
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Tobias Brockhoff, Malte Heithoff, István Koren, Judith Michael, Jérôme Pfeiffer, Bernhard Rumpe⋆, +3 more

58

citations
Understanding the Performance of Dynamic Data Race Detection
2021 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Joachim Protze, Isabel Thärigen, Jonas Wahle

1

citations
Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers
2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Joachim Jenke, Simon Schwitanski, Isabel Thärigen

8

citations
Facilitating Bug Detection for OpenMP Offloading Applications
2024 conference-paper Computer Science Advanced Malware Detection Techniques

Lechen Yu, Feiyang Jin, Joachim Jenke, Vivek Sarkar

0

citations
Object-Centric Alignments
2023 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Lukas Liß, Jan Niklas Adams, Wil M. P. van der Aalst

23

citations
OCPQ: Object-Centric Process Querying and Constraints
2025 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Aaron Küsters, Wil M. P. van der Aalst

9

citations
Modelling Machine Learning Components for Mapping and Scheduling of AUTOSAR Runnables
2020 conference-paper Computer Science Software Reliability and Analysis Research

Milan Copic, Rainer Leupers, Gerd Ascheid

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 Lecture notes in computer science conference-paper Open access

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

0

citations
Discovering Compact, Live and Identifier-Sound Object-Centric Process Models
2024 International Conference on Process Mining (ICPM) conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Jan Niklas van Detten, Sander J. J. Leemans

15

citations
Modeling and Discovering Dynamic Identity Relations in Object-Centric Process Mining
2025 International Conference on Process Mining (ICPM) conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Jan Niklas van Detten, Sander J. J. Leemans

7

citations
Population Synthesis by Disaggregating OD Matrices with Time-Progressive Graphs for Agent-based Simulations
2022 Procedia Computer Science conference-paper Social Sciences Transportation Planning and Optimization Open access

Felix Schwinger, Lucas Forster, Matthias Jarke

3

citations
"S3cure": Scramble, Shuffle and Shambles - Secure Deployment of Weight Matrices in Memristor Crossbar Arrays
2023 International Conference on Neuromorphic Systems (ICONS) conference-paper Engineering Advanced Memory and Neural Computing Open access cited by 1 patent

Melvin Galicia, Ibrahim Jimale Osman, Christian Owusu-Afriyie, Rainer Leupers

4

citations