Pierre-Christophe Bué < Pierre-Cyrille Heam < Pierre-Cyrille Héam

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 29.
[0-20] [0 - 20][0 - 29][20-28][20-40]

Ident.	Authors (with country if any)	Title
000417 (2013-12-02)	Alois Dreyfus ; Pierre-Cyrille Heam ; Olga Kouchnarenko ; Catherine Masson	A Random Testing Approach Using Pushdown Automata
000418 (2011-06-30)	Pierre-Cyrille Heam ; Catherine Masson	A Random Testing Approach Using Pushdown Automata
000537 (2008)	Yohan Boichut ; Pierre-Cyrille Heam	A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
000538 (2008)	Yohan Boichut ; Pierre-Cyrille Heam	A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
000F60 (2008)	Yohan Boichut ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Approximation based tree regular model checking
001708 (2008-09)	Pierre-Cyrille Heam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS Aspects
001709 (2010)	Pierre-Cyrille Heam ; Olga Kouchnarenko ; Jérôme Voinot	Component Simulation-based Substitutivity Managing QoS and Composition Issues
001723 (2009-11-02)	Philippe Balbiani ; Fahima Cheikh ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Composition of services with constraints
001F69 (2013-07-16)	Alois Dreyfus ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Enhancing Approximations for Regular Reachability Analysis
002313 (2009-11-13)	Pierre-Cyrille Heam	Finite Automata for Software Realiability and Reachability Analyses
002461 (2012-06-26)	Pierre-Cyrille Heam ; Vincent Hugot ; Olga Kouchnarenko	From Linear Temporal Logic Properties to Rewrite Propositions
002462 (2011-10-14)	Pierre-Cyrille Heam ; Vincent Hugot ; Olga Kouchnarenko	From Linear Temporal Logic Properties to Rewrite Propositions
002841 (2007-06-18)	Pierre-Cyrille Heam ; Olga Kouchnarenko ; Jérôme Voinot	How to Handle QoS Aspects in Web Services Substitutivity Verification
002846 (2009-09-23)	Yohan Boichut ; Pierre-Cyrille Heam ; Olga Kouchnarenko	How to Tackle Integer Weighted Automata Positivity
002F87 (2011-07-13)	Pierre-Cyrille Heam ; Vincent Hugot ; Olga Kouchnarenko	Loops and Overloops for Tree Walking Automata
002F88 (2012-09-07)	Pierre-Cyrille Heam ; Vincent Hugot ; Olga Kouchnarenko	Loops and overloops for Tree Walking Automata
003692 (2012-07-17)	Pierre-Cyrille Heam ; Vincent Hugot ; Olga Kouchnarenko	On Positive TAGED with a Bounded Number of Constraints
003745 (2011)	Pierre-Cyrille Heam	On the Complexity of Computing the Profinite Closure of a Rational Language
003805 (2015-08-18)	Pierre-Cyrille Heam ; Jean-Luc Joly	On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism
003A89 (2010)	Pierre-Cyrille Heam ; Cyril Nicaud ; Sylvain Schmitz	Parametric Random Generation of Deterministic Tree Automata
003F22 (2010-11-02)	Pierre-Cyrille Heam ; Vincent Hugot ; Olga Kouchnarenko	Random Generation of Positive TAGEDs wrt. the Emptiness Problem

---

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 Heam" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Pierre-Cyrille Heam" \
         | 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 Heam
}}

---

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