David Hauzar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2012–2016
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SEFM | Counterexamples from Proof Failures in SPARK. | David Hauzar, Claude March, Yannick Moy |
| 2015 | ECOOP | Framework for Static Analysis of PHP Applications. | David Hauzar, Jan Kofron |
| 2014 | SEFM | WeVerca: Web Applications Verification for PHP. | David Hauzar, Jan Kofron |
| 2012 | COMPSAC | On Security Analysis of PHP Web Applications. | David Hauzar, Jan Kofron |