From

Institution

Field

Type

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

Reset

Papers matching “concurrency analysis” 19

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

4

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Structural Analysis of GRAFCET Control Specifications
2023 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Petri Nets in System Modeling

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

2

citations
Structural Analysis of GRAFCET Control Specifications
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Joachim Jenke, Simon Schwitanski, Isabel Thärigen

8

citations
Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Formal Methods in Verification Open access

Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay

0

citations
MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms
2020 Lecture notes in computational science and engineering book-chapter Computer Science Parallel Computing and Optimization Techniques Open access

Joachim Protze, Miwako Tsuji, Christian Terboven, Thomas Dufaud, Hitoshi Murai, Serge G. Petiton, +3 more

1

citations
A parallel algorithm for Gaussian elimination over finite fields
2025 Journal of Algebra article Computer Science Matrix Theory and Algorithms Open access

Stephen Linton, Gabriele Nebe, Alice C. Niemeyer, Jon Thackray

0

citations
SymPaths: Symbolic Execution Meets Partial Order Reduction
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

2

citations
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications
2024 Proceedings of the International Conference on Parallel Processing 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
Modelling and measuring complexity of traditional and ancient technologies using Petri nets
2022 PLoS ONE article Computer Science Petri Nets in System Modeling Open access

Sebastian Fajardo, Jetty Kleijn, Frank W. Takes, Geeske H. J. Langejans

12

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
Towards a Hybrid MPI Correctness Benchmark Suite
2022 European MPI Users' Group Meeting (EuroMPI) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H Bischof

13

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
On the rtelation of rely-guarantee and assume-guarantee reasoning
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Repeatability and reproducibility of deep-learning-based liver volume and Couinaud segment volume measurement tool
2021 Abdominal Radiology article Computer Science Medical Image Segmentation Techniques Open access

Amirkasra Mojtahed, John J. Connell, Alessandro Fichera, Rowan C. Nicholls, Mariana Marieiro, Anthony Puddu, +7 more

32

citations
Reinforcement Learning Agent for Multi-Objective Online Process Parameter Optimization of Manufacturing Processes
2025 Applied Sciences article Computer Science Advanced Multi-Objective Optimization Algorithms Open access cited by 1 patent

Akshay Paranjape, Nahid Quader, Lars Uhlmann, Benjamin Berkels, Dominik Wolfschläger, Robert Heinrich Schmitt, +1 more

3

citations
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications
2022 IT Professional article Computer Science Software Testing and Debugging Techniques

Alexander Hück, Sebastian Kreutzer, Joachim Protze, Jan-Patrick Lehr, Christian H Bischof, Christian Terboven, +1 more

2

citations
Enhanced Seismicity Monitoring in the Rapid Scientific Response to the 2025 Santorini Crisis
2026 arXiv (Cornell University) preprint Computer Science Seismology and Earthquake Studies Open access

Margarita Segou, Foteini D. Dervisi, Xing Tan, Rajat Choudhary, Patricia Martínez‐Garzón, Francesco Scotto di Uccio, +17 more

0

citations

19 results