Frédéric Haziza

According to our database, Frédéric Haziza authored at least 16 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

The European Genome-phenome Archive in 2021.

Mallory Ann Freeberg, Lauren A. Fromont, Teresa D'altri, Anna Foix Romero, Jorge Izquierdo Ciges, Aina Jene, Giselle Kerry, Mauricio Moldes, Roberto Ariosa, Silvia Bahena, Daniel Barrowdale, Marcos Casado Barbero, Dietmar Fernández-Orth, Carles Garcia-Linares, Emilio Garcia-Rios, Frédéric Haziza, Bela Juhasz, Oscar Martinez Llobet, Gemma Milla, Anand Mohan, Manuel Rueda, Aravind Sankar, Dona Shaju, Ashutosh Shimpi, Babita Singh, Coline Thomas, Sabela de la Torre, Umuthan Uyan, Claudia Vasallo, Paul Flicek, Roderic Guigó, Arcadi Navarro, Helen E. Parkinson, Thomas M. Keane, Jordi Rambla

Nucleic Acids Res., 2022

2021

Correction to: An integrated specification and verification technique for highly concurrent data structures.

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine

Int. J. Softw. Tools Technol. Transf., 2021

Crypt4GH: a file format standard enabling native access to encrypted data.

Alexander Senf, Robert Davies, Frédéric Haziza, John Marshall, Juan Ramón Troncoso-Pastoriza, Oliver Hofmann, Thomas M. Keane

Bioinform., 2021

2020

Genome-phenome explorer (GePhEx): a tool for the visualization and interpretation of phenotypic relationships supported by genetic evidence.

Xavier Farré, Nino Spataro, Frédéric Haziza, Jordi Rambla, Arcadi Navarro

Bioinform., 2020

2017

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

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine

Int. J. Softw. Tools Technol. Transf., 2017

2016

Parameterized verification through view abstraction.

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík

Int. J. Softw. Tools Technol. Transf., 2016

Pointer Race Freedom.

Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

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

Frédéric Haziza

PhD thesis, 2015

View Abstraction - A Tutorial (Invited Paper).

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

2014

Block Me If You Can! - Context-Sensitive Parameterized Verification.

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík

Proceedings of the Static Analysis - 21st International Symposium, 2014

2013

All for the Price of Few.

Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík

Proceedings of the Verification, 2013

2010

Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.

Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2008

Model checking race-freeness.

Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl

SIGARCH Comput. Archit. News, 2008

Parameterized Tree Systems.

Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine

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

Shape Analysis via Monotonic Abstraction.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine

Proceedings of the Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04., 2008

Monotonic Abstraction for Programs with Dynamic Memory Heaps.

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine

Proceedings of the Computer Aided Verification, 20th International Conference, 2008