2022
Proceedings of the SSA-based Compiler Design, 2022
2021
HPAC: evaluating approximate computing techniques on HPC OpenMP applications.
Proceedings of the International Conference for High Performance Computing, 2021
2020
Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Introduction of the Software Technology Department.
IT Prof., 2020
Software Verification Tools (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis.
Proceedings of the IEEE International Symposium on Workload Characterization, 2020
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 Gener. 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.
Int. J. Softw. Tools Technol. Transf., 2014
Computation of alias sets from shape graphs for comparison of shape analysis precision.
IET Softw., 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.
Int. J. Softw. Tools Technol. Transf., 2013
2012
Graphical processing units and scientific applications.
Int. J. High Perform. Comput. Appl., 2012
2011
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
Softw. Syst. Model., 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. Univers. Comput. Sci., 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.
Concurr. Comput. Pract. Exp., 2004
Classification and Utilization of Abstractions for Optimization.
Proceedings of the International Symposium on 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
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