Travelled to:2 × France
2 × Germany
3 × USA
Collaborated with:R.Ernst K.Richter D.Ziegenbein F.Wolf R.Henia H.Sarnowski M.Bekooij S.Chakraborty J.Braam Z.Jiang
Talks about:analysi (5) system (3) platform (2) softwar (2) schedul (2) perform (2) method (2) interv (2) formal (2) design (2)
Person: Marek Jersak
DBLP: Jersak:Marek
Contributed to:
200920082004
200320032002
2001Wrote 7 papers:
- DATE-2009-RichterJE #framework #learning #verification
- Learning early-stage platform dimensioning from late-stage timing verification (KR, MJ, RE), pp. 851–857.
- DATE-2008-ErnstJSBC #analysis #formal method #optimisation #performance
- Formal Methods in System and MpSoC Performance Analysis and Optimisation (RE, MJ, HS, MB, SC).
- DATE-v2-2004-JersakHE #analysis #design #embedded #performance
- Context-Aware Performance Analysis for Efficient Embedded System Design (MJ, RH, RE), pp. 1046–1051.
- DAC-2003-JersakE #analysis #dependence #multi #scheduling
- Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals (MJ, RE), pp. 454–459.
- DATE-2003-JersakREBJW #formal method #integration
- Formal Methods for Integration of Automotive Software (MJ, KR, RE, JCB, ZYJ, FW), pp. 20045–20050.
- DAC-2002-RichterZJE #analysis #composition #design #framework #platform #scheduling
- Model composition for scheduling analysis in platform design (KR, DZ, MJ, RE), pp. 287–292.
- LCTES-OM-2001-ZiegenbeinWRJE #analysis #process
- Interval-Based Analysis of Software Processes (DZ, FW, KR, MJ, RE), pp. 94–101.