Travelled to:1 × Germany
1 × USA
2 × Italy
Collaborated with:P.A.Abdulla L.Holík A.Rezine B.Jonsson A.Bouajjani J.Cederberg
Talks about:verif (2) parameter (1) techniqu (1) structur (1) abstract (1) program (1) monoton (1) context (1) concurr (1) specif (1)
Person: Frédéric Haziza
DBLP: Haziza:Fr=eacute=d=eacute=ric
Contributed to:
2014
2013
2013
2008Wrote 4 papers:
- SAS-2014-AbdullaHH #exclamation #verification
- Block Me If You Can! — Context-Sensitive Parameterized Verification (PAA, FH, LH), pp. 1–17.
- TACAS-2013-AbdullaHHJR #concurrent #data type #specification #verification
- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures (PAA, FH, LH, BJ, AR), pp. 324–338.
- VMCAI-2013-AbdullaHH
- All for the Price of Few (PAA, FH, LH), pp. 476–495.
- CAV-2008-AbdullaBCHR #abstraction #memory management #source code
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (PAA, AB, JC, FH, AR), pp. 341–354.