Marek Jersak

发表

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

Rolf Ernst, Kai Richter, Marek Jersak, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

System level performance analysis - the SymTA/S approach

Rolf Ernst, Kai Richter, Marek Jersak, 2005 .

Compositional performance analysis for complex embedded applications

Marek Jersak, M. Jersak, 2004 .

Formal Methods for Integration of Automotive Software

Marek Jersak, Zheng-Yu Jiang, Fabian Wolf, 2003, DATE.

Interval-Based Analysis of Software Processes

Rolf Ernst, Kai Richter, Marek Jersak, 2001, OM '01.

OEMs and Suppliers Must Cooperate on Timing Analysis when Integrating FlexRay-Based Chassis Systems

Kai Richter, Marek Jersak, 2009 .

Bottom-Up Performance Analysis of HW/SW Platforms

Rolf Ernst, Kai Richter, Marek Jersak, 2002, DIPES.

Timing analysis for verification of network architectures

Thomas Weber, Jürgen Becker, Kai Richter, 2009 .

Early Architecture Exploration with SymTA/S

Rolf Ernst, Kai Richter, Marek Jersak, 2005, MBEES.

Transformation of SDL specifications for system-level timing analysis

Rolf Ernst, Kai Richter, Marek Jersak, 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme

Christian Haubelt, Jürgen Teich, Lothar Thiele, 2005, GI Jahrestagung.

ALL-TIMES - A European Project on Integrating Timing Technology

Jan Gustafsson, Guillem Bernat, Markus Schordan, 2008, ISoLA.

Design space exploration and system optimization with SymTA/S - symbolic timing analysis for systems

Rolf Ernst, Kai Richter, Marek Jersak, 2004, 25th IEEE International Real-Time Systems Symposium.

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

Rolf Ernst, Kai Richter, Simon Schliecker, 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A Virtual Platform for Architecture Integration and Optimization in Automotive Communication Networks

Kai Richter, Marek Jersak, Rolf Ernst, 2007 .

Automotive networks — Are new busses and gateways the answer or just another challenge?

Alberto L. Sangiovanni-Vincentelli, Marek Jersak, Hermann Kopetz, 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Model composition for scheduling analysis in platform design

Rolf Ernst, Kai Richter, Marek Jersak, 2002, DAC '02.

Efficient Reliability and Safety Analysis for Mixed-Criticality Embedded Systems

Rolf Ernst, Nico Feiertag, Marek Jersak, 2011 .

The right timing analysis tools increase safety and productivity

Kai Richter, Marek Jersak, Peter Gliwa, 2009 .

A Formal Approach to MpSoC Performance Verification

Rolf Ernst, Kai Richter, Marek Jersak, 2003, Computer.

Embedded System Design using the SPI Workbench

Lothar Thiele, Kai Richter, Marek Jersak, 2000 .

Certifiable Software-Integration for Engine Electronics

Rolf Ernst, Kai Richter, Marek Jersak, 2003, MBMV.

Formal Methods in System and MpSoC Performance Analysis and Optimisation

Rolf Ernst, Samarjit Chakraborty, Marek Jersak, 2008, 2008 Design, Automation and Test in Europe.

Laufzeitanalysen zur fruehzeitigen Absicherung von Software

Kai Richter, Marek Jersak, Peter Gliwa, 2009 .

Breaking Down Complexity for Reliable System-Level Timing Validation

Kai Richter, Marek Jersak, Dirk Ziegenbein, 2002 .

A General Approach to Modelling System-Level Timing Constraints

Rolf Ernst, Marek Jersak, Dirk Ziegenbein, 2002 .

Combining complex event models and timing constraints

Rolf Ernst, Kai Richter, Marek Jersak, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.

On Designing Software Architectures for Next-Generation Multi-Core ECUs

Kai Richter, Marek Jersak, Shige Wang, 2015 .

SymTA/S - Symbolic Timing Analysis for Systems

Rolf Ernst, Kai Richter, Marek Jersak, 2004 .

A framework for modular analysis and exploration of heterogeneous embedded systems

Rolf Ernst, Kai Richter, Marek Jersak, 2006, Real-Time Systems.

Performance analysis for complex embedded applications

Rolf Ernst, Kai Richter, Marek Jersak, 2005, Int. J. Embed. Syst..

Timing Validation of Automotive Software

Reinhard Wilhelm, Kai Richter, Marek Jersak, 2008, ISoLA.

A Transformational approach to constraint relaxation of a time-driven simulation model

Ying Cai, Rolf Ernst, Marek Jersak, 2000, ISSS '00.

An Integrated Timing Analysis Methodology for Real-Time Systems

Marek Jersak, Daniel Kästner, Reinhold Heckmann, 2011 .

Integration of Code-Level and System-Level Timing Analysis for Early Architecture Exploration and Reliable Timing Verification

Nico Feiertag, Kai Richter, Marek Jersak, 2010 .

Interval-based analysis in embedded system design

Rolf Ernst, Kai Richter, Marek Jersak, 2004, Math. Comput. Simul..

Applying Sensitivity Analysis in Real-Time Distributed Systems

Rolf Ernst, Marek Jersak, Razvan Racu, 2005, IEEE Real-Time and Embedded Technology and Applications Symposium.

Software Architecture Methods and Mechanisms for Timing Error and Failure Detection According to ISO 26262: Deadline vs. Execution Time Monitoring

Karsten Schmidt, Christoph Ficek, Nico Feiertag, 2013 .

A Formal Approach to MpSoC

Kai Richter, Marek Jersak, Rolf Ernst, 2003 .

Context-aware performance analysis for efficient embedded system design

Rolf Ernst, Marek Jersak, Rafik Henia, 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

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

Rolf Ernst, Marek Jersak, R. Ernst, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Using Timing Analysis for Evaluating Communication Behavior and Network Topologies in an Early Design Phase of Automotive Electric/Electronic Architectures

Jürgen Becker, Kai Richter, Marek Jersak, 2009 .

Scheduling Analysis and Optimization for Safety-Critical Automotive Systems

Kai Richter, Marek Jersak, 2008 .

Exploration and Optimization of Gated Automotive Networks using Scheduling Analysis

Kai Richter, Marek Jersak, 2008 .

System Level Performance Analysis for Real-Time

Rolf Ernst, Simon Schliecker, Kai Richter, 2009 .