Frédéric Haziza

18 papers A* 1A 1B 4C 1Journal 8Unranked 2

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	The European Genome-phenome Archive in 2021. Nucleic Acids Res. 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
2021	J	`jnl`	Correction to: An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
2021	J	`jnl`	Crypt4GH: a file format standard enabling native access to encrypted data. Bioinform. Alexander Senf, Robert Davies, Frédéric Haziza, John Marshall, Juan Ramón Troncoso-Pastoriza, Oliver Hofmann, Thomas M. Keane
2020	J	`jnl`	Genome-phenome explorer (GePhEx): a tool for the visualization and interpretation of phenotypic relationships supported by genetic evidence. Bioinform. Xavier Farré, Nino Spataro, Frédéric Haziza, Jordi Rambla, Arcadi Navarro
2017	J	`jnl`	An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
2016	J	`jnl`	Parameterized verification through view abstraction. Int. J. Softw. Tools Technol. Transf. Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2016	B	`conf`	Pointer Race Freedom. VMCAI Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
2015	—	`—`	Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis. Frédéric Haziza
2015	J	`jnl`	Pointer Race Freedom. CoRR Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
2015	—	`conf`	View Abstraction - A Tutorial (Invited Paper). SynCoP Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2014	B	`conf`	Block Me If You Can! - Context-Sensitive Parameterized Verification. SAS Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2013	B	`conf`	All for the Price of Few. VMCAI Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
2013	A	`conf`	An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine
2010	B	`conf`	Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
2008	J	`jnl`	Model checking race-freeness. SIGARCH Comput. Archit. News Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl
2008	A*	`conf`	Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
2008	C	`conf`	Parameterized Tree Systems. FORTE Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
2008	—	`conf`	Shape Analysis via Monotonic Abstraction. Beyond the Finite: New Challenges in Verification and Semistructured Data Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ran Ji, Ahmed Rezine