Publications

Category article

2017

  • 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 | bibtex
  • 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 pages))
    Contassot-Vivier, Sylvain | Couchot, Jean-François | Guyeux, Christophe | Heam, Pierre-Cyrille
    pdf | doi | bibtex

2015

  • 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
    doi | bibtex

2014

  • 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 | bibtex
  • 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
    doi | bibtex

2012

  • 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 | bibtex

2011

  • 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
    bibtex

2010

  • Parametric Random Generation of Deterministic Tree Automata
    Theoretical Computer Science (Volume 411, 2010, Pages :3469--3480)
    Heam, Pierre-Cyrille | Nicaud, Cyril | Schmitz, Sylvain
    pdf | bibtex
  • 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 | bibtex
  • 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 | bibtex
  • 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 | bibtex

2009

  • 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 | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    pdf | doi | bibtex
  • 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 | bibtex

2008

  • Clôtures transitives de semi-commutations et model-checking régulier
    TSI (Technique et Science Informatiques) (Volume 27, Issue (1-2), 2008, Pages :7 - 28)
    Heam, Pierre-Cyrille | Cece, Gérard | Mainier, Yann
    doi | bibtex
  • A Note on Partially Ordered Tree Automata
    Information Processing Letters (Volume 108, Issue (4), oct 2008, Pages :242 - 246)
    Heam, Pierre-Cyrille
    pdf | doi | bibtex
  • 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 | bibtex
  • 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 | bibtex
  • Efficiency of Automata in Semi-Commutation Verification Techniques
    RAIRO - Theoretical Informatics and Applications (Volume 42, Issue (2), mar 2008, Pages :197--215)
    Heam, Pierre-Cyrille | Cece, Gérard | Mainier, Yann
    doi | bibtex

2007

  • 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
    bibtex

Category inproceedings

2016

  • Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
    Euro-Par 2016: Parallel Processing / Grenoble - France (Publisher : Springer, Volume 9833, 2016, Pages pages 133 - 145)
    Canon, Louis-Claude | Heam, Pierre-Cyrille | Philippe, Laurent
    pdf | doi | bibtex

2015

  • Covering both stack and states while testing push-down systems
    2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) / Graz, Austria (Publisher : IEEE, 2015, Pages pages 7 pages)
    Heam, Pierre-Cyrille | M'hemdi, Hana
    doi | bibtex
  • On the Uniform Random Generation of Non deterministic Automata up to Isomorphism
    CIAA 2015, 20th Int. Conf. on Implementation and Application of Automata / Umea, Sweden (Publisher : Springer, Volume 9223, 2015, Pages pages 140--152)
    Heam, Pierre-Cyrille | Joly, Jean-Luc
    pdf | bibtex
  • Random Generation and Enumeration of Accessible Deterministic Real-time Pushdown Automata
    CIAA 2015, 20th Int. Conf. on Implementation and Application of Automata / Umea, Sweden (Publisher : Springer, Volume 9223, 2015, Pages pages 153--164)
    Heam, Pierre-Cyrille | Joly, Jean-Luc
    pdf | bibtex

2014

  • 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

2013

  • 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
  • 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
  • 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, 2013, Pages pages 331--339)
    Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    pdf | doi | bibtex

2012

  • From Linear Temporal Logic Properties to Rewrite Propositions
    IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning / Manchester, UK (Volume 7364, 2012, Pages pages 316-331)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    doi | bibtex
  • On Positive TAGED with a Bounded Number of Constraints
    CIAA 2012, 17th Int. Conf. on Implementation and Application of Automata / Porto, Portugal (Volume 7381, 2012, Pages pages 329--336)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    pdf | doi | bibtex

2011

  • 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
    doi | bibtex
  • Loops and overloops for tree walking automata
    CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata / Blois, France (Volume 6807, 2011, Pages pages 166--177)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    doi | bibtex
  • 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
    doi | bibtex
  • A Random Testing Approach Using Pushdown Automata
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, 2011, Pages pages 119--133)
    Heam, Pierre-Cyrille | Masson, Catherine
    pdf | bibtex

2010

  • 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)
    Bué, Pierre-Christophe | Dadeau, Frédéric | Heam, Pierre-Cyrille
    doi | bibtex
  • 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
  • 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
    bibtex
  • 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

2009

  • How to Tackle Integer Weighted Automata Positivity
    RP'09, 3rd Int. Workshop on Reachability Problems / Paris, France (Volume 5797, 2009, Pages pages 79--92)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    doi | bibtex
  • TAGED Approximations for Temporal Properties Model-Checking
    CIAA'09, 14th Int. Conf. and Application of Automata / Sydney, Australia (Volume 5642, 2009, Pages pages 135--144)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    doi | bibtex
  • Random Generation of Deterministic Tree (Walking) Automata
    CIAA'09, 14th Int. Conf. on Implementation and Application of Automata / Sidney, Australia (Volume 5642, 2009, Pages pages 115--124)
    Heam, Pierre-Cyrille | Nicaud, Cyril | Schmitz, Sylvain
    bibtex
  • On the Use of Uniform Random Generation of Automata for Testing
    MBT'09 proceedings / York, United Kingdom (Volume 253-2, 2009, Pages pages 37--51)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
    bibtex

2008

  • Finer is better: Abstraction Refinement for Rewriting Approximations
    RTA'08, 19th int. conf. on Rewriting Techniques and Applications / Hagenberg, Austria (Volume 5117, 2008, Pages pages 48--62)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    bibtex
  • 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, 2008, Pages pages 61--70)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    doi | bibtex

2007

  • 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
  • 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

