Pierre-Cyrille Heam < Pierre-Cyrille Héam < Pierre-Etienne Moreau

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 27.
[0-20] [0 - 20][0 - 27][20-26][20-40]

Ident.	Authors (with country if any)	Title
000364 (2008)	Pierre-Cyrille Héam	A Note on Partially Ordered Tree Automata
000847 (2014)	Aloïs Dreyfus ; Pierre-Cyrille Héam ; Olga Kouchnarenko ; Catherine Masson	A random testing approach using pushdown automata
001095 (2006)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
001136 (2005)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Automatic Verification of Security Protocols Using Approximations
001710 (2010)	Pierre-Cyrille Héam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS and Composition Issues
001720 (2010)	Fahima Cheikh ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Composition of Services with Constraints
001780 (2014-12)	Maxime Bride ; Pierre-Cyrille Héam ; Isabelle Jacques	Computing Semicommutation Closures: a Machine Learning Approach
002312 (2008-07-15)	Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Finer is better: Abstraction Refinement for Rewriting Approximations
002719 (2006-11-20)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Handling Algebraic Properties in Automatic Analysis of Security Protocols
002720 (2006)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Handling Algebraic Properties in Automatic Analysis of Security Protocols
002728 (2008-09)	Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Handling Left-Quadratic Rules When Completing Tree Automata
002730 (2009)	Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Handling Non Left-Linear Rules When Completing Tree Automata
003261 (2010-04)	Pierre-Christophe Bué ; Frédéric Dadeau ; Pierre-Cyrille Héam	Model-Based Testing using Symbolic Animation and Machine Learning
003263 (2015-08-01)	Frédéric Dadeau ; Pierre-Cyrille Héam ; Rafik Kheddam ; Ghazi Maatoug ; Michaël Rusinowitch	Model-based mutation testing from security protocols in HLPSL
003482 (2011-03-22)	Frédéric Dadeau ; Pierre-Cyrille Héam ; Rafik Kheddam	Mutation-Based Test Generation from Security Protocols in HLPSL
003804 (2014-12-02)	Pierre-Cyrille Héam ; Jean-Luc Joly	On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques
003808 (2009-10)	Frédéric Dadeau ; Pierre-Cyrille Héam ; Jocelyn Levrey	On the Use of Uniform Random Generation of Automata for Testing
003F20 (2015-08-18)	Pierre-Cyrille Héam ; Jean-Luc Joly	Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata
003F21 (2009-07-14)	Pierre-Cyrille Héam ; Cyril Nicaud ; Sylvain Schmitz	Random Generation of Deterministic Tree (Walking) Automata
004433 (2011-03-21)	Pierre-Cyrille Héam ; Cyril Nicaud	Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing
004A91 (2005-07)	Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyrille Héam ; Olga Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Luca Vigano ; Mathieu Turuani ; Laurent Vigneron	The AVISPA Tool for the automated validation of internet security protocols and applications

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Pierre-Cyrille Héam" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Pierre-Cyrille Héam" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Pierre-Cyrille Héam
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022