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

Combining complex event models and timing constraints. - Marek Jersak; Kai Richter 001; Rolf Ernst (HLDVT, 2001)

Interval-Based Analysis of Software Processes. - Dirk Ziegenbein; Fabian Wolf; Kai Richter 001; Marek Jersak; Rolf Ernst (OM@PLDI, 2001)

Transformation of SDL specifications for system-level timing analysis. - Marek Jersak; Kai Richter 001; Rafik Henia; Rolf Ernst; Frank Slomka (CODES, 2002)

Model composition for scheduling analysis in platform design. - Kai Richter 001; Dirk Ziegenbein; Marek Jersak; Rolf Ernst (DAC, 2002)

Bottom-Up Performance Analysis of HW/SW Platforms. - Kai Richter 001; Dirk Ziegenbein; Marek Jersak; Rolf Ernst (DIPES, 2002)

SPI - Workbench für die Analyse Eingebetteter Systeme. - Marek Jersak; Kai Richter 001; Dirk Ziegenbein; Rolf Ernst; Christian Haubelt; Frank Slomka; Jürgen Teich (Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, 2002)

Formal Methods for Integration of Automotive Software. - Marek Jersak; Kai Richter 001; Razvan Racu; Jan Staschulat; Rolf Ernst; Jörn-Christian Braam; Fabian Wolf (Embedded Software for SoC, 2003)

Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. - Marek Jersak; Rolf Ernst (DAC, 2003)

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

Certifiable Software-Integration for Engine Electronics. - Marek Jersak; Kai Richter 001; Rolf Ernst; Jörn-Christian Braam; Zheng-Yu Jiang; Fabian Wolf (MBMV, 2003)

A Formal Approach to MpSoC Performance Verification. - Kai Richter 001; Marek Jersak; Rolf Ernst (Computer, 2003)

Context-Aware Performance Analysis for Efficient Embedded System Design. - Marek Jersak; Rafik Henia; Rolf Ernst (DATE, 2004)

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

Interval-based analysis in embedded system design. - Marek Jersak; Kai Richter 001; Rolf Ernst (Math. Comput. Simul., 2004)

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. - Christian Haubelt; Marek Jersak; Kai Richter 001; Karsten Strehl; Dirk Ziegenbein; Rolf Ernst; Jürgen Teich; Lothar Thiele (GI Jahrestagung (2), 2005)

Early Architecture Exploration with SymTA/S. - Kai Richter 001; Marek Jersak; Rolf Ernst (MBEES, 2005)

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

Performance analysis for complex embedded applications. - Marek Jersak; Kai Richter 001; Rolf Ernst (Int. J. Embed. Syst., 2005)

Compositional performance analysis for complex embedded applications. - Marek Jersak (2005)

A framework for modular analysis and exploration of heterogeneous embedded systems. - Arne Hamann 001; Marek Jersak; Kai Richter 001; Rolf Ernst (Real Time Syst., 2006)

Automotive networks: are new busses and gateways the answer or just another challenge? - Rolf Ernst; Gernot Spiegelberg; Thomas Weber 002; Hermann Kopetz; Alberto L. Sangiovanni-Vincentelli; Marek Jersak (CODES+ISSS, 2007)

Formal Methods in System and MpSoC Performance Analysis and Optimisation. - Rolf Ernst; Marek Jersak; Hans Sarnowski; Marco Bekooij; Samarjit Chakraborty (DATE, 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 (ISoLA, 2008)

Timing Validation of Automotive Software. - Daniel Kästner; Reinhard Wilhelm; Reinhold Heckmann; Marc Schlickling; Markus Pister 002; Marek Jersak; Kai Richter 001; Christian Ferdinand (ISoLA, 2008)

Learning early-stage platform dimensioning from late-stage timing verification. - Kai Richter 001; Marek Jersak; Rolf Ernst (DATE, 2009)

System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures. - Simon Schliecker; Jonas Rox; Mircea Negrean; Kai Richter 001; Marek Jersak; Rolf Ernst (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)