Pierre-Cyrille Heam

@inproceedings{0f5b4048-7053-47af-ae41-eee5c5ae24af, title = {Asymptotic Performance and Energy Consumption of SLACK}, author = {Benoit, Anne and Canon, Louis-Claude and Elghazi, Redouane and Heam, Pierre-Cyrille}, year = {2023}, address = {Limassol, Cyprus}, booktitle = {29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023)}, editor = {}, month = {aug}, pages = {81 - 95}, url = {https://publiweb.femto-st.fr/tntnet/entries/20574/documents/author/data}, doi = {https://doi.org/10.1007/978-3-031-39698-4_6} }

@inproceedings{92ab482d-553b-44e6-817a-039487dbf67f, title = {ELECTOR: Deterministic leader election algorithm for modular robots}, author = {Hourany, Edy and Habib, Bachir and Makhoul, Abdallah and Piranda, Benoit and Bourgeois, Julien and Heam, Pierre-Cyrille}, year = {2022}, address = {Haikou, China}, booktitle = {19th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC 2022)}, editor = {92ab482d-553b-44e6-817a-039487dbf67f-editor.pdf}, month = {dec}, pages = {1551 - 1559}, doi = {https://doi.org/10.1109/SmartWorld-UIC-ATC-ScalCom-DigitalTwin-PriComp-Metaverse56740.2022.00174} }

@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 = {https://doi.org/10.1109/SBAC-PAD53543.2021.00024} }

@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)} }

@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{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} }

@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{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)} }

@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)} }

@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{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{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} }

@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{heam14:it, title = {A Random Testing approach using Pushdown Automata}, author = {Heam, Pierre-Cyrille}, year = {2014}, month = {jun} }

@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{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{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} }

@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{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)} }

@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{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{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{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} }

@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{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{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{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{heam10:it, title = {Semi-commutations et s\^uret\'e des syst\`emes}, author = {H\'eam, Pierre-Cyrille}, year = {2010}, month = {mar} }

@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)} }

@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{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{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{heam09:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2009}, month = {jan} }

@inproceedings{heam08c:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2008}, month = {dec} }

@inproceedings{heam08b:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2008}, month = {oct} }

@inproceedings{heam08a:it, title = {Regular Approximations}, author = {H\'eam, Pierre-Cyrille}, year = {2008}, month = {sep} }

@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)} }

@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)} }

@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{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} }

@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)} }