Marek Jersak

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