BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Turkey
2 × USA
Collaborated with:
C.Cadar P.D.Marinescu T.Pop T.Bures P.Hnetynka M.Malohlava
Talks about:
framework (3) version (2) softwar (2) execut (2) real (2) comparison (1) unbeliev (1) coverag (1) analysi (1) system (1)

Person: Petr Hosek

DBLP DBLP: Hosek:Petr

Contributed to:

ASPLOS 20152015
ISSTA 20142014
ICSE 20132013
CBSE 20102010

Wrote 4 papers:

ASPLOS-2015-HosekC #execution #framework #performance
VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ISSTA-2014-MarinescuHC #analysis #evolution #framework #named
Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.
ICSE-2013-HosekC #execution #multi
Safe software updates via multi-version execution (PH, CC), pp. 612–621.
CBSE-2010-HosekPBHM #comparison #component #embedded #framework #realtime
Comparison of Component Frameworks for Real-Time Embedded Systems (PH, TP, TB, PH, MM), pp. 21–36.

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.