According to our database1, Frédéric Haziza authored at least 13 papers between 2008 and 2017.
Legend:Book In proceedings Article PhD thesis Other
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.
Parameterized verification through view abstraction.
Pointer Race Freedom.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis.
PhD thesis, 2015
View Abstraction - A Tutorial (Invited Paper).
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
Block Me If You Can! - Context-Sensitive Parameterized Verification.
Proceedings of the Static Analysis - 21st International Symposium, 2014
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
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
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