David Hauzar

According to our database, David Hauzar authored at least 9 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Instrumenting a weakest precondition calculus for counterexample generation.

Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy

J. Log. Algebraic Methods Program., 2018

2016

Counterexamples from Proof Failures in SPARK.

David Hauzar, Claude Marché, Yannick Moy

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

Framework for Static Analysis of PHP Applications (Artifact).

David Hauzar, Jan Kofron

Dagstuhl Artifacts Ser., 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.

David Hauzar, Jan Kofron

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Data-flow Analysis of Programs with Associative Arrays.

David Hauzar, Jan Kofron, Pavel Bastecký

Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014

WeVerca: Web Applications Verification for PHP.

David Hauzar, Jan Kofron

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2012

On Security Analysis of PHP Web Applications.

David Hauzar, Jan Kofron

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

2011

Verifying Temporal Properties of Use-Cases in Natural Language.

Viliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plásil

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011