Markus Pister

Markus Pister

Selected publications

  • Obtaining DO-178C Certification Credits by Static Program Analysis. D. Kästner, M. Pister, C. Ferdinand. In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, Toulouse, June 2022.
  • Testing Implementation Soundness of a WCET Analysis Tool, R. Wilhelm, M. Pister, G. Gebhard, and D. Kästner. In Jian-Jia Chen, Ed., A Journey of Embedded and Cyber-Physical Systems, Springer Open Access, 2021. ISBN 978-3-030-47487-4 (eBook).
  • Obtaining worst-case execution time bounds on modern microprocessors (PDF, 900kB). D. Kästner, M. Pister, S. Wegener, and C. Ferdinand. Embedded World Congress, Nuremberg, 2018.
  • CompCert — A Formally Verified Optimizing Compiler (Best Paper Award). X. Leroy, S. Blazy, D. Kästner, B. Schommer, M. Pister, C. Ferdinand. In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, Toulouse, January 2016.
  • Combining Model-based Analysis and Testing. D. Kästner, U. Brockmeyer, M. Pister, S. Nenova, T. Bienmüller, A. Dereani, C. Ferdinand. Embedded Real Time Software and Systems Congress ERTS², Toulouse, 2014.
  • Reliability of WCET Analysis. D. Kästner, M. Pister, G. Gebhard, C. Ferdinand. Embedded Real Time Software and Systems Congress ERTS², Toulouse, 2014.
  • Confidence in Timing. D. Kästner, M. Pister, G. Gebhard, M. Schlickling, C. Ferdinand. Proceedings of the Safecomp 2013 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Toulouse, 2013.
  • Meeting Real-Time Requirements with Multi-Core Processors. D. Kästner, M. Schlickling, M. Pister, C. Cullmann, G. Gebhard, R. Heckmann, C. Ferdinand. Safecomp 2012 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), Magdeburg, September 2012.
  • Timing Validation of Automotive Software. D. Kästner, R. Wilhelm, R. Heckmann, M. Schlickling, M. Pister, M. Jersak, K. Richter, C. Ferdinand. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Kassandra, Greece, 2008.
  • Generic Software Pipelining at the Assembly Level. M. Pister and D. Kästner. Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005), ACM International Conference Proceeding Series 136, pp. 50–61. New York, ACM Press, 2005.