Publications
2012
- The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
Axel Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
Railway Safety, Reliability, and Security: Technologies and Systems Engineering, IGI Global
abstract;
Book Website;
- On the Correctness of the SIMT Execution Model of GPUs (ESOP'12 Paper)
Axel Habermaier, Alexander Knapp
LNCS 7211, Springer
abstract;
- On the Correctness of the SIMT Execution Model of GPUs (Technical Report)
Axel Habermaier, Alexander Knapp
Technical Report 2012-01, Institute of Computer Science, University of Augsburg
abstract;
Article available on the publication server of the University of Augsburg;
2011
- The Model of Computation of CUDA and its Formal Semantics
Axel Habermaier
Technical Report 2011-14, Institute of Computer Science, University of Augsburg
abstract;
Article available on the publication server of the University of Augsburg;
Suche