Petr Hosek
Petr Hosek
Bestätigte E-Mail-Adresse bei google.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Safe software updates via multi-version execution
P Hosek, C Cadar
2013 35th International Conference on Software Engineering (ICSE), 612-621, 2013
982013
Varan the unbelievable: An efficient n-version execution framework
P Hosek, C Cadar
ACM SIGARCH Computer Architecture News 43 (1), 339-353, 2015
672015
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
622010
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
432014
S afeWeb: A Middleware for Securing Ruby-Based Web Applications
P Hosek, M Migliavacca, I Papagiannis, DM Eyers, D Evans, B Shand, ...
ACM/IFIP/USENIX International Conference on Distributed Systems Platforms …, 2011
262011
Multi-version software updates
C Cadar, P Hosek
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp …, 2012
222012
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 (1), 127-170, 2014
202014
Supporting real-time features in a hierarchical component system
P Hošek
Univerzita Karlova, Matematicko-fyzikální fakulta, 2010
112010
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
52011
Making data-driven porting decisions with Tuscan
K Khazem, ET Barr, P Hosek
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12