dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marek Jersak Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Richter, Marek Jersak, Rolf Ernst: Learning early-stage platform dimensioning from late-stage timing verification. DATE 2009: 851-857
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Schliecker, Jonas Rox, Mircea Negrean, Kai Richter, Marek Jersak, Rolf Ernst: System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures. IEEE Trans. on CAD of Integrated Circuits and Systems 28(7): 979-992 (2009)
2008
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Ernst, Marek Jersak, Hans Sarnowski, Marco Bekooij, Samarjit Chakraborty: Formal Methods in System and MpSoC Performance Analysis and Optimisation. DATE 2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArne 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRazvan 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Richter, Marek Jersak, Rolf Ernst: Early Architecture Exploration with SymTA/S. MBEES 2005: 125-134
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Jersak, Kai Richter, Rolf Ernst: Performance analysis for complex embedded applications. IJES 1(1/2): 33-49 (2005)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Jersak: Compositional performance analysis for complex embedded applications. University of Braunschweig - Institute of Technology 2005
2004
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Jersak, Rafik Henia, Rolf Ernst: Context-Aware Performance Analysis for Efficient Embedded System Design. DATE 2004: 1046-1051
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArne 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Jersak, Kai Richter, Rolf Ernst: Interval-based analysis in embedded system design. Mathematics and Computers in Simulation 66(2-3): 231-242 (2004)
2003
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Jersak, Rolf Ernst: Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. DAC 2003: 454-459
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Richter, Marek Jersak, Rolf Ernst: A Formal Approach to MpSoC Performance Verification. IEEE Computer 36(4): 60-67 (2003)
2002
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Jersak, Kai Richter, Rafik Henia, Rolf Ernst, Frank Slomka: Transformation of SDL specifications for system-level timing analysis. CODES 2002: 121-126
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Model composition for scheduling analysis in platform design. DAC 2002: 287-292
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst: Bottom-Up Performance Analysis of HW/SW Platforms. DIPES 2002: 173-183
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Ziegenbein, Fabian Wolf, Kai Richter, Marek Jersak, Rolf Ernst: Interval-Based Analysis of Software Processes. LCTES/OM 2001: 94-101
2000
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek 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

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

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page