Verifying Temporal Properties of Use-Cases in Natural Language. - Viliam Simko; David Hauzar; Tomás Bures; Petr Hnetynka; Frantisek Plásil (FACS, 2011)

On Security Analysis of PHP Web Applications. - David Hauzar; Jan Kofron (COMPSAC Workshops, 2012)

WeVerca: Web Applications Verification for PHP. - David Hauzar; Jan Kofron (SEFM, 2014)

Data-flow Analysis of Programs with Associative Arrays. - David Hauzar; Jan Kofron; Pavel Bastecký (ESSS, 2014)

Framework for Static Analysis of PHP Applications. - David Hauzar; Jan Kofron (ECOOP, 2015)

Formal Verification of Annotated Textual Use-Cases. - Viliam Simko; David Hauzar; Petr Hnetynka; Tomás Bures; Frantisek Plásil (Comput. J., 2015)

Framework for Static Analysis of PHP Applications (Artifact). - David Hauzar; Jan Kofron (Dagstuhl Artifacts Ser., 2015)

Counterexamples from Proof Failures in SPARK. - David Hauzar; Claude Marché; Yannick Moy (SEFM, 2016)

Instrumenting a weakest precondition calculus for counterexample generation. - Sylvain Dailler; David Hauzar; Claude Marché; Yannick Moy (J. Log. Algebraic Methods Program., 2018)