2006

  • Handling Algebraic Properties in Automatic Analysis of Security Protocols
    ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing / Tunis, Tunisia (Volume 4281, 2006, Pages pages 153--167)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2005

  • The Avispa Tool for the automated validation of internet security protocols and applications
    CAV 2005, 17th Int. Conf. on Computer Aided Verification / Edinburgh, Scotland, United Kingdom (Publisher : Springer, Volume 3576, 2005, Pages pages 281--285)
    Armando, A. | Basin, D. | Boichut, Yohan | Chevalier, Y. | Compagna, L. | Cuellar, J. | Hankes Drielsma, P. | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Mantovani, J. | Moedersheim, S. | von Oheimb, D. | Rusinowitch, M. | Santiago, J. | Turuani, M. | Viganò, L. | Vigneron, L.
    bibtex

2004

  • Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols
    Proc. Int. Ws. on Automated Verification of Infinite-State Systems (AVIS'2004), joint to ETAPS'04 / Barcelona, Spain (2004, Pages pages 1--11)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Oehl, F.
    bibtex
  • Clôtures transitives de semi-commutations et model-checking régulier
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 257--268)
    Cece, Gérard | Heam, Pierre-Cyrille | Mainier, Yann
    bibtex

Category misc

2014

  • A Random Testing approach using Pushdown Automata
    Journées du GDR-GPL, session FORWAL, Paris, France (jun 2014)
    Heam, Pierre-Cyrille
    bibtex
  • Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers
    15-th Mons Theoretical Computer Science Days (15e Journées Montoises d'Informatique Théorique), Nancy, France (sep 2014)
    Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
    bibtex

2012

  • 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

2010

  • Semi-commutations et sûreté des systèmes
    Séminaire invité à l'Université de Nancy (mar 2010)
    Heam, Pierre-Cyrille
    bibtex

2009

  • Regular Approximations
    Séminaire invité à l'Université de Bordeaux (jan 2009)
    Heam, Pierre-Cyrille
    bibtex

2008

  • Regular Approximations
    Séminaire invité à l'ENS Cachan (sep 2008)
    Heam, Pierre-Cyrille
    bibtex
  • Regular Approximations
    Séminaire invité à l'Université de Marne-la-Vallée (oct 2008)
    Heam, Pierre-Cyrille
    bibtex
  • Regular Approximations
    Séminaire invité à l'Université Paris 7 (dec 2008)
    Heam, Pierre-Cyrille
    bibtex

2004

  • Semi-commutations et automates finis
    Séminaire invité à l'ENS Cachan (apr 2004)
    Heam, Pierre-Cyrille
    bibtex
  • TA4SP
    ( 2004)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2002

  • Utilisation d'automates pour l'algorithmique des mono¨ides finis
    Séminaire invité aux journées du {GdR ALP} (jan 2002)
    Heam, Pierre-Cyrille
    bibtex
  • Idéaux de mélange
    Séminaire invité à l'Université d'Amiens (jan 2002)
    Heam, Pierre-Cyrille
    bibtex

2001

  • On languages of level 1/2 in ST hierarchy
    Séminaire invité à l'Université de Porto (Portugal) (dec 2001)
    Heam, Pierre-Cyrille
    bibtex
  • Automates finis et topologie
    Séminaire invité à l'Université de Rouen (oct 2001)
    Heam, Pierre-Cyrille
    bibtex
  • Idéaux de mélanges
    Séminaire invité à l'Université de Marne-la-Vallée (oct 2001)
    Heam, Pierre-Cyrille
    bibtex
  • Idéaux de mélanges
    Séminaire invité à l'Université Paris 7 (dec 2001)
    Heam, Pierre-Cyrille
    bibtex

Category techreport

2016

  • Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
    FEMTO-ST (feb 2016, Research Report, Number RR-FEMTO-ST-1191)
    Canon, Louis-Claude | Heam, Pierre-Cyrille | Philippe, Laurent
    bibtex

2010

  • Random Generation of Positive TAGEDs wrt. the Emptiness Problem
    (nov 2010, Research Report, Number RR-7441)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    bibtex

2008

  • A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
    (jan 2008, Research Report, Number RR-6411)
    Boichut, Yohan | Heam, Pierre-Cyrille
    bibtex
  • A Combination of Model-Based Testing and Random Testing Approaches using Automata
    (oct 2008, Research Report, Number RR2008-10)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
    bibtex

2007

  • Towards Formalizing QoS of Web Services with Weighted Automata
    (jun 2007, Research Report, Number RR-6218)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
    bibtex
  • Transitive Closures of Semi-commutation Relations on Regular omega-Languages
    INRIA (jun 2007, Research Report, Number RR-6239)
    Heam, Pierre-Cyrille
    bibtex

2006

  • Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
    (nov 2006, Research Report, Number RR-6039)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • Handling Algebraic Properties in Automatic Analysis of Security Protocols
    (mar 2006, Research report, Number RR-5857)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2005

  • Automatic Verification of Security Protocols Using Approximations
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (jan 2005, Research Report, Number RR2005-01)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2004

  • Abstractions
    AVISPA project (apr 2004, Delivrable D5.1, Number )
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • AVISPA tool
    AVISPA project tool vs 2 (jul 2004, Delivrable 4.5, Number )
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • Infinite State Model Checking
    AVISPA project (sep 2004, Delivrable D5.2, Number )
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2003

  • Efficiency of Automata in Semi-Commutation Verification Techniques
    INRIA (nov 2003, Research report, Number RR-5001)
    Cece, Gérard | Heam, Pierre-Cyrille | Mainier, Yann
    bibtex