Framework for static analysis of PHP applications D Hauzar, J Kofron 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 33 | 2015 |
Instrumenting a weakest precondition calculus for counterexample generation S Dailler, D Hauzar, C Marché, Y Moy Journal of logical and algebraic methods in programming 99, 97-113, 2018 | 25 | 2018 |
Counterexamples from proof failures in SPARK D Hauzar, C Marché, Y Moy Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 14 | 2016 |
Verifying temporal properties of use-cases in natural language V Simko, D Hauzar, T Bures, P Hnetynka, F Plasil Formal Aspects of Component Software: 8th International Symposium, FACS 2011 …, 2012 | 14 | 2012 |
On security analysis of PHP web applications D Hauzar, J Kofron 2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012 | 12 | 2012 |
Data-flow analysis of programs with associative arrays D Hauzar, J Kofroň, P Baštecký arXiv preprint arXiv:1405.1116, 2014 | 10 | 2014 |
Formal verification of annotated textual use-cases V Simko, D Hauzar, P Hnetynka, T Bures, F Plasil The Computer Journal 58 (7), 1495-1529, 2015 | 8 | 2015 |
Weverca: Web applications verification for php D Hauzar, J Kofroň International Conference on Software Engineering and Formal Methods, 296-301, 2014 | 7 | 2014 |
Counterexamples from proof failures in the SPARK program verifier D Hauzar, C Marché, Y Moy Inria, 2016 | 2 | 2016 |
Zpracování digitálních snímků videokymografických záznamů jako podpůrný nástroj pro diagnostiku hlasivek D Hauzar Univerzita Karlova, Matematicko-fyzikální fakulta, 2010 | 2 | 2010 |
Towards Static Analysis of Languages with Dynamic Features D Hauzar Univerzita Karlova, Matematicko-fyzikální fakulta, 2014 | 1 | 2014 |
Hunting bugs inside web applications D Hauzar, J Kofron Formal Verification of Object-Oriented Software, 208, 2011 | 1 | 2011 |
Verifying Temporal Properties of Use-Cases in Natural V Simko, D Hauzar, T Bures, P Hnetynka, F Plasil 8th International Symposium on Formal Aspects of Component Software, 334, 2011 | | 2011 |
Videokymografie jako klinický nástroj pro diagnostiku poruch hlasivek Systematická vizuální charakteristika a kategorizace vibračních vzorů hlasivek. Stav její automatizace … D Hauzar, A Vetešník | | 2008 |
Image Viewing and Manipulation Tool D Hauzar Univerzita Karlova, Matematicko-fyzikální fakulta, 2007 | | 2007 |
Local Verification of Global Invariants in Concurrent Programs D Hauzar | | |
Highlights of The Future of Software Symposium D Hauzar | | |
Semantics of C++ Concurrency D Hauzar | | |