Petr Hosek
Petr Hosek
Verified email at google.com - Homepage
TitleCited byYear
Auxin transporters—why so many?
E ZažŪmalovŠ, AS Murphy, H Yang, K HoyerovŠ, P Hošek
Cold Spring Harbor perspectives in biology 2 (3), a001552, 2010
3332010
Safe software updates via multi-version execution
P Hosek, C Cadar
Proceedings of the 2013 International Conference on Software Engineering†…, 2013
782013
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
Multi-solver support in symbolic execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification, 53-68, 2013
582013
Varan the unbelievable: An efficient n-version execution framework
P Hosek, C Cadar
ACM SIGPLAN Notices 50 (4), 339-353, 2015
502015
Auxin transport at cellular level: new insights supported by mathematical modelling
P Hošek, M Kubeš, M LaňkovŠ, PI Dobrev, P KlŪma, M Kohoutova, ...
Journal of experimental botany 63 (10), 3815-3827, 2012
412012
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
372014
Tomato (Solanum lycopersicum L.) SlIPT3 and SlIPT4 isopentenyltransferases mediate salt stress response in tomato
E ŽižkovŠ, PI Dobrev, Y Muhovski, P Hošek, K HoyerovŠ, D Haisel, ...
BMC plant biology 15 (1), 85, 2015
342015
Safeweb: A middleware for securing ruby-based web applications
P Hosek, M Migliavacca, I Papagiannis, DM Eyers, D Evans, B Shand, ...
Proceedings of the 12th International Middleware Conference, 480-499, 2011
272011
Targeted program transformations for symbolic execution
C Cadar
Proceedings of the 2015 10th Joint Meeting on Foundations of Software†…, 2015
242015
Chopped symbolic execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
Proceedings of the 40th International Conference on Software Engineering†…, 2018
202018
Multi-version software updates
C Cadar, P Hosek
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp†…, 2012
192012
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
172014
Hormonal dynamics during salt stress responses of salt-sensitive Arabidopsis thaliana and salt-tolerant Thellungiella salsuginea
S Prerostova, PI Dobrev, A Gaudinova, P Hosek, P Soudek, V Knirsch, ...
Plant Science 264, 188-198, 2017
152017
Supporting real-time features in a hierarchical component system
P Hošek
Univerzita Karlova, Matematicko-fyzikŠlnŪ fakulta, 2010
112010
Auxin molecular field maps define AUX 1 selectivity: many auxin herbicides are not substrates
K Hoyerova, P Hosek, M Quareshy, J Li, P Klima, M Kubes, AA Yemm, ...
New Phytologist 217 (4), 1625-1639, 2018
62018
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
A {DSL} Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 417-429, 2017
42017
Auxin transporters—why so many? Cold Spring Harb Perspect Biol 2: a001552
E ZazimalovŠ, AS Murphy, H Yang, K Hoyerova, P Hosek
42010
Towards deployment-time dynamic analysis of server applications
L Pina, C Cadar
Proceedings of the 13th International Workshop on Dynamic Analysis, 35-36, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20