Markus Schordan

ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning

Harshitha Menon, Michael O. Lam, Daniel Osei-Kuffuor et al. · 2018 · 72 citations

Computing, Computer Science, High-performance Computing +14

DataRaceBench

Chunhua Liao, Pei‐Hung Lin, Joshua Asplund et al. · 2017 · 66 citations · Full text

Computing, Computer Engineering, Computer Science +10

Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation

Markus Schordan, Tomas Oppelstrup, David Jefferson et al. · New Generation Computing · 2018 · 40 citations · Full text

Engineering, Computer Engineering, Computer Science +9

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

Adrian Prantl, Markus Schordan, Jens Knoop · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 33 citations · Full text

Computing, Computer Engineering, Computer Science +10

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free

Fangke Ye, Markus Schordan, Chunhua Liao et al. · 2018 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +17