# Frédéric Haziza

According to our database

Collaborative distances:

^{1}, Frédéric Haziza authored at least 13 papers between 2008 and 2017.Collaborative distances:

## 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

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