L'institut

FEMTO-ST

Annuaire

Vous êtes ici

• Accueil
• Pierre-Cyrille Heam

Pierre-Cyrille Heam

Département DISC
équipe VESONTIO

UFC - UFR ST

Courriel :

pheam [at] femto-st.fr

03.81.66.66.53

Adresse :

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Publications de Pierre-Cyrille Heam

Voir toutes les publications (69)2021 (2)2019 (2)2018 (2)2017 (3)2016 (2)2015 (4)2014 (5)2013 (3)2012 (4)2011 (5)2010 (10)2009 (7)2008 (12)2007 (5)2006 (3)

2021 (2)

• inproceedings - Shelf schedules for independent moldable tasks to minimize the energy consumption
  33rd IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2021) / Belo Horizonte, Brazil (2021, Pages pages 126 - 136)
  Benoit, Anne | Canon, Louis-Claude | Elghazi, Redouane | Heam, Pierre-Cyrille
  
  pdf | doi | bibtex@inproceedings{425c43ad-deb0-446a-9c82-83ae17081b27, title = {Shelf schedules for independent moldable tasks to minimize the energy consumption}, author = {Benoit, Anne and Canon, Louis-Claude and Elghazi, Redouane and Heam, Pierre-Cyrille}, year = {2021}, address = {Belo Horizonte, Brazil}, booktitle = {33rd IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2021)}, editor = {425c43ad-deb0-446a-9c82-83ae17081b27-editor.pdf}, month = {oct}, pages = {126 - 136}, url = {https://publiweb.femto-st.fr/tntnet/entries/18780/documents/author/data}, doi = {10.1109/SBAC-PAD53543.2021.00024} }
• inproceedings - Update on the Asymptotic Optimality of LPT
  27th International European Conference on Parallel and Distributed Computing (Euro-Par 2021) / Lisbon, Portugal (Volume 12820, Series Lecture Notes in Computer Science (LNCS), 2021, Pages pages 55 - 69)
  Benoit, Anne | Canon, Louis-Claude | Elghazi, Redouane | Heam, Pierre-Cyrille
  
  pdf | doi | bibtex@inproceedings{03c5ce1a-bcf2-4280-8cec-b9a8b725b5a2, title = {Update on the Asymptotic Optimality of LPT}, author = {Benoit, Anne and Canon, Louis-Claude and Elghazi, Redouane and Heam, Pierre-Cyrille}, year = {2021}, address = {Lisbon, Portugal}, booktitle = {27th International European Conference on Parallel and Distributed Computing (Euro-Par 2021)}, editor = {}, month = {aug}, pages = {55 - 69}, url = {https://publiweb.femto-st.fr/tntnet/entries/18773/documents/author/data}, volume = {12820}, doi = {10.1007/978-3-030-85665-6_4}, series = {Lecture Notes in Computer Science (LNCS)} }

2019 (2)

• inproceedings - A Comparison of Random Task Graph Generation Methods for Scheduling Problems
  25th Parallel Processing Workshops (Euro-Par 2019) / Göttingen, Germany (Volume 11725, Series Lecture Notes in Computer Science (LNCS), 2019, Pages pages 61 - 73)
  Canon, Louis-Claude | El Sayah, Mohamad | Heam, Pierre-Cyrille
  
  pdf | doi | bibtex@inproceedings{6254d03f-8c34-4477-a4b7-dd1615071a50, title = {A Comparison of Random Task Graph Generation Methods for Scheduling Problems}, author = {Canon, Louis-Claude and El Sayah, Mohamad and Heam, Pierre-Cyrille}, year = {2019}, address = {G\"ottingen, Germany}, booktitle = {25th Parallel Processing Workshops (Euro-Par 2019)}, month = {aug}, pages = {61 - 73}, url = {https://publiweb.femto-st.fr/tntnet/entries/16821/documents/author/data}, volume = {11725}, doi = {10.1007/978-3-030-29400-7_5}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that
  17th International Conference on High Performance Computing & Simulation (HPCS 2019) / Dublin, Ireland (2019, Pages pages 650 - 657)
  Contassot-Vivier, Sylvain | Couchot, Jean-François | Bakiri, Mohammed | Heam, Pierre-Cyrille
  
  pdf | doi | bibtex@inproceedings{b9fc41a7-72dd-40a5-842a-fc803f1a2542, title = {Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that}, author = {Contassot-Vivier, Sylvain and Couchot, Jean-Fran\c{c}ois and Bakiri, Mohammed and Heam, Pierre-Cyrille}, year = {2019}, address = {Dublin, Ireland}, booktitle = {17th International Conference on High Performance Computing \& Simulation (HPCS 2019)}, editor = {b9fc41a7-72dd-40a5-842a-fc803f1a2542-editor.pdf}, month = {jul}, pages = {650 - 657}, url = {https://publiweb.femto-st.fr/tntnet/entries/16100/documents/author/data}, doi = {10.1109/HPCS48598.2019.9188175} }

2018 (2)

• inproceedings - A Markov Chain Monte Carlo Approach to Cost Matrix Generation for Scheduling Performance Evaluation
  International Conference on High Performance Computing & Simulation (2018) / Orléans, France (2018, Pages pages 460 - 467)
  Canon, Louis-Claude | El Sayah, Mohamad | Heam, Pierre-Cyrille
  
  doi | bibtex@inproceedings{b12a668b-8ce9-4771-bed6-17baf25088f9, title = {A Markov Chain Monte Carlo Approach to Cost Matrix Generation for Scheduling Performance Evaluation}, author = {Canon, Louis-claude and El Sayah, Mohamad and Heam, Pierre-Cyrille}, year = {2018}, address = {Orl\'eans, France}, booktitle = {International Conference on High Performance Computing \& Simulation (2018)}, month = {jul}, pages = {460 - 467}, doi = {10.1109/HPCS.2018.00079} }
• inproceedings - An Approximation-based Approach for the Random Exploration of Large Models
  12th International Conference on Tests & Proofs (TAP 2018) / Toulouse, France (Volume 10889, Series Lecture Notes in Computer Science (LNCS), 2018, Pages pages 27 - 43)
  Bernard, Julien | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{0fdca214-5785-4c2e-b1dc-a9b7a04dadb0, title = {An Approximation-based Approach for the Random Exploration of Large Models}, author = {Bernard, Julien and Heam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2018}, address = {Toulouse, France}, booktitle = {12th International Conference on Tests \& Proofs (TAP 2018)}, month = {jun}, pages = {27 - 43}, url = {https://publiweb.femto-st.fr/tntnet/entries/14817/documents/author/data}, volume = {10889}, doi = {10.1007/978-3-319-92994-1_2}, series = {Lecture Notes in Computer Science (LNCS)} }

2017 (3)

• article - Controlling the correlation of cost matrices to assess scheduling algorithm performance on heterogeneous platforms
  Concurrency and Computation-Practice & Experience (Volume 29, Issue (15), aug 2017, Pages :e4185 (27))
  Canon, Louis-Claude | Heam, Pierre-Cyrille | Philippe, Laurent
  
  pdf | doi
• article - The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
  Information Processing Letters (Volume 118, feb 2017, Pages :6 - 9)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  pdf | doi
• article - Random Walk in a N-cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations
  International Journal of Bifurcation and Chaos (IJBC) (Volume 27, Issue (01), jan 2017, Pages :1750014 (18))
  Contassot-Vivier, Sylvain | Couchot, Jean-François | Guyeux, Christophe | Heam, Pierre-Cyrille
  
  pdf | doi

2016 (2)

• inproceedings - Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
  22nd International European Conference on Parallel and Distributed Computing (Euro-Par 2016) / Grenoble, France (Publisher : Springer, Volume 9833, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 133 - 145)
  Canon, Louis-Claude | Heam, Pierre-Cyrille | Philippe, Laurent
  
  pdf | doi | bibtex@inproceedings{146ed859-4b6e-47cf-9273-52c7d839a8df, title = {Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling}, author = {Canon, Louis-claude and Heam, Pierre-Cyrille and Philippe, Laurent}, year = {2016}, address = {Grenoble, France}, booktitle = {22nd International European Conference on Parallel and Distributed Computing (Euro-Par 2016)}, month = {aug}, pages = {133 - 145}, url = {https://publiweb.femto-st.fr/tntnet/entries/13239/documents/author/data}, volume = {9833}, doi = {10.1007/978-3-319-43659-3_10}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• techreport - Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
  FEMTO-ST (feb 2016, Research Report)
  Canon, Louis-Claude | Heam, Pierre-Cyrille | Philippe, Laurent
  
  bibtex@techreport{chp16:ir, title = {Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling}, author = {Canon, Louis-Claude and Heam, Pierre-Cyrille and Philippe, Laurent}, year = {2016}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/12481/documents/author/data}, institution = {FEMTO-ST} }

2015 (4)

• article - Efficient and Cryptographically Secure Generation of Chaotic Pseudorandom Numbers on GPU
  The Journal of Supercomputing (Volume 71, Issue (10), oct 2015, Pages :3877 - 3903)
  Guyeux, Christophe | Couturier, Raphael | Heam, Pierre-Cyrille | Bahi, Jacques
  
  pdf | doi
• inproceedings - On the Uniform Random Generation of Non deterministic Automata up to Isomorphism
  20th Conference Implementation and Application of Automata (CIAA 2015) / Umeå, Sweden (Publisher : Springer, Volume 9223, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 140 - 152)
  Heam, Pierre-Cyrille | Joly, Jean-Luc
  
  pdf | bibtex@inproceedings{hj15a:ip, title = {On the Uniform Random Generation of Non deterministic Automata up to Isomorphism}, author = {Heam, Pierre-Cyrille and Joly, Jean-Luc}, year = {2015}, address = {Ume{\aa}, Sweden}, booktitle = {20th Conference Implementation and Application of Automata (CIAA 2015)}, month = {aug}, pages = {140 - 152}, url = {https://publiweb.femto-st.fr/tntnet/entries/11851/documents/author/data}, volume = {9223}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Random Generation and Enumeration of Accessible Deterministic Real-time Pushdown Automata
  20th Conference Implementation and Application of Automata (CIAA 2015) / Umeå, Sweden (Publisher : Springer, Volume 9223, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 153 - 164)
  Heam, Pierre-Cyrille | Joly, Jean-Luc
  
  pdf | bibtex@inproceedings{hj15b:ip, title = {Random Generation and Enumeration of Accessible Deterministic Real-time Pushdown Automata}, author = {Heam, Pierre-Cyrille and Joly, Jean-Luc}, year = {2015}, address = {Ume{\aa}, Sweden}, booktitle = {20th Conference Implementation and Application of Automata (CIAA 2015)}, month = {aug}, pages = {153 - 164}, url = {https://publiweb.femto-st.fr/tntnet/entries/11852/documents/author/data}, volume = {9223}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Covering both stack and states while testing push-down systems
  8th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - IEEE / Graz, Austria (Publisher : IEEE, 2015, Pages pages 7 pages)
  Heam, Pierre-Cyrille | M'hemdi, Hana
  
  pdf | doi | bibtex@inproceedings{hmh15:ip, title = {Covering both stack and states while testing push-down systems}, author = {Heam, Pierre-Cyrille and M'hemdi, Hana}, year = {2015}, address = {Graz, Austria}, booktitle = {8th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - IEEE}, editor = {hmh15:ip-editor.pdf}, month = {apr}, pages = {7 pages}, url = {https://publiweb.femto-st.fr/tntnet/entries/11680/documents/author/data}, doi = {10.1109/ICSTW.2015.7107406}, publisher = {IEEE} }

2014 (5)

• misc - Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers
  (sep 2014)
  Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
  
  bibtex@misc{chgw+14:onp, title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers}, author = {Couchot, Jean-Fran\c{c}ois and Heam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques}, year = {2014}, address = {Nancy, France}, booktitle = {15th Mons Theoretical Computer Science Days (2014)}, month = {sep} }
• inproceedings - Pseudorandom Number Generators with Balanced Gray Codes
  Secrypt 2014, 11th Int. Conf. on Security and Cryptography / Vienna, Austria (2014, Pages pages 469-475)
  Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
  
  bibtex@inproceedings{chgw+14:oip, title = {Pseudorandom Number Generators with Balanced Gray Codes}, author = {Couchot, Jean-Fran\c{c}ois and Heam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques}, year = {2014}, address = {Vienna, Austria}, booktitle = {Secrypt 2014, 11th Int. Conf. on Security and Cryptography}, month = {aug}, pages = {469-475} }
• inproceedings - A Random Testing approach using Pushdown Automata
  (2014)
  Heam, Pierre-Cyrille
  
  bibtex@inproceedings{heam14:it, title = {A Random Testing approach using Pushdown Automata}, author = {Heam, Pierre-Cyrille}, year = {2014}, month = {jun} }
• article - A random testing approach using pushdown automata
  Software Testing, Verification and Reliability (Volume 24, Issue (8), jun 2014, Pages :656 - 683)
  Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Masson, Catherine
  
  pdf | doi
• article - Model-Based Mutation Testing from Security Protocols in HLPSL
  Software Testing, Verification and Reliability (Volume 25, Issue (5-7), apr 2014, Pages :684 - 711)
  Dadeau, Frédéric | Heam, Pierre-Cyrille | Kheddam, Rafik | Maatoug, Ghazi | Rusinowitch, Michael
  
  doi

2013 (3)

• inproceedings - A Cryptographic Approach for Steganography
  IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing / Beijing, China (2013, Pages pages 518-521)
  Bahi, Jacques | Guyeux, Christophe | Heam, Pierre-Cyrille
  
  pdf | doi | bibtex@inproceedings{bgh13:ip, title = {A Cryptographic Approach for Steganography}, author = {Bahi, Jacques and Guyeux, Christophe and H\'eam, Pierre-Cyrille}, year = {2013}, address = {Beijing, China}, booktitle = {IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing}, month = {oct}, pages = {518-521}, url = {https://publiweb.femto-st.fr/tntnet/entries/5958/documents/author/data}, doi = {10.1109/IIH-MSP.2013.134}, organization = {IEEE} }
• inproceedings - Enhancing Approximations for Regular Reachability Analysis
  CIAA 2013, 18-th Int. Conf. on Implementation and Application of Automata / Halifax, NS, Canada (Publisher : Springer, Volume 7982, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 331--339)
  Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{dhk13b:ip, title = {Enhancing Approximations for Regular Reachability Analysis}, author = {Dreyfus, Alo\"is and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2013}, address = {Halifax, NS, Canada}, booktitle = {CIAA 2013, 18-th Int. Conf. on Implementation and Application of Automata}, month = {jul}, pages = {331--339}, url = {https://publiweb.femto-st.fr/tntnet/entries/5971/documents/author/data}, volume = {7982}, doi = {10.1007/978-3-642-39274-0_29}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Random Grammar-Based Testing for Covering All Non-terminals
  CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 210 - 215)
  Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | bibtex@inproceedings{dhk13a:ip, title = {Random Grammar-Based Testing for Covering All Non-terminals}, author = {Dreyfus, Alo\"is and Heam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013}, month = {mar}, pages = {210 - 215}, url = {https://publiweb.femto-st.fr/tntnet/entries/5970/documents/author/data}, publisher = {IEEE} }

2012 (4)

• article - Loops and Overloops for Tree-Walking Automata
  Theoretical Computer Science (Volume 450, sep 2012, Pages :43 - 53)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  pdf
• inproceedings - On Positive TAGED with a Bounded Number of Constraints
  CIAA 2012, 17th Int. Conf. on Implementation and Application of Automata / Porto, Portugal (Volume 7381, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 329--336)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{hhk12a:ip, title = {On Positive TAGED with a Bounded Number of Constraints}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2012}, address = {Porto, Portugal}, booktitle = {CIAA 2012, 17th Int. Conf. on Implementation and Application of Automata}, editor = {Moreira, Nelma and Reis, Rog\'erio}, month = {jul}, pages = {329--336}, url = {https://publiweb.femto-st.fr/tntnet/entries/599/documents/author/data}, volume = {7381}, doi = {10.1007/978-3-642-31606-7_29}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - From Linear Temporal Logic Properties to Rewrite Propositions
  IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning / Manchester, UK (Volume 7364, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 316-331)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{hhk12b:ip, title = {From Linear Temporal Logic Properties to Rewrite Propositions}, author = {Heam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2012}, address = {Manchester, UK}, booktitle = {IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning}, editor = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli}, month = {jun}, pages = {316-331}, url = {https://publiweb.femto-st.fr/tntnet/entries/340/documents/author/data}, volume = {7364}, doi = {10.1007/978-3-642-31365-3_25}, series = {Lecture Notes in Computer Science (LNCS)} }
• misc - A Complexity Approach for Steganalysis
  Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France (mar 2012)
  Bahi, Jacques | Guyeux, Christophe | Heam, Pierre-Cyrille
  
  bibtex@misc{bgh12:onp, title = {A Complexity Approach for Steganalysis}, author = {Bahi, Jacques and Guyeux, Christophe and H\'eam, Pierre-Cyrille}, year = {2012}, month = {mar} }

2011 (5)

• inproceedings - Loops and overloops for tree walking automata
  CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata / Blois, France (Volume 6807, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 166--177)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{hhk11:ip, title = {Loops and overloops for tree walking automata}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2011}, address = {Blois, France}, booktitle = {CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata}, month = {jul}, pages = {166--177}, url = {http://dx.doi.org/10.1007/978-3-642-22256-6_16}, volume = {6807}, doi = {10.1007/978-3-642-22256-6_16}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - A Random Testing Approach Using Pushdown Automata
  TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 119--133)
  Heam, Pierre-Cyrille | Masson, Catherine
  
  pdf | bibtex@inproceedings{hm11:ip, title = {A Random Testing Approach Using Pushdown Automata}, author = {H\'eam, Pierre-Cyrille and Masson, Catherine}, year = {2011}, address = {Zurich, Switzerland}, booktitle = {TAP'11, 5-th Int. Conf. of Tests and Proofs}, month = {jun}, pages = {119--133}, url = {https://publiweb.femto-st.fr/tntnet/entries/446/documents/author/data}, volume = {6706}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Mutation-Based Test Generation from Security Protocols in HLPSL
  ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation / Berlin, Germany (2011, Pages pages 240--248)
  Dadeau, Frédéric | Heam, Pierre-Cyrille | Kheddam, Rafik
  
  pdf | doi | bibtex@inproceedings{dhk11:ip, title = {Mutation-Based Test Generation from Security Protocols in HLPSL}, author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Kheddam, Rafik}, year = {2011}, address = {Berlin, Germany}, booktitle = {ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation}, editor = {Harman, M. and Korel, B.}, month = {mar}, pages = {240--248}, url = {http://dx.doi.org/10.1109/ICST.2011.42}, doi = {10.1109/ICST.2011.42} }
• inproceedings - Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing
  ICST'11, 4-th IEEE Int. Conf. on Software Testing, Verification and Validation / Berlin, Germany (2011, Pages pages 60--69)
  Heam, Pierre-Cyrille | Nicaud, Cyril
  
  pdf | doi | bibtex@inproceedings{hn11:ip, title = {Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing}, author = {H\'eam, Pierre-Cyrille and Nicaud, Cyril}, year = {2011}, address = {Berlin, Germany}, booktitle = {ICST'11, 4-th IEEE Int. Conf. on Software Testing, Verification and Validation}, month = {mar}, pages = {60--69}, url = {http://dx.doi.org/10.1109/ICST.2011.31}, doi = {10.1109/ICST.2011.31} }
• article - On the Complexity of Computing the Profinite Closure of a Rational Language
  Theoretical Computer Science (Volume 412, Issue (41), 2011, Pages :5808 - 5813)
  Heam, Pierre-Cyrille
  

2010 (10)

• techreport - Random Generation of Positive TAGEDs wrt. the Emptiness Problem
  (nov 2010, Research Report)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  bibtex@techreport{hhk10:ir, title = {Random Generation of Positive TAGEDs wrt. the Emptiness Problem}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2010}, month = {nov}, url = {http://hal.inria.fr/inria-00531350/en/} }
• article - Composition of Services with Constraints
  Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 263, jun 2010, Pages :31 - 46)
  Balbiani, Philippe | Cheikh, Fahima | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | doi
• inproceedings - Approximations par réécriture pour deux problèmes indécidables
  AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 7--10)
  Courbis, Roméo | Heam, Pierre-Cyrille | Jourdan, Pierre | Kouchnarenko, Olga
  
  pdf | bibtex@inproceedings{chjk10:onp, title = {Approximations par r\'e\'ecriture pour deux probl\`emes ind\'ecidables}, author = {Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Jourdan, Pierre and Kouchnarenko, Olga}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {7--10}, url = {https://publiweb.femto-st.fr/tntnet/entries/546/documents/author/data} }
• inproceedings - Une approche parallèle et distribuée pour la complétion d'automates d'arbre
  AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 43--46)
  Caciula, A. | Courbis, Roméo | Felea, Violeta | Heam, Pierre-Cyrille | Ionescu, R.
  
  pdf | bibtex@inproceedings{ccfh+10:onp, title = {Une approche parall\`ele et distribu\'ee pour la compl\'etion d'automates d'arbre}, author = {Caciula, A. and Courbis, Rom\'eo and Felea, Violeta and H\'eam, Pierre-Cyrille and Ionescu, R.}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {43--46}, url = {https://publiweb.femto-st.fr/tntnet/entries/547/documents/author/data} }
• inproceedings - Model-Based Testing using Symbolic Animation and Machine Learning
  CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010 / Paris, France (2010, Pages pages 355--360)
  Bue, Pierre-Christophe | Dadeau, Frédéric | Heam, Pierre-Cyrille
  
  pdf | doi | bibtex@inproceedings{bdh10:ip, title = {Model-Based Testing using Symbolic Animation and Machine Learning}, author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille}, year = {2010}, address = {Paris, France}, booktitle = {CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010}, month = {apr}, pages = {355--360}, url = {http://dx.doi.org/10.1109/ICSTW.2010.43}, doi = {10.1109/ICSTW.2010.43} }
• inproceedings - SAT Solvers for Queries over Tree Automata with Constraints
  CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010 / Paris, France (2010, Pages pages 343--348)
  Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{hhk10:ip, title = {SAT Solvers for Queries over Tree Automata with Constraints}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2010}, address = {Paris, France}, booktitle = {CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010}, month = {apr}, pages = {343--348}, url = {https://publiweb.femto-st.fr/tntnet/entries/262/documents/author/data}, doi = {10.1109/ICSTW.2010.17} }
• inproceedings - Semi-commutations et sûreté des systèmes
  (2010)
  Heam, Pierre-Cyrille
  
  bibtex@inproceedings{heam10:it, title = {Semi-commutations et s\^uret\'e des syst\`emes}, author = {H\'eam, Pierre-Cyrille}, year = {2010}, month = {mar} }
• article - Component Simulation-based Substitutivity Managing QoS and Composition Issues
  Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 260, jan 2010, Pages :109 - 123)
  Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
  
  pdf | doi
• article - Parametric Random Generation of Deterministic Tree Automata
  Theoretical Computer Science (Volume 411, 2010, Pages :3469--3480)
  Heam, Pierre-Cyrille | Nicaud, Cyril | Schmitz, Sylvain
  
  pdf
• article - Component simulation-based substitutivity managing QoS and composition issues
  Science of Computer Programming (Volume 75, Issue (10), 2010, Pages :898--917)
  Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
  
  pdf

2009 (7)

• article - Handling Non Left-Linear Rules When Completing Tree Automata
  International Journal of Foundations of Computer Science (IJFCS) (Volume 20, Issue (5), oct 2009, Pages :837 - 849)
  Boichut, Yohan | Courbis, Roméo | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | doi
• inproceedings - How to Tackle Integer Weighted Automata Positivity
  RP'09, 3rd Int. Workshop on Reachability Problems / Paris, France (Volume 5797, Series Lecture Notes in Computer Science (LNCS), 2009, Pages pages 79--92)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | doi | bibtex@inproceedings{bhk09:ip, title = {How to Tackle Integer Weighted Automata Positivity}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2009}, address = {Paris, France}, booktitle = {RP'09, 3rd Int. Workshop on Reachability Problems}, editor = {Bournez, Olivier and Potapov, Igor}, month = {sep}, pages = {79--92}, url = {https://publiweb.femto-st.fr/tntnet/entries/233/documents/author/data}, volume = {5797}, doi = {10.1007/978-3-642-04420-5_9}, series = {Lecture Notes in Computer Science (LNCS)} }
• article - Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
  Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 239, jul 2009, Pages :57 - 72)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf | doi
• inproceedings - TAGED Approximations for Temporal Properties Model-Checking
  CIAA'09, 14th Int. Conf. and Application of Automata / Sydney, Australia (Volume 5642, Series Lecture Notes in Computer Science (LNCS), 2009, Pages pages 135--144)
  Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
  
  pdf | doi | bibtex@inproceedings{chk09:ip, title = {TAGED Approximations for Temporal Properties Model-Checking}, author = {Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2009}, address = {Sydney, Australia}, booktitle = {CIAA'09, 14th Int. Conf. and Application of Automata}, editor = {Sebastian Maneth}, month = {jul}, pages = {135--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/235/documents/author/data}, volume = {5642}, doi = {10.1007/978-3-642-02979-0_17}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - Random Generation of Deterministic Tree (Walking) Automata
  CIAA'09, 14th Int. Conf. on Implementation and Application of Automata / Sidney, Australia (Volume 5642, Series Lecture Notes in Computer Science (LNCS), 2009, Pages pages 115--124)
  Heam, Pierre-Cyrille | Nicaud, Cyril | Schmitz, Sylvain
  
  pdf | bibtex@inproceedings{hns09:ip, title = {Random Generation of Deterministic Tree (Walking) Automata}, author = {H\'eam, Pierre-Cyrille and Nicaud, Cyril and Schmitz, Sylvain}, year = {2009}, address = {Sidney, Australia}, booktitle = {CIAA'09, 14th Int. Conf. on Implementation and Application of Automata}, month = {jul}, pages = {115--124}, url = {https://publiweb.femto-st.fr/tntnet/entries/239/documents/author/data}, volume = {5642}, series = {Lecture Notes in Computer Science (LNCS)} }
• inproceedings - On the Use of Uniform Random Generation of Automata for Testing
  MBT'09 proceedings / York, United Kingdom (Volume 253-2, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2009, Pages pages 37--51)
  Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
  
  bibtex@inproceedings{dhl09:ip, title = {On the Use of Uniform Random Generation of Automata for Testing}, author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Levrey, J.}, year = {2009}, address = {York, United Kingdom}, booktitle = {MBT'09 proceedings}, editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.}, month = {mar}, pages = {37--51}, volume = {253-2}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }
• inproceedings - Regular Approximations
  (2009)
  Heam, Pierre-Cyrille
  
  bibtex@inproceedings{heam09:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2009}, month = {jan} }

2008 (12)

• inproceedings - Regular Approximations
  (2008)
  Heam, Pierre-Cyrille
  
  bibtex@inproceedings{heam08c:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2008}, month = {dec} }
• article - A Note on Partially Ordered Tree Automata
  Information Processing Letters (Volume 108, Issue (4), oct 2008, Pages :242 - 246)
  Heam, Pierre-Cyrille
  
  pdf | doi
• inproceedings - Regular Approximations
  (2008)
  Heam, Pierre-Cyrille
  
  bibtex@inproceedings{heam08b:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2008}, month = {oct} }
• techreport - A Combination of Model-Based Testing and Random Testing Approaches using Automata
  (oct 2008, Research Report)
  Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
  
  bibtex@techreport{dhj08:ir, title = {A Combination of Model-Based Testing and Random Testing Approaches using Automata}, author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Levrey, J.}, year = {2008}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/103/documents/author/data} }
• article - A Theorerical Limit for Safety Verification Techniques with Regular Fix-point Computations
  Information Processing Letters (Volume 108, Issue (1), sep 2008, Pages :1 - 2)
  Boichut, Yohan | Heam, Pierre-Cyrille
  
  doi
• inproceedings - Regular Approximations
  (2008)
  Heam, Pierre-Cyrille
  
  bibtex@inproceedings{heam08a:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2008}, month = {sep} }
• inproceedings - Finer is better: Abstraction Refinement for Rewriting Approximations
  RTA'08, 19th int. conf. on Rewriting Techniques and Applications / Hagenberg, Austria (Volume 5117, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 48--62)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
  
  pdf | bibtex@inproceedings{bchk08a:ip, title = {Finer is better: Abstraction Refinement for Rewriting Approximations}, author = {Boichut, Yohan and Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2008}, address = {Hagenberg, Austria}, booktitle = {RTA'08, 19th int. conf. on Rewriting Techniques and Applications}, editor = {A. Voronkov}, month = {jul}, pages = {48--62}, url = {https://publiweb.femto-st.fr/tntnet/entries/202/documents/author/data}, volume = {5117}, series = {Lecture Notes in Computer Science (LNCS)} }
• article - Efficiency of Automata in Semi-Commutation Verification Techniques
  RAIRO - Theoretical Informatics and Applications (Volume 42, Issue (2), mar 2008, Pages :197 - 215)
  Cece, Gérard | Heam, Pierre-Cyrille | Mainier, Yann
  
  pdf | doi
• techreport - A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
  (jan 2008, Research Report)
  Boichut, Yohan | Heam, Pierre-Cyrille
  
  bibtex@techreport{bh08:ir, title = {A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille}, year = {2008}, month = {jan}, url = {http://hal.inria.fr/inria-00204579/fr/} }
• article - Clôtures transitives de semi-commutations et model-checking régulier
  Technique et Science Informatiques (TSI) (Volume 27, Issue (1-2), 2008, Pages :7 - 28)
  Heam, Pierre-Cyrille | Cece, Gérard | Mainier, Yann
  
  doi
• article - Approximation-based Tree Regular Model-Checking
  Nordic Journal of Computing (Volume 14, Issue (3), 2008, Pages :216 - 241)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  pdf
• inproceedings - Handling Left-Quadratic Rules When Completing Tree Automata
  RP'08 proceedings, Workshop on Reachability Problems in Computational Models / Liverpool, United Kingdom (Publisher : Journal of Supercomputing, Volume 223, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2008, Pages pages 61--70)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
  
  pdf | doi | bibtex@inproceedings{bchk08b:ip, title = {Handling Left-Quadratic Rules When Completing Tree Automata}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Courbis, Rom\'eo}, year = {2008}, address = {Liverpool, United Kingdom}, booktitle = {RP'08 proceedings, Workshop on Reachability Problems in Computational Models}, pages = {61--70}, url = {https://publiweb.femto-st.fr/tntnet/entries/690/documents/author/data}, volume = {223}, doi = {10.1016/j.entcs.2008.12.031}, publisher = {Journal of Supercomputing}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }

2007 (5)

• article - Vérifier automatiquement les protocoles de sécurité
  Techniques de l'ingénieur (oct 2007, Pages pp 1 - 8)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
• inproceedings - Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
  INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07 / Lisboa, Portugal (2007, Pages pages 44--53)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  bibtex@inproceedings{bhk07:ip, title = {Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2007}, address = {Lisboa, Portugal}, booktitle = {INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07}, month = {sep}, pages = {44--53} }
• inproceedings - How to Handle QoS Aspects in Web Services Substitutivity Verification
  WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises / Paris, France (2007, Pages pages 333--338)
  Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
  
  bibtex@inproceedings{hkv07:ip, title = {How to Handle QoS Aspects in Web Services Substitutivity Verification}, author = {H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Voinot, J\'er\^ome}, year = {2007}, address = {Paris, France}, booktitle = {WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises}, month = {jun}, pages = {333--338} }
• techreport - Towards Formalizing QoS of Web Services with Weighted Automata
  (jun 2007, Research Report)
  Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
  
  bibtex@techreport{hkv07:ir, title = {Towards Formalizing QoS of Web Services with Weighted Automata}, author = {H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Voinot, J\'er\^ome}, year = {2007}, month = {jun}, url = {https://hal.inria.fr/inria-00154453} }
• techreport - Transitive Closures of Semi-commutation Relations on Regular omega-Languages
  INRIA (jun 2007, Research Report)
  Heam, Pierre-Cyrille
  
  bibtex@techreport{heam07:ir, title = {Transitive Closures of Semi-commutation Relations on Regular omega-Languages}, author = {H\'eam, Pierre-Cyrille}, year = {2007}, month = {jun}, url = {https://hal.inria.fr/inria-00158285}, institution = {INRIA} }

2006 (3)

• inproceedings - Handling Algebraic Properties in Automatic Analysis of Security Protocols
  ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing / Tunis, Tunisia (Volume 4281, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 153--167)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  bibtex@inproceedings{bhk06:ip, title = {Handling Algebraic Properties in Automatic Analysis of Security Protocols}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2006}, address = {Tunis, Tunisia}, booktitle = {ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing}, month = {nov}, pages = {153--167}, volume = {4281}, series = {Lecture Notes in Computer Science (LNCS)} }
• techreport - Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
  (nov 2006, Research Report)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  bibtex@techreport{bhk06b:ir, title = {Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2006}, month = {nov}, url = {https://hal.inria.fr/inria-00116918} }
• techreport - Handling Algebraic Properties in Automatic Analysis of Security Protocols
  (mar 2006, Research report)
  Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
  
  bibtex@techreport{bhk06:ir, title = {Handling Algebraic Properties in Automatic Analysis of Security Protocols}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2006}, month = {mar}, url = {http://www.inria.fr/rrrt/rr-5857.html} }