Marek Jersak

According to our database, Marek Jersak authored at least 27 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures.

Simon Schliecker, Jonas Rox, Mircea Negrean, Kai Richter, Marek Jersak, Rolf Ernst

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Learning early-stage platform dimensioning from late-stage timing verification.

Kai Richter, Marek Jersak, Rolf Ernst

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Timing Validation of Automotive Software.

Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand

Proceedings of the Leveraging Applications of Formal Methods, 2008

ALL-TIMES - A European Project on Integrating Timing Technology.

Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat

Proceedings of the Leveraging Applications of Formal Methods, 2008

Formal Methods in System and MpSoC Performance Analysis and Optimisation.

Rolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Automotive networks: are new busses and gateways the answer or just another challenge?

Rolf Ernst, Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006

A framework for modular analysis and exploration of heterogeneous embedded systems.

Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst

Real Time Syst., 2006

2005

Compositional performance analysis for complex embedded applications.

Marek Jersak

PhD thesis, 2005

Performance analysis for complex embedded applications.

Marek Jersak, Kai Richter, Rolf Ernst

Int. J. Embed. Syst., 2005

Applying Sensitivity Analysis in Real-Time Distributed Systems.

Razvan Racu, Marek Jersak, Rolf Ernst

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Early Architecture Exploration with SymTA/S.

Kai Richter, Marek Jersak, Rolf Ernst

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.

Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

Interval-based analysis in embedded system design.

Marek Jersak, Kai Richter, Rolf Ernst

Math. Comput. Simul., 2004

Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems.

Arne Hamann, Marek Jersak, Kai Richter, Rolf Ernst

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Context-Aware Performance Analysis for Efficient Embedded System Design.

Marek Jersak, Rafik Henia, Rolf Ernst

Proceedings of the 2004 Design, 2004

2003

A Formal Approach to MpSoC Performance Verification.

Kai Richter, Marek Jersak, Rolf Ernst

Computer, 2003

Certifiable Software-Integration for Engine Electronics.

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Proceedings of the 2003 Design, 2003

Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals.

Marek Jersak, Rolf Ernst

Proceedings of the 40th Design Automation Conference, 2003

Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn-Christian Braam, Fabian Wolf

Proceedings of the Embedded Software for SoC, 2003

2002

SPI - Workbench für die Analyse Eingebetteter Systeme.

Marek Jersak, Kai Richter, Dirk Ziegenbein, Rolf Ernst, Christian Haubelt, Frank Slomka, Jürgen Teich

Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002

Bottom-Up Performance Analysis of HW/SW Platforms.

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst

Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17^th World Computer Congress, 2002

Model composition for scheduling analysis in platform design.

Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst

Proceedings of the 39th Design Automation Conference, 2002

Transformation of SDL specifications for system-level timing analysis.

Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

Interval-Based Analysis of Software Processes.

Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst

Proceedings of The Workshop on Languages, 2001

Combining complex event models and timing constraints.

Marek Jersak, Kai Richter, Rolf Ernst

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

2000

A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model.

Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Ernst

Proceedings of the 13th International Symposium on System Synthesis, 2000