| Safe software updates via multi-version execution P Hosek, C Cadar 2013 35th International Conference on Software Engineering (ICSE), 612-621, 2013 | 152 | 2013 |
| Varan the unbelievable: An efficient n-version execution framework P Hosek, C Cadar ACM SIGARCH Computer Architecture News 43 (1), 339-353, 2015 | 118 | 2015 |
| Covrig: A framework for the analysis of code, test, and coverage evolution in real software P Marinescu, P Hosek, C Cadar Proceedings of the 2014 international symposium on software testing and …, 2014 | 74 | 2014 |
| Comparison of component frameworks for real-time embedded systems P Hošek, T Pop, T Bureš, P Hnětynka, M Malohlava International Symposium on Component-Based Software Engineering, 21-36, 2010 | 71 | 2010 |
| S afeWeb: A Middleware for Securing Ruby-Based Web Applications P Hosek, M Migliavacca, I Papagiannis, DM Eyers, D Evans, B Shand, ... Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference …, 2011 | 30 | 2011 |
| Multi-version software updates C Cadar, P Hosek 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp …, 2012 | 26 | 2012 |
| Comparison of component frameworks for real-time embedded systems T Pop, P Hnětynka, P Hošek, M Malohlava, T Bureš Knowledge and Information Systems 40, 127-170, 2014 | 24 | 2014 |
| Supporting real-time features in a hierarchical component system P Hošek Univerzita Karlova, Matematicko-fyzikální fakulta, 2010 | 13 | 2010 |
| Introducing support for embedded and real-time devices into existing hierarchical component system: Lessons learned T Pop, J Keznikl, P Hosek, M Malohlava, T Bures, P Hnetynka 2011 Ninth International Conference on Software Engineering Research …, 2011 | 5 | 2011 |
| Making data-driven porting decisions with Tuscan K Khazem, ET Barr, P Hosek Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 2 | 2018 |
| Multi-version Execution for Increasing the Reliability and Availability of Updated Software P Hosek Imperial College London, 2015 | | 2015 |
| Extrakce dat z HTML P Hošek Univerzita Karlova, Matematicko-fyzikální fakulta, 2008 | | 2008 |
| Code, Test, and Coverage Evolution in Mature Software Systems: Changes over the Past Decade T Bailey, C Cadar, PD Marinescu, P Hosek | | |