Skip to Main content Skip to Navigation

hal-00561373v1  Journal articles
Yohan BoichutRoméo CourbisPierre-Cyrille HeamOlga Kouchnarenko. Handling Non Left-Linear Rules When Completing Tree Automata
International Journal of Foundations of Computer Science, World Scientific Publishing, 2009, 20 (5), pp.837--849. ⟨10.1142/S0129054109006917⟩
inria-00429356v1  Conference papers
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
9th International Workshop on Verification of Infinite-State Systems - INFINITY'07, 2007, Lisbonnes, Portugal. pp.57-72
inria-00428998v1  Conference papers
Yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. How to Tackle Integer Weighted Automata Positivity
3rd InternationalWorkshop on Reachability Problems - RP 2009, Sep 2009, Palaiseau, France. pp.79-92, ⟨10.1007/978-3-642-04420-5_9⟩
hal-00756564v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. On Positive TAGED with a Bounded Number of Constraints
CIAA - 17th International Conference on Implementation and Application of Automata 2012, Jul 2012, Porto, Portugal. pp.329-336, ⟨10.1007/978-3-642-31606-7_29⟩
hal-00756598v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. From Linear Temporal Logic Properties to Rewrite Propositions
IJCAR - International Joint Conference on Automated Reasonning 2012, Jun 2012, Manchester, United Kingdom. pp.316-331, ⟨10.1007/978-3-642-31365-3_25⟩
hal-00909225v1  Conference papers
Alois DreyfusPierre-Cyrille HeamOlga Kouchnarenko. Random Grammar-based Testing for Covering All Non-Terminals
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - CSTVA Workshop, Mar 2013, Luxembourg, Luxembourg
hal-00909204v1  Conference papers
Alois DreyfusPierre-Cyrille HeamOlga Kouchnarenko. Enhancing Approximations for Regular Reachability Analysis
CIAA 2013 - 18th International Conference on Implementation and Application of Automata - 2013, Jul 2013, Halifax, Canada. pp.331-339, ⟨10.1007/978-3-642-39274-0_29⟩
hal-01090881v1  Journal articles
Frédéric DadeauPierre-Cyrille HeamRafik KheddamGhazi MaatougMichaël Rusinowitch. Model-based mutation testing from security protocols in HLPSL
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2015, pp.30. ⟨10.1002/stvr.1531⟩
hal-01664639v1  Conference papers
Louis-Claude CanonPierre-Cyrille HeamLaurent Philippe. Controlling and Assessing Correlations of Cost Matrices in Heterogeneous Scheduling
Euro-par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.133 - 145
hal-00756514v1  Journal articles
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. Loops and overloops for Tree Walking Automata
Theoretical Computer Science, Elsevier, 2012, Implementation and Application of Automata (CIAA 2011), 450, pp.43-53. ⟨10.1016/j.tcs.2012.04.026⟩
hal-00620373v1  Conference papers
Pierre-Cyrille HeamCyril Nicaud. Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing
4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11), Mar 2011, Berlin, Germany. pp.60 - 69, ⟨10.1109/ICST.2011.31⟩
hal-03003541v1  Journal articles
Sylvain Contassot-VivierJean-François CouchotChristophe GuyeuxPierre-Cyrille Heam. Random Walk in a N-Cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations
International journal of bifurcation and chaos in applied sciences and engineering , World Scientific Publishing, 2017, 27 (01), pp.1750014. ⟨10.1142/S0218127417500146⟩
hal-00641750v1  Conference papers
Pierre-Cyrille HeamCatherine Masson. A Random Testing Approach Using Pushdown Automata
5th International Conference on Tests and Proofs - TAP 2011, Jun 2011, Zurich, Switzerland. pp.119-133, ⟨10.1007/978-3-642-21768-5_10⟩
hal-00563430v1  Journal articles
Gérard CécéPierre-Cyrille HeamYann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (2), pp.197--215. ⟨10.1051/ita:2007029⟩
inria-00429236v1  Journal articles
Frédéric DadeauPierre-Cyrille HeamJocelyn Levrey. On the Use of Uniform Random Generation of Automata for Testing
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. ⟨10.1016/j.entcs.2009.09.050⟩
hal-00641743v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. Loops and Overloops for Tree Walking Automata
16th International Conference on Implementation and Application of Automata - CIAA 2011, Jul 2011, Blois, France. pp.166-177, ⟨10.1007/978-3-642-22256-6_16⟩
hal-00563313v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. {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, 2010, France
hal-00563293v1  Conference papers
Yohan BoichutRoméo CourbisPierre-Cyrille HeamOlga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata
2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩
hal-00530350v1  Conference papers
Adrian CaciulaRoméo CourbisVioleta FeleaPierre-Cyrille HeamRasvan Ionescu. Une approche parallèle et distribuée pour la complétion d'automates d'arbre
10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43
tel-00432301v1  Habilitation à diriger des recherches
Pierre-Cyrille Heam. Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité
Informatique [cs]. Université de Franche-Comté, 2009