×

zbMATH — the first resource for mathematics

Héam, Pierre-Cyrille

Compute Distance To:
Author ID: heam.pierre-cyrille Recent zbMATH articles by "Héam, Pierre-Cyrille"
Published as: Heam, Pierre-Cyrille; Heám, P. C.; Héam, P.-C.; Héam, Pierre-Cyrille
External Links: MGP · Wikidata
Documents Indexed: 35 Publications since 2000

Publications by Year

Citations contained in zbMATH

21 Publications have been cited 91 times in 75 Documents Cited by Year
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.
41
2005
Finer is better: Abstraction refinement for rewriting approximations. Zbl 1145.68442
Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille; Kouchnarenko, Olga
6
2008
A theoretical limit for safety verification techniques with regular fix-point computations. Zbl 1186.68280
Boichut, Y.; Héam, P.-C.
5
2008
A lower bound for reversible automata. Zbl 0987.68043
Héam, Pierre-Cyrille
5
2000
Handling algebraic properties in automatic analysis of security protocols. Zbl 1168.68378
Boichut, Y.; Héam, P.-C.; Kouchnarenko, O.
4
2006
Random walk in a \({\mathsf N}\)-cube without Hamiltonian cycle to chaotic pseudorandom number generation: theoretical and practical considerations. Zbl 1358.11090
Contassot-Vivier, Sylvain; Couchot, Jean-François; Guyeux, Christophe; Heam, Pierre-Cyrille
3
2017
Parametric random generation of deterministic tree automata. Zbl 1209.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2010
Random generation of deterministic tree (walking) automata. Zbl 1248.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2009
Handling left-quadratic rules when completing tree automata. Zbl 1337.68165
Boichut, Y.; Courbis, R.; Héam, P.-C.; Kouchnarenko, O.
3
2008
On shuffle ideals. Zbl 1034.68056
Héam, Pierre-Cyrille
3
2002
Efficiency of automata in semi-commutation verification techniques. Zbl 1144.68039
Cécé, Gérard; Héam, Pierre-Cyrille; Mainier, Yann
2
2008
A polynomial time algorithm to compute the Abelian kernel of a finite monoid. Zbl 1029.20030
Delgado, Manuel; Héam, Pierre-Cyrille
2
2003
Some complexity results for polynomial rational expressions. Zbl 1042.68063
Héam, P.-C.
2
2003
Automata for pro-V topologies. Zbl 0989.68071
Héam, Pierre-Cyrille
2
2001
On positive TAGED with a bounded number of constraints. Zbl 1297.68135
Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga
1
2012
Loops and overloops for tree walking automata. Zbl 1297.68134
Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga
1
2011
Component simulation-based substitutivity managing QoS and composition issues. Zbl 1214.68097
Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme
1
2010
Tree automata for detecting attacks on protocols with algebraic cryptographic primitives. Zbl 1347.94020
Boichut, Yohan; Héam, Pierre-Cyrille; Kouchnarenko, Olga
1
2009
Handling non left-linear rules when completing tree automata. Zbl 1187.68290
Boichut, Yohan; Courbis, Romeo; Heam, Pierre-Cyrille; Kouchnarenko, Olga
1
2009
Approximation-based tree regular model-checking. Zbl 1187.68312
Boichut, Y.; Héam, P.-C.; Kouchnarenko, O.
1
2008
Some topological properties of rational sets. Zbl 0993.68053
Héam, Pierre-Cyrille
1
2001
Random walk in a \({\mathsf N}\)-cube without Hamiltonian cycle to chaotic pseudorandom number generation: theoretical and practical considerations. Zbl 1358.11090
Contassot-Vivier, Sylvain; Couchot, Jean-François; Guyeux, Christophe; Heam, Pierre-Cyrille
3
2017
On positive TAGED with a bounded number of constraints. Zbl 1297.68135
Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga
1
2012
Loops and overloops for tree walking automata. Zbl 1297.68134
Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga
1
2011
Parametric random generation of deterministic tree automata. Zbl 1209.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2010
Component simulation-based substitutivity managing QoS and composition issues. Zbl 1214.68097
Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme
1
2010
Random generation of deterministic tree (walking) automata. Zbl 1248.68298
Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain
3
2009
Tree automata for detecting attacks on protocols with algebraic cryptographic primitives. Zbl 1347.94020
Boichut, Yohan; Héam, Pierre-Cyrille; Kouchnarenko, Olga
1
2009
Handling non left-linear rules when completing tree automata. Zbl 1187.68290
Boichut, Yohan; Courbis, Romeo; Heam, Pierre-Cyrille; Kouchnarenko, Olga
1
2009
Finer is better: Abstraction refinement for rewriting approximations. Zbl 1145.68442
Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille; Kouchnarenko, Olga
6
2008
A theoretical limit for safety verification techniques with regular fix-point computations. Zbl 1186.68280
Boichut, Y.; Héam, P.-C.
5
2008
Handling left-quadratic rules when completing tree automata. Zbl 1337.68165
Boichut, Y.; Courbis, R.; Héam, P.-C.; Kouchnarenko, O.
3
2008
Efficiency of automata in semi-commutation verification techniques. Zbl 1144.68039
Cécé, Gérard; Héam, Pierre-Cyrille; Mainier, Yann
2
2008
Approximation-based tree regular model-checking. Zbl 1187.68312
Boichut, Y.; Héam, P.-C.; Kouchnarenko, O.
1
2008
Handling algebraic properties in automatic analysis of security protocols. Zbl 1168.68378
Boichut, Y.; Héam, P.-C.; Kouchnarenko, O.
4
2006
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.
41
2005
A polynomial time algorithm to compute the Abelian kernel of a finite monoid. Zbl 1029.20030
Delgado, Manuel; Héam, Pierre-Cyrille
2
2003
Some complexity results for polynomial rational expressions. Zbl 1042.68063
Héam, P.-C.
2
2003
On shuffle ideals. Zbl 1034.68056
Héam, Pierre-Cyrille
3
2002
Automata for pro-V topologies. Zbl 0989.68071
Héam, Pierre-Cyrille
2
2001
Some topological properties of rational sets. Zbl 0993.68053
Héam, Pierre-Cyrille
1
2001
A lower bound for reversible automata. Zbl 0987.68043
Héam, Pierre-Cyrille
5
2000
all top 5

