Marek Jersak

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

University of Braunschweig - Institute of Technology (PHD)

Education History

University of Braunschweig - Institute of Technology

PHD

Publications

Simon Schliecker, Jonas Rox, Mircea Negrean, Kai Richter, Marek Jersak, Rolf Ernst
System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (7) (2009)
Kai Richter, Marek Jersak, Rolf Ernst
Learning early-stage platform dimensioning from late-stage timing verification. DATE (2009)
Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat
ALL-TIMES - A European Project on Integrating Timing Technology. ISoLA (2008)
Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand
Timing Validation of Automotive Software. ISoLA (2008)
Rolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty
Formal Methods in System and MpSoC Performance Analysis and Optimisation. DATE (2008)
Rolf Ernst, Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak
Automotive networks: are new busses and gateways the answer or just another challenge? CODES+ISSS (2007)
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst
A framework for modular analysis and exploration of heterogeneous embedded systems. Real Time Syst. 33 (1-3) (2006)
Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. GI Jahrestagung (2) (2005)
Kai Richter, Marek Jersak, Rolf Ernst
Early Architecture Exploration with SymTA/S. MBEES (2005)
Marek Jersak, Kai Richter, Rolf Ernst
Performance analysis for complex embedded applications. Int. J. Embed. Syst. 1 (1/2) (2005)
Razvan Racu, Marek Jersak, Rolf Ernst
Applying Sensitivity Analysis in Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Marek Jersak, Kai Richter, Rolf Ernst
Interval-based analysis in embedded system design. Math. Comput. Simul. 66 (2-3) (2004)
Marek Jersak, Rafik Henia, Rolf Ernst
Context-Aware Performance Analysis for Efficient Embedded System Design. DATE (2004)
Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst
Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems. RTSS (2004)
Kai Richter, Marek Jersak, Rolf Ernst
A Formal Approach to MpSoC Performance Verification. Computer 36 (4) (2003)
Marek Jersak, Rolf Ernst
Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. DAC (2003)
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf
Formal Methods for Integration of Automotive Software. DATE (2003)
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf
Certifiable Software-Integration for Engine Electronics. MBMV (2003)
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
Bottom-Up Performance Analysis of HW/SW Platforms. DIPES (2002)
Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka
Transformation of SDL specifications for system-level timing analysis. CODES (2002)
Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, Jürgen Teich
SPI - Workbench für die Analyse Eingebetteter Systeme. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (2002)
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
Model composition for scheduling analysis in platform design. DAC (2002)
Dirk Ziegenbein, F. Wolf, K. Richter, Marek Jersak, R. Ernst
Interval-Based Analysis of Software Processes. OM@PLDI (2001)
Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst
Interval-Based Analysis of Software Processes. LCTES/OM (2001)
Marek Jersak, Kai Richter, Rolf Ernst
Combining complex event models and timing constraints. HLDVT (2001)
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Ernst
A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model. ISSS (2000)

Marek Jersak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Marek Jersak