Petr Hosek

According to our database, Petr Hosek authored at least 8 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Multi-version execution for increasing the reliability and availability of updated software.

Petr Hosek

PhD thesis, 2015

VARAN the Unbelievable: An Efficient N-version Execution Framework.

Petr Hosek, Cristian Cadar

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Comparison of component frameworks for real-time embedded systems.

Tomás Pop, Petr Hnetynka, Petr Hosek, Michal Malohlava, Tomás Bures

Knowl. Inf. Syst., 2014

Covrig: a framework for the analysis of code, test, and coverage evolution in real software.

Paul Dan Marinescu, Petr Hosek, Cristian Cadar

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Safe software updates via multi-version execution.

Petr Hosek, Cristian Cadar

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Multi-version software updates.

Cristian Cadar, Petr Hosek

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011

Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned.

Tomás Pop, Jaroslav Keznikl, Petr Hosek, Michal Malohlava, Tomás Bures, Petr Hnetynka

Proceedings of the 9th International Conference on Software Engineering Research, 2011

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

Proceedings of the Middleware 2011, 2011