From

Institution

Field

Type

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

Reset

Papers matching “must” 305

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST
2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Cornelius Pätzold, Simon Schwitanski, Joachim Jenke, Felix Tomski, Matthias Mueller

1

citations
Towards Correctness Checking of MPI Partitioned Communication in MUST
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, Marc-André Hermanns

0

citations
MUST, SHOULD, DON’T CARE: TCP Conformance in the Wild
2020 Lecture notes in computer science conference-paper Computer Science Network Traffic and Congestion Control Open access

4

citations
SMT: Something You Must Try
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Erika Ábrahám, József Kovács, Anne Remke

1

citations
SMT: Something you Must Try
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Logic, programming, and type systems Open access

Erika Ábrahám

0

citations
Towards compiler-aided correctness checking of adjoint MPI applications
2020 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H Bischof, Matthias Müller

5

citations
Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests
2025 conference-paper Computer Science Software Testing and Debugging Techniques

Alexander Hück, Simon Schwitanski, Tim Jammer, Joachim Jenke, Yussur Mustafa Oraji, Christian H Bischof

1

citations
Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications
2024 conference-paper Computer Science Parallel Computing and Optimization Techniques

Alexander Hück, Tim Ziegler, Simon Schwitanski, Joachim Jenke, Christian H Bischof

1

citations
RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
2023 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Simon Schwitanski, Joachim Jenke, Sven Klotz

12

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
Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead
2025 conference-paper Computer Science Software Testing and Debugging Techniques

Yussur Mustafa Oraji, Simon Schwitanski, Semih Burak, Christian H Bischof, Matthias Mueller

1

citations
Designing Quality MPI Correctness Benchmarks: Insights and Metrics
2024 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Tim Jammer, Simon Schwitanski, Emmanuelle Saillard, Alexander Hück, Joachim Jenke, Radjasouria Vinayagame, +1 more

1

citations
Unveiling the risks: protecting privacy in single-cell genomics data
2025 Nephrology Dialysis Transplantation article Computer Science Privacy-Preserving Technologies in Data

Rafael Kramann, Christoph Kuppe, Valérie A. Luyckx, Wim Van Biesen, Stefanie Steiger

1

citations
Conceptual design blueprint for the DiSSCo digitization infrastructure - DELIVERABLE D8.1
2020 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Alex Hardisty, Hannu Saarenmaa, Ana Casino, Mathias Dillen, Karsten Gödderz, Quentin Groom, +8 more

35

citations
Simulator Coupled with Distributed Co-Simulation Protocol for Automated Driving Tests
2021 Automotive Innovation article Computer Science Modeling and Simulation Systems Open access

Max‐Arno Meyer, Lina Sauter, Christian Granrath, Hassen Hadj-amor, Jakob Andert

14

citations
Measurement-Free Fault-Tolerant Quantum Error Correction in Near-Term Devices
2024 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 1 patent

Sascha Heußen, David F. Locher, Markus Michael Müller

43

citations
Fireiron
2020 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover

28

citations
Total double Roman domination in graphs
2020 DOAJ (DOAJ: Directory of Open Access Journals) article Computer Science Advanced Graph Theory Research Open access

Guoliang Hao, Lutz Volkmann, Doost Ali Mojdeh

19

citations
Restrained double Roman domination of a graph
2022 RAIRO - Operations Research article Computer Science Advanced Graph Theory Research Open access

Doost Ali Mojdeh, İman Masoumi, Lutz Volkmann

13

citations
Life after herbarium digitisation: Physical and digital collections, curation and use
2025 Plants People Planet article Computer Science Research Data Management Practices Open access

Alan James Paton, Gabriel Komla Ameka, Alexandre Antonelli, Alex Asase, Russell L. Barrett, Ann Bogaerts, +31 more

11

citations
Modelling Automated Planning Problems for Teams of Mobile Manipulators in a Generic Industrial Scenario
2022 Applied Sciences article Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Burkhard J. Corves

8

citations
Active Learning with Pre-trained Language Models for Named Entity Recognition in Requirements Engineering
2024 Procedia CIRP article Computer Science Topic Modeling Open access cited by 1 patent

Michael Riesener, Maximilian Kühn, S. Schümmelfeder, Johannes J. Norheim, Eric Rebentisch, Günther Schuh

6

citations
Introducing a Framework to Enable Anonymous Secure Multi-Party Computation in Practice
2021 International Conference on Privacy, Security and Trust (PST) conference-paper Computer Science Cryptography and Data Security

Malte Breuer, Ulrike Meyer, Susanne Wetzel

5

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