JavaSet - eine Spracherweiterung von Java um persistente Mengen. - Markus Schordan; Harald Kosch (Java-Informations-Tage, 1998)

PAOLA - Program Analysis of Object-Oriented Languages. - Wolfram Amme; Markus Schordan; László Böszörményi; Wilhelm R. Rossak (ECOOP Workshops, 1999)

The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications. - Daniel J. Quinlan; Markus Schordan; Bobby Philip; Markus Kowarschik (LCPC, 2001)

Treating a User-Defined Parallel Library as a Domain-Specific Language. - Daniel J. Quinlan; Brian Miller 001; Bobby Philip; Markus Schordan (IPDPS, 2002)

Topic Introduction. - Michael Gerndt; Chau-Wen Tseng; Michael F. P. O'Boyle; Markus Schordan (Euro-Par, 2003)

A Source-to-Source Architecture for User-Defined Optimizations. - Markus Schordan; Daniel J. Quinlan (JMLC, 2003)

Semantic-Driven Parallelization of Loops Operating on User-Defined Containers. - Daniel J. Quinlan; Markus Schordan; Qing Yi; Bronis R. de Supinski (LCPC, 2003)

A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives. - Daniel J. Quinlan; Markus Schordan; Qing Yi; Bronis R. de Supinski (WOMPAT, 2003)

Classification and Utilization of Abstractions for Optimization. - Daniel J. Quinlan; Markus Schordan; Qing Yi; Andreas Sæbjørnsen (ISoLA (Preliminary proceedings), 2004)

Parallel object-oriented framework optimization. - Daniel J. Quinlan; Markus Schordan; Brian Miller 001; Markus Kowarschik (Concurr. Comput. Pract. Exp., 2004)

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar. - Markus Schordan; Daniel J. Quinlan (SCAM, 2005)

Annotating user-defined abstractions for optimization. - Daniel J. Quinlan; Markus Schordan; Richard W. Vuduc; Qing Yi (IPDPS, 2006)

The Language of the Visitor Design Pattern. - Markus Schordan (J. Univers. Comput. Sci., 2006)

WCET Analysis: The Annotation Language Challenge. - Raimund Kirner; Jens Knoop; Adrian Prantl; Markus Schordan; Ingomar Wenzel (WCET, 2007)

08161 Abstracts Collection - Scalable Program Analysis. - Florian Martin 001; Hanne Riis Nielson; Claudio Riva; Markus Schordan (Scalable Program Analysis, 2008)

Source-To-Source Analysis with SATIrE - an Example Revisited. - Markus Schordan (Scalable Program Analysis, 2008)

ALL-TIMES - A European Project on Integrating Timing Technology. - Jan Gustafsson; Björn Lisper; Markus Schordan; Christian Ferdinand; Peter Gliwa; Marek Jersak; Guillem Bernat (ISoLA, 2008)

WCET 2008 - Report from the Tool Challenge 2008 – 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. - Niklas Holsti; Jan Gustafsson; Guillem Bernat; Clément Ballabriga; Armelle Bonenfant; Roman Bourgade; Hugues Cassé; Daniel Cordes; Albrecht Kadlec; Raimund Kirner; Jens Knoop; Paul Lokuciejewski; et al. (WCET, 2008)

Towards a Common WCET Annotation Language: Essential Ingredients. - Raimund Kirner; Albrecht Kadlec; Adrian Prantl; Markus Schordan; Jens Knoop (WCET, 2008)

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis. - Adrian Prantl; Markus Schordan; Jens Knoop (WCET, 2008)

Component Based Middleware-Synthesis for AUTOSAR Basic Software. - Dietmar Schreiner; Markus Schordan; Karl M. Göschka (ISORC, 2009)

Adding Timing-Awareness to AUTOSAR Basic-Software – A Component Based Approach. - Dietmar Schreiner; Markus Schordan; Jens Knoop (ISORC, 2009)

From Trusted Annotations to Verified Knowledge. - Adrian Prantl; Jens Knoop; Raimund Kirner; Albrecht Kadlec; Markus Schordan (WCET, 2009)

Constraint solving for high-level WCET analysis - Adrian Prantl; Jens Knoop; Markus Schordan; Markus Triska (CoRR, 2009)

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. - Raimund Kirner; Jens Knoop; Adrian Prantl; Markus Schordan; Albrecht Kadlec (Softw. Syst. Model., 2011)

Graphical processing units and scientific applications. - Beniamino Di Martino; Eduard Mehofer; Daniel J. Quinlan; Markus Schordan (Int. J. High Perform. Comput. Appl., 2012)

Comparison of type-based and alias-based component recognition for embedded systems software. - Dietmar Schreiner; Gergö Barany; Markus Schordan; Jens Knoop (Int. J. Softw. Tools Technol. Transf., 2013)

