Frdric Haziza
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2008–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | VMCAI | Pointer Race Freedom. | Frdric Haziza, Luks Holk, Roland Meyer, Sebastian Wolff |
| 2014 | SAS | Block Me If You Can! - Context-Sensitive Parameterized Verification. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk |
| 2013 | TACAS | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk, Bengt Jonsson, Ahmed Rezine |
| 2013 | VMCAI | All for the Price of Few. | Parosh Aziz Abdulla, Frdric Haziza, Luks Holk |
| 2010 | CONCUR | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2008 | CAV | Monotonic Abstraction for Programs with Dynamic Memory Heaps. | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frdric Haziza, Ahmed Rezine |
| 2008 | FORTE | Parameterized Tree Systems. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frdric Haziza, Ahmed Rezine |