Markus Pister

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems

Reinhard Wilhelm, Daniel Grund, Jan Reineke et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2009 · 230 citations · Full text

Engineering, Computer Engineering, Computer Science +16

CompCert – A Formally Verified Optimizing Compiler

Xavier Leroy, Bernhard Schommer, Markus Pister · 2016 · 44 citations · Full text

Computing, Computer Engineering, Computer Science +12

Tool-support for the analysis of hybrid systems and models

Andreas Bauer, Markus Pister, Michael Tautschnig · 2007 · 20 citations

Engineering, Computer Science, Systems Engineering +17

TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis

Daniel L. Kastner, Markus Pister, Simon Wegener et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 14 citations · Full text

Engineering, Computer Engineering, Computer Science +16

Model-Based Requirements Engineering with AutoRAID.

Bernhard Schätz, A. Fleischmann, Eva Geisberger et al. · 2005 · 13 citations

Engineering, Design, Requirements Engineering +12