Petr Hosek
Petr Hosek
Email verificata su google.com - Home page
Titolo
Citata da
Citata da
Anno
Safe software updates via multi-version execution
P Hosek, C Cadar
2013 35th International Conference on Software Engineering (ICSE), 612-621, 2013
942013
Varan the unbelievable: An efficient n-version execution framework
P Hosek, C Cadar
ACM SIGARCH Computer Architecture News 43 (1), 339-353, 2015
632015
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
592010
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
412014
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
212012
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
182014
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–12