Markus Schordan

According to our database1, Markus Schordan authored at least 49 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
RERS 2019: Combining Synthesis with Real-World Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Exploring Regression of Data Race Detection Tools Using DataRaceBench.
Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

Tool Integration for Source-Level Mixed Precision.
Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018
Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation.
New Generation Comput., 2018

Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

ADAPT: algorithmic differentiation applied to floating-point precision tuning.
Proceedings of the International Conference for High Performance Computing, 2018

A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage.
Proceedings of the Evolving OpenMP for Evolving Architectures, 2018

Evaluating Tools for Software Verification (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Runtime and Memory Evaluation of Data Race Detection Tools.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017
The RERS 2017 challenge and workshop (invited paper).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code.
Proceedings of the First International Workshop on Software Correctness for HPC Applications, 2017

DataRaceBench: a benchmark suite for systematic evaluation of data race detection tools.
Proceedings of the International Conference for High Performance Computing, 2017

Dealing with Reversibility of Shared Libraries in PDES.
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

2016
Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Reverse Code Generation for Parallel Discrete Event Simulation.
Proceedings of the Reversible Computation - 7th International Conference, 2015

2014
Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.
STTT, 2014

Computation of alias sets from shape graphs for comparison of shape analysis precision.
IET Software, 2014

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Evaluation and Reproducibility of Program Analysis (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Comparison of type-based and alias-based component recognition for embedded systems software.
STTT, 2013

2012
Graphical processing units and scientific applications.
IJHPCA, 2012

2011
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
Software and Systems Modeling, 2011

2009
Constraint solving for high-level WCET analysis
CoRR, 2009

From Trusted Annotations to Verified Knowledge.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

Adding Timing-Awareness to AUTOSAR Basic-Software -- A Component Based Approach.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Component Based Middleware-Synthesis for AUTOSAR Basic Software.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008
TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

Towards a Common WCET Annotation Language: Essential Ingredients.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

ALL-TIMES - A European Project on Integrating Timing Technology.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Source-To-Source Analysis with SATIrE - an Example Revisited.
Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

08161 Abstracts Collection - Scalable Program Analysis.
Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007
WCET Analysis: The Annotation Language Challenge.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006
The Language of the Visitor Design Pattern.
J. UCS, 2006

Annotating user-defined abstractions for optimization.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

2004
Parallel object-oriented framework optimization.
Concurrency and Computation: Practice and Experience, 2004

Classification and Utilization of Abstractions for Optimization.
Proceedings of the Leveraging Applications of Formal Methods, 2004

2003
A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives.
Proceedings of the OpenMP Shared Memory Parallel Programming, 2003

Semantic-Driven Parallelization of Loops Operating on User-Defined Containers.
Proceedings of the Languages and Compilers for Parallel Computing, 2003

A Source-to-Source Architecture for User-Defined Optimizations.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Topic Introduction.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002
Treating a User-Defined Parallel Library as a Domain-Specific Language.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001
The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications.
Proceedings of the Languages and Compilers for Parallel Computing, 2001

1999
PAOLA - Program Analysis of Object-Oriented Languages.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
JavaSet - eine Spracherweiterung von Java um persistente Mengen.
Proceedings of the JIT '98, 1998


  Loading...