Frédéric Haziza

According to our database1, Frédéric Haziza authored at least 14 papers between 2008 and 2017.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.
STTT, 2017

2016
Parameterized verification through view abstraction.
STTT, 2016

Pointer Race Freedom.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis.
PhD thesis, 2015

Pointer Race Freedom.
CoRR, 2015

View Abstraction - A Tutorial (Invited Paper).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

2014
Block Me If You Can! - Context-Sensitive Parameterized Verification.
Proceedings of the Static Analysis - 21st International Symposium, 2014

2013
All for the Price of Few.
Proceedings of the Verification, 2013

An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2010
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2008
Model checking race-freeness.
SIGARCH Computer Architecture News, 2008

Parameterized Tree Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Shape Analysis via Monotonic Abstraction.
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

Monotonic Abstraction for Programs with Dynamic Memory Heaps.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008


  Loading...