Evaluation and Reproducibility of Program Analysis (Track Introduction). - Markus Schordan; Welf Löwe; Dirk Beyer 001 (ISoLA (2), 2014)

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. - Markus Schordan; Pei-Hung Lin; Daniel J. Quinlan; Louis-Noël Pouchet (ISoLA (2), 2014)

Computation of alias sets from shape graphs for comparison of shape analysis precision. - Viktor Pavlu; Markus Schordan; Andreas Krall (IET Softw., 2014)

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges. - Markus Schordan; Adrian Prantl (Int. J. Softw. Tools Technol. Transf., 2014)

Reverse Code Generation for Parallel Discrete Event Simulation. - Markus Schordan; David R. Jefferson; Peter D. Barnes Jr.; Tomas Oppelstrup; Daniel J. Quinlan (RC, 2015)

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. - Maren Geske; Marc Jasper; Bernhard Steffen; Falk Howar; Markus Schordan; Jaco van de Pol (ISoLA (2), 2016)

Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations. - Marc Jasper; Markus Schordan (ISoLA (1), 2016)

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). - Markus Schordan; Dirk Beyer 001; Jonas Lundberg (ISoLA (1), 2016)

Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application. - Markus Schordan; Tomas Oppelstrup; David R. Jefferson; Peter D. Barnes Jr.; Daniel J. Quinlan (SIGSIM-PADS, 2016)

Dealing with Reversibility of Shared Libraries in PDES. - Davide Cingolani; Alessandro Pellegrini 001; Markus Schordan; Francesco Quaglia; David R. Jefferson (SIGSIM-PADS, 2017)

DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools. - Chunhua Liao; Pei-Hung Lin; Joshua Asplund; Markus Schordan; Ian Karlin (SC, 2017)

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. - Markus Schordan; Jan Hückelheim; Pei-Hung Lin; Harshitha Menon (CORRECTNESS@SC, 2017)

The RERS 2017 challenge and workshop (invited paper). - Marc Jasper; Maximilian Fecke; Bernhard Steffen; Markus Schordan; Jeroen Meijer; Jaco van de Pol; Falk Howar; Stephen F. Siegel (SPIN, 2017)

Runtime and Memory Evaluation of Data Race Detection Tools. - Pei-Hung Lin; Chunhua Liao; Markus Schordan; Ian Karlin (ISoLA (2), 2018)

Evaluating Tools for Software Verification (Track Introduction). - Markus Schordan; Dirk Beyer 001; Stephen F. Siegel (ISoLA (2), 2018)

A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage. - Chunhua Liao; Pei-Hung Lin; Markus Schordan; Ian Karlin (IWOMP, 2018)

ADAPT: algorithmic differentiation applied to floating-point precision tuning. - Harshitha Menon; Michael O. Lam; Daniel Osei-Kuffuor; Markus Schordan; Scott Lloyd; Kathryn M. Mohror; Jeffrey Hittinger (SC, 2018)

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. - Fangke Ye; Markus Schordan; Chunhua Liao; Pei-Hung Lin; Ian Karlin; Vivek Sarkar (CORRECTNESS@SC, 2018)

Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation. - Markus Schordan; Tomas Oppelstrup; David R. Jefferson; Peter D. Barnes Jr. (New Gener. Comput., 2018)

Tool Integration for Source-Level Mixed Precision. - Michael O. Lam; Tristan Vanderbruggen; Harshitha Menon; Markus Schordan (CORRECTNESS@SC, 2019)

Exploring Regression of Data Race Detection Tools Using DataRaceBench. - Pei-Hung Lin; Chunhua Liao; Markus Schordan; Ian Karlin (CORRECTNESS@SC, 2019)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)

HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis. - Konstantinos Parasyris; Ignacio Laguna; Harshitha Menon; Markus Schordan; Daniel Osei-Kuffuor; Giorgis Georgakoudis; Michael O. Lam; Tristan Vanderbruggen (IISWC, 2020)

Software Verification Tools (Track Introduction). - Markus Schordan; Dirk Beyer 001; Irena Bojanova (ISoLA (4), 2020)

Introduction of the Software Technology Department. - Markus Schordan (IT Prof., 2020)

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. - Markus Schordan; Tomas Oppelstrup; Michael Kirkedal Thomsen; Robert Glück (Selected Results of the COST Action IC1405, 2020)

HPAC: evaluating approximate computing techniques on HPC OpenMP applications. - Konstantinos Parasyris; Giorgis Georgakoudis; Harshitha Menon; James Diffenderfer; Ignacio Laguna; Daniel Osei-Kuffuor; Markus Schordan (SC, 2021)

Introduction. - Markus Schordan; Fabrice Rastello (SSA-based Compiler Design, 2022)