Marek Jersak

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. on CAD of Integrated Circuits and Systems 28(7): 979-992 (2009)

Kai Richter, Marek Jersak, Rolf Ernst: Learning early-stage platform dimensioning from late-stage timing verification. DATE 2009: 851-857

Rolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty: Formal Methods in System and MpSoC Performance Analysis and Optimisation. DATE 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: 93-107

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: 445-459

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: 263

Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst: A framework for modular analysis and exploration of heterogeneous embedded systems. Real-Time Systems 33(1-3): 101-137 (2006)

Marek Jersak: Compositional performance analysis for complex embedded applications. University of Braunschweig - Institute of Technology 2005

Marek Jersak, Kai Richter, Rolf Ernst: Performance analysis for complex embedded applications. IJES 1(1/2): 33-49 (2005)

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: 693-697

Kai Richter, Marek Jersak, Rolf Ernst: Early Architecture Exploration with SymTA/S. MBEES 2005: 125-134

Razvan Racu, Marek Jersak, Rolf Ernst: Applying Sensitivity Analysis in Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 160-169

Marek Jersak, Kai Richter, Rolf Ernst: Interval-based analysis in embedded system design. Mathematics and Computers in Simulation 66(2-3): 231-242 (2004)

Marek Jersak, Rafik Henia, Rolf Ernst: Context-Aware Performance Analysis for Efficient Embedded System Design. DATE 2004: 1046-1051

Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst: Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems. RTSS 2004: 469-478

Kai Richter, Marek Jersak, Rolf Ernst: A Formal Approach to MpSoC Performance Verification. IEEE Computer 36(4): 60-67 (2003)

Marek Jersak, Rolf Ernst: Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. DAC 2003: 454-459

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf: Formal Methods for Integration of Automotive Software. DATE 2003: 20045-20050

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf: Certifiable Software-Integration for Engine Electronics. MBMV 2003: 102-111

Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka: Transformation of SDL specifications for system-level timing analysis. CODES 2002: 121-126

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Model composition for scheduling analysis in platform design. DAC 2002: 287-292

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Bottom-Up Performance Analysis of HW/SW Platforms. DIPES 2002: 173-183

Marek Jersak, Kai Richter, Rolf Ernst: Combining complex event models and timing constraints. HLDVT 2001: 89-94

Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst: Interval-Based Analysis of Software Processes. LCTES/OM 2001: 94-101

Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Ernst: A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model. ISSS 2000: 137-142