From

Institution

Field

Type

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

Reset

Papers matching “runtime systems” 89

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

On solving classes of positive-definite quantum linear systems with quadratically improved runtime in the condition number
2021 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Davide Orsucci, Vedran Dunjko

16

citations
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
Development of Edge Runtime Learning Systems for an Artificial Nose Classifying Drinks
2020 Mediterranean Conference on Embedded Computing (MECO) conference-paper Computer Science IoT and Edge/Fog Computing

Rüdiger Machhamer, Marcel Garling, Levin Czenkusch, Kristof Ueding, Achim Guldner, Azhar Latif, +4 more

0

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

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
Runtime Composition of Systems of Interacting Cyber-Physical Components
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

5

citations
A model-based reference architecture for complex assistive systems and its application
2024 Software & Systems Modeling article Computer Science Advanced Software Engineering Methodologies Open access

Judith Michael

6

citations
Service-Oriented Model-Based Control Dynamic Software for Dynamic Systems
2024 European Control Conference (ECC) conference-paper Computer Science Service-Oriented Architecture and Web Services

Ole Greβ, Markus Zimmer, Dominik Scheurenberg, Lorenz Dörschel, Bassam Alrifaee

1

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
Development and Evaluation of Collaborative Embedded Systems using Simulation
2020 Springer eBooks book-chapter Computer Science Advanced Software Engineering Methodologies Open access

Emilia Cioroaica, Karsten Albers, Florian Pudlitz, Christian Granrath, Roland Rosen, Jan Christoph Wehrstedt

1

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Robust and accurate regression-based techniques for period inference in real-time systems
2022 Real-Time Systems article Computer Science Real-Time Systems Scheduling Open access

Șerban Vădineanu, Mitra Nasri

3

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
CompDSE: A Methodology for Design Space Exploration of Computing Subsystems Within Complex Cyber‐Physical Systems
2025 IET Cyber-Physical Systems Theory & Applications article Computer Science Embedded Systems Design Techniques Open access

Faezeh Sadat Saadatmand, Todor P. Stefanov, Ignacio González Alonso, Andy D. Pimentel, Benny Åkesson

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
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
HEXO: Offloading Long-Running Compute- and Memory-Intensive Workloads on Low-Cost, Low-Power Embedded Systems
2024 IEEE Transactions on Cloud Computing article Computer Science Cloud Computing and Resource Management Open access

Pierre Olivier, A K M Fazla Mehrab, Sandeep Errabelly, Stefan Lankes, Mohamed Lamine Karaoui, Robert Lyerly, +3 more

3

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
Performance Assessment and Management in Service-Oriented Architectures for Automated Driving Systems
2026 IEEE Open Journal of Intelligent Transportation Systems article Computer Science Advanced Software Engineering Methodologies Open access

Richard Schubert, Alexander Blödel, Julius Kahle, Raphael van Kempen, David Philipp Klüner, Philipp Pelcz, +10 more

0

citations
Hybrid Inference Optimization for AI-Enhanced Turbulent Boundary Layer Simulation on Heterogeneous Systems
2026 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Fabian Orland, Tom Hilgers, Fabian Hübenthal, Rakesh Sarma, Andreas Lintermann, Christian Terboven

0

citations
Hybrid Inference Optimization for AI-Enhanced Turbulent Boundary Layer Simulation on Heterogeneous Systems
2026 JuSER Publikationsportal article Computer Science Parallel Computing and Optimization Techniques Open access

Fabian Orland, Tom Hilgers, Fabian Hübenthal, Rakesh Sarma, Andreas Lintermann, Christian Terboven

0

citations
On Deciding Constant Runtime of Linear Loops
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Florian Frohn, Jürgen Giesl, Peter Giesl, Nils Lommen

0

citations
A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Formal Methods in Verification Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
Software-defined Temporal Decoupling in Virtual Platforms
2021 IEEE International System-on-Chip Conference (SOCC) conference-paper Computer Science Embedded Systems Design Techniques

Lukas Jünger, Alexander Belke, Rainer Leupers

2

citations