David Hauzar

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Geometry Theorem Proving

Static Analysis

Web Applications

Top Venues

J. Log. Algebraic Methods Program.

COMPSAC Workshops

Dagstuhl Artifacts Ser.

Publications

Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy
Instrumenting a weakest precondition calculus for counterexample generation. J. Log. Algebraic Methods Program. 99 (2018)
David Hauzar, Claude Marché, Yannick Moy
Counterexamples from Proof Failures in SPARK. SEFM (2016)
David Hauzar, Jan Kofron
Framework for Static Analysis of PHP Applications. ECOOP (2015)
Viliam Simko, David Hauzar, Petr Hnetynka, Tomás Bures, Frantisek Plasil
Formal Verification of Annotated Textual Use-Cases. Comput. J. 58 (7) (2015)
David Hauzar, Jan Kofron
Framework for Static Analysis of PHP Applications (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
David Hauzar, Jan Kofron, Pavel Bastecký
Data-flow Analysis of Programs with Associative Arrays. ESSS (2014)
David Hauzar, Jan Kofron
WeVerca: Web Applications Verification for PHP. SEFM (2014)
David Hauzar, Jan Kofron
On Security Analysis of PHP Web Applications. COMPSAC Workshops (2012)
Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plasil
Verifying Temporal Properties of Use-Cases in Natural Language. FACS (2011)