Pierre-Cyrille Ham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
12
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Decomposition of Automata Recognizing Ideals. | Mathias Berry, Pierre-Cyrille Ham, Ismal Jecker |
| 2026 | MFCS | Hamming Distance Between Finite Transducers. | Luc Dartois, Pierre-Cyrille Ham, Ismal Jecker, Silvio Vescovo |
| 2025 | EuroPar | Approximation Bounds for SLACK on Identical Parallel Machines. | Louis-Claude Canon, Anthony Dugois, Pierre-Cyrille Ham, Ismal Jecker |
| 2023 | EuroPar | Asymptotic Performance and Energy Consumption of SLACK. | Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Ham |
| 2022 | UIC | ELECTOR: Deterministic leader election algorithm for modular robots. | Edy Hourany, Bachir Habib, Abdallah Makhoul, Benot Piranda, Julien Bourgeois, Pierre-Cyrille Ham |
| 2021 | EuroPar | Update on the Asymptotic Optimality of LPT. | Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Ham |
| 2021 | SBAC-PAD | Shelf schedules for independent moldable tasks to minimize the energy consumption. | Anne Benoit, Louis-Claude Canon, Redouane Elghazi, Pierre-Cyrille Ham |
| 2019 | EuroPar | A Comparison of Random Task Graph Generation Methods for Scheduling Problems. | Louis-Claude Canon, Mohamad El Sayah, Pierre-Cyrille Ham |
| 2018 | TAP | An Approximation-Based Approach for the Random Exploration of Large Models. | Julien Bernard, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2016 | EuroPar | Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling. | Louis-Claude Canon, Pierre-Cyrille Ham, Laurent Philippe |
| 2015 | ICST | Covering both stack and states while testing push-down systems. | Pierre-Cyrille Ham, Hana M'Hemdi |
| 2014 | SECRYPT | Pseudorandom Number Generators with Balanced Gray Codes. | Jean-Franois Couchot, Pierre-Cyrille Ham, Christophe Guyeux, Qianxue Wang, Jacques M. Bahi |
| 2013 | ICST | Random Grammar-Based Testing for Covering All Non-terminals. | Alos Dreyfus, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2012 | CADE | From Linear Temporal Logic Properties to Rewrite Propositions. | Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko |
| 2011 | ICST | Mutation-Based Test Generation from Security Protocols in HLPSL. | Frdric Dadeau, Pierre-Cyrille Ham, Rafik Kheddam |
| 2011 | ICST | Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing. | Pierre-Cyrille Ham, Cyril Nicaud |
| 2011 | TAP | A Random Testing Approach Using Pushdown Automata. | Pierre-Cyrille Ham, Catherine Masson |
| 2010 | ICST | Model-Based Testing Using Symbolic Animation and Machine Learning. | Pierre-Christophe Bu, Frdric Dadeau, Pierre-Cyrille Ham |
| 2010 | ICST | SAT Solvers for Queries over Tree Automata with Constraints. | Pierre-Cyrille Ham, Vincent Hugot, Olga Kouchnarenko |
| 2007 | WETICE | How to Handle QoS Aspects in Web Services Substitutivity Verification. | Pierre-Cyrille Ham, Olga Kouchnarenko, Jrme Voinot |
| 2006 | ICTAC | Handling Algebraic Properties in Automatic Analysis of Security Protocols. | Yohan Boichut, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |