SafeWeb: A Middleware for Securing Ruby-Based Web Applications. - Petr Hosek 001; Matteo Migliavacca; Ioannis Papagiannis; David M. Eyers; David Evans 002; Brian Shand; Jean Bacon; Peter R. Pietzuch (Middleware, 2011)

Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. - Tomás Pop; Jaroslav Keznikl; Petr Hosek 001; Michal Malohlava; Tomás Bures; Petr Hnetynka (SERA, 2011)

Multi-version software updates. - Cristian Cadar; Petr Hosek 001 (HotSWUp, 2012)

Safe software updates via multi-version execution. - Petr Hosek 001; Cristian Cadar (ICSE, 2013)

Covrig: a framework for the analysis of code, test, and coverage evolution in real software. - Paul Dan Marinescu; Petr Hosek 001; Cristian Cadar (ISSTA, 2014)

Comparison of component frameworks for real-time embedded systems. - Tomás Pop; Petr Hnetynka; Petr Hosek 001; Michal Malohlava; Tomás Bures (Knowl. Inf. Syst., 2014)

VARAN the Unbelievable: An Efficient N-version Execution Framework. - Petr Hosek 001; Cristian Cadar (ASPLOS, 2015)

Multi-version execution for increasing the reliability and availability of updated software. - Petr Hosek 001 (2015)

Making data-driven porting decisions with Tuscan. - Kareem Khazem; Earl T. Barr; Petr Hosek 001 (ISSTA, 2018)