Cited by 129 Authors

15 Héam, Pierre-Cyrille
9 Kouchnarenko, Olga
8 Delaune, Stéphanie
7 Boichut, Yohan
6 Cortier, Véronique
5 Kremer, Steve
4 Basin, David A.
4 Cremers, Cas J. F.
3 Cheval, Vincent
3 Courbis, Romeo
3 Hugot, Vincent
3 Meadows, Catherine A.
3 Viganò, Luca
2 Arnaud, Mathilde
2 Ayala-Rincón, Mauricio
2 Caleiro, Carlos
2 Cano, Antonio
2 Carnino, Vincent
2 Ciobâcă, Ştefan
2 Couchot, Jean-François
2 De Felice, Sven
2 Garcia, Pedro
2 Genet, Thomas
2 Kutrib, Martin
2 Lafourcade, Pascal
2 López , Damián
2 Mauw, Sjouke
2 Mödersheim, Sebastian A.
2 Radomirović, Saša
2 Réty, Pierre
2 Sasse, Ralf
2 Schnoebelen, Philippe
2 Vázquez de Parga, Manuel
1 Andova, Suzana
1 Antonopoulos, Timos
1 Arsac, Wihem
1 Babel, Kushal
1 Bakiri, Mohammed
1 Belardinelli, Francesco
1 Bella, Giampaolo
1 Ben Rajeb, Narjes
1 Berrima, Mouhebeddine
1 Blanchet, Bruno
1 Calude, Cristian S.
1 Cécé, Gérard
1 Cervesato, Iliano
1 Chabin, Jacques
1 Chantry, Xavier
1 Chaudhari, Narendra S.
1 Chen, Chungchuan
1 Cherroun, Hadda
1 Chevalier, Céline
1 Chevalier, Yannick
1 Colvin, Robert J.
1 Comon-Lundh, Hubert
1 Compagna, Luca
1 Conejero, José Alberto
1 Contassot-Vivier, Sylvain
1 Cordeiro, Edite
1 Datta, Anupam
1 de Vink, Erik P.
1 Delgado, Manuel
1 Derek, Ante
1 Dreier, Jannik
1 Duménil, Charles
1 Erbatur, Serdar
1 Escobar, Santiago
1 Falcone, Yliès
1 Fallah, Mehran S.
1 Fernández, Maribel
1 Focardi, Riccardo
1 Geerts, Floris
1 Gjøsteen, Kristian
1 Guaiana, Giovanna
1 Guellouma, Younes
1 Gupta, Shubham
1 Guyeux, Christophe
1 Halfon, Simon
1 Hayes, Ian J.
1 Holzer, Markus
1 Hördegen, Heinrich
1 Jaggard, Aaron D.
1 Jakobi, Sebastian
1 Janvier, Romain
1 Jürgensen, Helmut
1 Karandikar, Prateek
1 Kassem, Ali
1 Keller, Michel
1 Kostić, Marko
1 Kunc, Michal
1 Lakhnech, Yassine
1 Lomuscio, Alessio
1 Luccio, Flaminia L.
1 Mainier, Yann
1 Marshall, Andrew M.
1 Martens, Wim
1 Mazaré, Laurent
1 Meseguer Guaita, José
1 Mitchell, John C.
1 Mjølsnes, Stig Frode
...and 29 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.