Marek Jersak

2008
19	EE	Rolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty: Formal Methods in System and MpSoC Performance Analysis and Optimisation. DATE 2008
18	EE	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
17	EE	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
2007
16	EE	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
2006
15	EE	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)
2005
14		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
13	EE	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
12	EE	Marek Jersak, Kai Richter, Rolf Ernst: Performance analysis for complex embedded applications. IJES 1(1/2): 33-49 (2005)
2004
11	EE	Marek Jersak, Rafik Henia, Rolf Ernst: Context-Aware Performance Analysis for Efficient Embedded System Design. DATE 2004: 1046-1051
10	EE	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
9	EE	Marek Jersak, Kai Richter, Rolf Ernst: Interval-based analysis in embedded system design. Mathematics and Computers in Simulation 66(2-3): 231-242 (2004)
2003
8	EE	Marek Jersak, Rolf Ernst: Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. DAC 2003: 454-459
7	EE	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
6	EE	Kai Richter, Marek Jersak, Rolf Ernst: A Formal Approach to MpSoC Performance Verification. IEEE Computer 36(4): 60-67 (2003)
2002
5	EE	Marek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka: Transformation of SDL specifications for system-level timing analysis. CODES 2002: 121-126
4	EE	Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Model composition for scheduling analysis in platform design. DAC 2002: 287-292
3		Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Bottom-Up Performance Analysis of HW/SW Platforms. DIPES 2002: 173-183
2001
2		Dirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst: Interval-Based Analysis of Software Processes. LCTES/OM 2001: 94-101
2000
1	EE	Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Ernst: A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model. ISSS 2000: 137-142

Coauthor Index

1	Marco Bekooij	[19]
2	Guillem Bernat	[18]
3	Jörn-Christian Braam	[7]
4	Ying Cai	[1]
5	Samarjit Chakraborty	[19]
6	Rolf Ernst	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [19]
7	Christian Ferdinand	[17] [18]
8	Peter Gliwa	[18]
9	Jan Gustafsson	[18]
10	Arne Hamann	[10] [15]
11	Christian Haubelt	[14]
12	Reinhold Heckmann	[17]
13	Rafik Henia	[5] [11]
14	Zheng-Yu Jiang	[7]
15	Daniel Kästner	[17]
16	Hermann Kopetz	[16]
17	Björn Lisper	[18]
18	Markus Pister	[17]
19	Razvan Racu	[13]
20	Kai Richter	[2] [3] [4] [5] [6] [7] [9] [10] [12] [14] [15] [17]
21	Alberto L. Sangiovanni-Vincentelli	[16]
22	Hans Sarnowski	[19]
23	Marc Schlickling	[17]
24	Markus Schordan	[18]
25	Frank Slomka	[5]
26	Gernot Spiegelberg	[16]
27	Karsten Strehl	[14]
28	Jürgen Teich	[14]
29	Lothar Thiele	[14]
30	Thomas Weber	[16]
31	Reinhard Wilhelm	[17]
32	Fabian Wolf	[2] [7]
33	Dirk Ziegenbein	[1] [2] [3] [4] [14]