From

Institution

Field

Type

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

Reset

Papers matching “concurrency analysis” 119

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 conference-paper Computer Science Formal Methods in Verification

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 Formal Methods in Verification 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
Multi-dimensional performance analysis and monitoring using integrated performance spectra
2020 TU/e Research Portal conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

Vadim Denisov, Dirk Fahland, Wil M. P. van der Aalst

2

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
Comparison between static analysis and model checking in the design of automation systems
2026 Control Engineering Practice article Computer Science Petri Nets in System Modeling Open access

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

0

citations
Mining Frequent Infix Patterns from Concurrency-Aware Process Execution Variants
2023 Proceedings of the VLDB Endowment article Business, Management and Accounting Business Process Modeling and Analysis

Michael Martini, Daniel Schuster, Wil M. P. van der Aalst

4

citations
Workflow and Human-Centered Risk Analysis for Novel Mechatronic Rescue Aids I.
2020 Current Directions in Biomedical Engineering article Psychology Human-Automation Interaction and Safety Open access

Sergey Drobinsky, Mark Verjans, Philipp Schleer, Benedikt Kolk, Henrike Bensiek, Klaus Radermacher, +1 more

1

citations
Workflow and Human-Centered Risk Analysis for Novel Mechatronic Rescue Aids II.
2020 Current Directions in Biomedical Engineering article Psychology Human-Automation Interaction and Safety Open access

Sergey Drobinsky, Mark Verjans, Philipp Schleer, Benedikt Kolk, Henrike Bensiek, Klaus Radermacher, +1 more

0

citations
Concurrency and Objects Matter! Disentangling the Fabric of Real Operational Processes to Create Digital Twins
2021 Lecture notes in computer science conference-paper Business, Management and Accounting Business Process Modeling and Analysis

Wil M. P. van der Aalst

21

citations
A comparative analysis of hydrological drought in the Rur catchment under human and natural impacts
2026 Journal of Hydrology Regional Studies article Environmental Science Hydrology and Drought Analysis Open access

You Wu, Daniel Bachmann, Holger Schüttrumpf

0

citations
Urinary peptidomics and $in-silico$ analysis for the molecular characterisation of the cardiorenal syndrome (CRS) and chronic kidney disease (CKD)
2025 RWTH Publications (RWTH Aachen) dissertation Chemistry Advanced Proteomics Techniques and Applications Open access

Eleni Petra

0

citations
Abstract DP285: Impact of DOAC plasma levels on hematoma expansion in DOAC-associated intracerebral hemorrhage: a preliminary multicenter analysis
2026 Stroke conference-abstract Medicine Intracerebral and Subarachnoid Hemorrhage Research

Daniela Schoene, Daniel P. O. Kaiser, Shin-Yi Lin, Hauke Schneider, João PC Pinho, Arno Reich, +13 more

0

citations
A Retrospective Analysis of 8457 Glossectomy Cases Over 15 Years—The Boon and Bane of Radical Neck Dissection
2025 Journal of Craniofacial Surgery article Medicine Head and Neck Cancer Studies

Leonard Knoedler, Helena Baecher, Michael G. Alfertshofer, Samuel A. Knoedler, Thomas Schaschinger, Benedikt Geldner, +6 more

1

citations
Yttrium-90 Selective Internal Radiation Therapy for Neuroendocrine Liver Metastases: An Institutional Case Series, Updated Systematic Review, and Meta-Analysis
2025 Diagnostics review Medicine Neuroendocrine Tumor Research Advances Open access

Xinlin Zheng, Fang Wen, Huan Xi, Joyce van Sluis, Reinoud P.H. Bokkers, Susanne Lütje, +6 more

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
Adjustments of balance control during cognitive dual tasking: Evidence from event-related force-plate analysis
2025 Psychological Research article Health Professions Balance, Gait, and Falls Prevention Open access

Anton Koger, Leif Johannsen, Andrea Kiesel, Hermann Müller, Denise N. Stephan, Elisa Straub, +1 more

4

citations
A parallel algorithm for Gaussian elimination over finite fields
2025 Journal of Algebra article Computer Science Cryptography and Residue Arithmetic Open access

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

0

citations
Discovering High-Quality Process Models Despite Data Scarcity
2023 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Jan Niklas Adams, Jari Peeperkorn, Tobias Brockhoff, Isabelle Terrier, Heiko Göhner, Merih Seran Uysal, +3 more

2

citations
Inductive Process Discovery from Partially Ordered Event Data
2026 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Humam Kourani, Tom Breuer, Gyunam Park, Wil M. P. van der Aalst

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
Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications -- Extended Report
2023 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

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

1

citations
Monotonicity-Guided Bottom-Up Petri Net Discovery: The SPECpp Framework
2026 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Leah Tacke genannt Unterberg, Lisa Luise Mannel, Wil M. P. van der Aalst

0

citations
Foundations of Process Discovery
2022 Lecture notes in business information processing book-chapter Business, Management and Accounting Business Process Modeling and Analysis Open access

Wil M. P. van der Aalst

53

citations