Publications

View all 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} }