Départements de recherche

Accueil > L'institut > Annuaire > annuaire

Annuaire


Retour à la liste

Pierre-Cyrille Heam

Photo Heam

Automates finis, Vérification, Test

DISC
Equipe : VESONTIO
UFC - IUT Belfort Montbéliard

Responsable Equipe VESONTIO

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter

Listes des 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
    Technique et Science Informatiques (TSI) (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