BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jersak:Marek

Contributed to:

DATE 20092009
DATE 20082008
DATE v2 20042004
DAC 20032003
DATE 20032003
DAC 20022002
LCTES/OM 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.