On-the-Fly Data Race Detection for MPI RMA Programs with MUST. - Simon Schwitanski; Joachim Jenke; Felix Tomski; Christian Terboven; Matthias S. Müller (Correctness@SC, 2022)

An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs. - Simon Schwitanski; Felix Tomski; Joachim Protze; Christian Terboven; Matthias S. Müller (IPDPS Workshops, 2022)

Towards Correctness Checking of MPI Partitioned Communication in MUST. - Simon Schwitanski; Niko Sakic; Joachim Jenke; Felix Tomski; Marc-André Hermanns (SC Workshops, 2023)

RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications. - Simon Schwitanski; Yussur Mustafa Oraji; Cornelius Pätzold; Joachim Jenke; Felix Tomski; Matthias S. Müller (ICPP, 2024)

Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST. - Cornelius Pätzold; Simon Schwitanski; Joachim Jenke; Felix Tomski; Matthias S. Müller (SC Workshops, 2024)