Pierre-Cyrille Héam

发表

Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz, 2010, Theor. Comput. Sci..
Pierre-Cyrille Héam, Cyril Nicaud, C. Nicaud, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.
Pierre-Cyrille Héam, Yohan Boichut, Yohan Boichut, 2008, Inf. Process. Lett..
Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2008, Nord. J. Comput..
Olga Kouchnarenko, Pierre-Cyrille Héam, Catherine Masson, 2011, Softw. Test. Verification Reliab..
Pierre-Cyrille Héam, Hana M'Hemdi, Pierre-Cyrille Héam, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Michaël Rusinowitch, Rafik Kheddam, Frédéric Dadeau, 2015, Softw. Test. Verification Reliab..
Frédéric Dadeau, Pierre-Cyrille Héam, Jocelyn Levrey, 2009, Electron. Notes Theor. Comput. Sci..
Véronique Cortier, Laurent Vigneron, Stéphanie Delaune, 2006 .
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2009, RP.
Pierre-Cyrille Héam, 2003, Theor. Comput. Sci..
Pierre-Cyrille Héam, Pierre-Cyrille Héam, 2002, RAIRO Theor. Informatics Appl..
Olga Kouchnarenko, Pierre-Cyrille Héam, Aloïs Dreyfus, 2013, CIAA.
Jacques M. Bahi, Christophe Guyeux, Qianxue Wang, 2014, 2014 11th International Conference on Security and Cryptography (SECRYPT).
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2008, RTA.
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2012, CIAA.
Frédéric Dadeau, Pierre-Cyrille Héam, Pierre-Christophe Bué, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Pierre-Cyrille Héam, Catherine Masson, 2011, TAP@TOOLS.
Laurent Philippe, Pierre-Cyrille Héam, Louis-Claude Canon, 2016, Euro-Par.
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2006, ICTAC.
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2014, ArXiv.
Sebastian Mödersheim, Luca Viganò, Yannick Chevalier, 2005, CAV.
Jacques M. Bahi, Christophe Guyeux, Pierre-Cyrille Héam, 2013, 2013 Ninth International Conference on Intelligent Information Hiding and Multimedia Signal Processing.
Pierre-Cyrille Héam, Maxime Bride, Isabelle Jacques, 2014 .
Rafik Kheddam, Frédéric Dadeau, Pierre-Cyrille Héam, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.
Pierre-Cyrille Héam, 2001, J. Autom. Lang. Comb..
Olga Kouchnarenko, Pierre-Cyrille Héam, Julien Bernard, 2018, TAP@STAF.
Olga Kouchnarenko, Pierre-Cyrille Héam, Jérôme Voinot, 2010, Electron. Notes Theor. Comput. Sci..
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2008, RP.
Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier, 2008, RAIRO Theor. Informatics Appl..
Pierre-Cyrille Héam, Pierre-Cyrille Héam, 2008, Inf. Process. Lett..
Laurent Philippe, Pierre-Cyrille Héam, Louis-Claude Canon, 2017, Concurr. Comput. Pract. Exp..
Olga Kouchnarenko, Pierre-Cyrille Héam, Jérôme Voinot, 2010, Sci. Comput. Program..
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2011, Theor. Comput. Sci..
Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier, 2008, Tech. Sci. Informatiques.
Michaël Rusinowitch, Rafik Kheddam, Frédéric Dadeau, 2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES).
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2005 .
Pierre-Cyrille Héam, Pierre-Cyrille Héam, 2000, CIAA.
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2009, INFINITY.
Olga Kouchnarenko, Pierre-Cyrille Héam, Hadrien Bride, 2015 .
Olga Kouchnarenko, Pierre-Cyrille Héam, Aloïs Dreyfus, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Pierre-Cyrille Héam, Louis-Claude Canon, Mohamad El Sayah, 2018, 2018 International Conference on High Performance Computing & Simulation (HPCS).
Fabrice Bouquet, Jean-François Couchot, Alain Giorgetti, 2007 .
Philippe Balbiani, Olga Kouchnarenko, Pierre-Cyrille Héam, 2010, Electron. Notes Theor. Comput. Sci..
Olga Kouchnarenko, Pierre-Cyrille Héam, Jérôme Voinot, 2007, 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007).
Pierre-Cyrille Héam, 2000, RAIRO Theor. Informatics Appl..
Pierre-Cyrille Héam, Louis-Claude Canon, Mohamad El Sayah, 2019, Euro-Par.
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2011, CIAA.
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2012, IJCAR.
Jean-François Couchot, Pierre-Cyrille Héam, Mohammed Bakiri, 2019, 2019 International Conference on High Performance Computing & Simulation (HPCS).
Pierre-Cyrille Héam, Cyril Nicaud, Sylvain Schmitz, 2009, CIAA.
Olga Kouchnarenko, Pierre-Cyrille Héam, Yohan Boichut, 2009, Int. J. Found. Comput. Sci..
Véronique Cortier, Laurent Vigneron, Olga Kouchnarenko, 2014 .
Jacques M. Bahi, Christophe Guyeux, Pierre-Cyrille Héam, 2011, ArXiv.
Olga Kouchnarenko, Pierre-Cyrille Héam, Roméo Courbis, 2009, CIAA.
Christophe Guyeux, Jean-François Couchot, Pierre-Cyrille Héam, 2017, Int. J. Bifurc. Chaos.
Olga Kouchnarenko, Pierre-Cyrille Héam, Vincent Hugot, 2017, Inf. Process. Lett..
Anne Benoit, Pierre-Cyrille Héam, Louis-Claude Canon, 2021, Euro-Par.
Anne Benoit, Pierre-Cyrille Héam, Louis-Claude Canon, 2021, 2021 IEEE 33rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).
Jean-François Couchot, Pierre-Cyrille Héam, Sylvain Contassot-Vivier, 2018, Mathematics.