Petr Hosek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISSTA | Making data-driven porting decisions with Tuscan. | Kareem Khazem, Earl T. Barr, Petr Hosek |
| 2015 | ASPLOS | VARAN the Unbelievable: An Efficient N-version Execution Framework. | Petr Hosek, Cristian Cadar |
| 2014 | ISSTA | Covrig: a framework for the analysis of code, test, and coverage evolution in real software. | Paul Dan Marinescu, Petr Hosek, Cristian Cadar |
| 2013 | ICSE | Safe software updates via multi-version execution. | Petr Hosek, Cristian Cadar |
| 2011 | Middleware | SafeWeb: A Middleware for Securing Ruby-Based Web Applications. | Petr Hosek, Matteo Migliavacca, Ioannis Papagiannis, David M. Eyers, David Evans, Brian Shand, Jean Bacon, Peter R. Pietzuch |
| 2011 | SERA | Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. | Toms Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Toms Bures, Petr Hnetynka |