According to our database1, Frédéric Haziza authored at least 14 papers between 2008 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Genome-phenome explorer (GePhEx): a tool for the visualization and interpretation of phenotypic relationships supported by genetic evidence.
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf., 2017
Int. J. Softw. Tools Technol. Transf., 2016
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
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
Proceedings of the Static Analysis - 21st International Symposium, 2014
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
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008