×

zbMATH — the first resource for mathematics

Kouchnarenko, Olga

Compute Distance To:
Author ID: kouchnarenko.olga Recent zbMATH articles by "Kouchnarenko, Olga"
Published as: Kouchnarenko, O.; Kouchnarenko, Olga
External Links: MGP
Documents Indexed: 30 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 73 times in 64 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.
43
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 model for recursive-parallel programs. Zbl 0912.68131
Kouchnarenko, Olga; Schnoebelen, Ph.
5
1997
Handling algebraic properties in automatic analysis of security protocols. Zbl 1168.68378
Boichut, Y.; Héam, P.-C.; Kouchnarenko, O.
4
2006
Handling left-quadratic rules when completing tree automata. Zbl 1337.68165
Boichut, Y.; Courbis, R.; Héam, P.-C.; Kouchnarenko, O.
3
2008
Refinement preserves PLTL properties. Zbl 1028.68539
Darlot, Christophe; Julliand, Jacques; Kouchnarenko, Olga
3
2003
When structural refinement of components keeps temporal properties over reconfigurations. Zbl 1372.68169
Dormoy, Julien; Kouchnarenko, Olga; Lanoix, Arnaud
1
2012
On positive TAGED with a bounded number of constraints. Zbl 1297.68135
Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga
1
2012
Automatic decidability: a schematic calculus for theories with counting operators. Zbl 1356.68204
Tushkanova, Elena; Ringeissen, Christophe; Giorgetti, Alain; Kouchnarenko, Olga
1
2011
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
Reformation: A way to combine dynamic properties and \(B\) refinement. Zbl 0987.68892
Bellegarde, F.; Darlot, C.; Julliand, J.; Kouchnarenko, O.
1
2001
When structural refinement of components keeps temporal properties over reconfigurations. Zbl 1372.68169
Dormoy, Julien; Kouchnarenko, Olga; Lanoix, Arnaud
1
2012
On positive TAGED with a bounded number of constraints. Zbl 1297.68135
Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga
1
2012
Automatic decidability: a schematic calculus for theories with counting operators. Zbl 1356.68204
Tushkanova, Elena; Ringeissen, Christophe; Giorgetti, Alain; Kouchnarenko, Olga
1
2011
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
Finer is better: Abstraction refinement for rewriting approximations. Zbl 1145.68442
Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille; Kouchnarenko, Olga
6
2008
Handling left-quadratic rules when completing tree automata. Zbl 1337.68165
Boichut, Y.; Courbis, R.; Héam, P.-C.; Kouchnarenko, O.
3
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.
43
2005
Refinement preserves PLTL properties. Zbl 1028.68539
Darlot, Christophe; Julliand, Jacques; Kouchnarenko, Olga
3
2003
Reformation: A way to combine dynamic properties and \(B\) refinement. Zbl 0987.68892
Bellegarde, F.; Darlot, C.; Julliand, J.; Kouchnarenko, O.
1
2001
A model for recursive-parallel programs. Zbl 0912.68131
Kouchnarenko, Olga; Schnoebelen, Ph.
5
1997
all top 5

Cited by 114 Authors

9 Delaune, Stéphanie
8 Héam, Pierre-Cyrille
7 Cortier, Véronique
7 Kouchnarenko, Olga
6 Boichut, Yohan
5 Kremer, Steve
4 Basin, David A.
4 Cremers, Cas J. F.
3 Cheval, Vincent
3 Meadows, Catherine A.
3 Schnoebelen, Philippe
3 Viganò, Luca
2 Arnaud, Mathilde
2 Ayala-Rincón, Mauricio
2 Caleiro, Carlos
2 Ciobâcă, Ştefan
2 Courbis, Roméo
2 Falcone, Yliès
2 Finkel, Alain
2 Genet, Thomas
2 Hugot, Vincent
2 Lafourcade, Pascal
2 Mauw, Sjouke
2 Mödersheim, Sebastian A.
2 Radomirović, Saša
2 Réty, Pierre
2 Sasse, Ralf
1 Andova, Suzana
1 Arsac, Wihem
1 Babel, Kushal
1 Belardinelli, Francesco
1 Bella, Giampaolo
1 Ben Rajeb, Narjes
1 Bensalem, Saddek
1 Berrima, Mouhebeddine
1 Blanchet, Bruno
1 Blondin, Michael
1 Bozga, Marius
1 Cervesato, Iliano
1 Chabin, Jacques
1 Chantry, Xavier
1 Chaudhari, Narendra S.
1 Chevalier, Céline
1 Chevalier, Yannick
1 Colvin, Robert J.
1 Comon-Lundh, Hubert
1 Compagna, Luca
1 Datta, Anupam
1 de Vink, Erik P.
1 Derek, Ante
1 Derrick, John
1 Dreier, Jannik
1 Duménil, Charles
1 Echenim, Mnacho
1 Erbatur, Serdar
1 Escobar, Santiago
1 Fallah, Mehran S.
1 Fernández, Maribel
1 Focardi, Riccardo
1 Gjøsteen, Kristian
1 Gupta, Shubham
1 Haddad, Serge
1 Hayes, Ian J.
1 Hoang, Thai Son
1 Hördegen, Heinrich
1 Jaggard, Aaron D.
1 Janvier, Romain
1 Julliand, Jacques
1 Kassem, Ali
1 Keller, Michel
1 Kurkowski, Mirosław
1 Labroue, Anne
1 Lakhnech, Yassine
1 Lomuscio, Alessio
1 Luccio, Flaminia L.
1 Lugiez, Denis
1 Marshall, Andrew M.
1 Masson, Pierre-Alain
1 Mazaré, Laurent
1 McKenzie, Pierre
1 Meseguer Guaita, José
1 Mitchell, John C.
1 Mjølsnes, Stig Frode
1 Nadeau, Philippe
1 Nazarpour, Hosein
1 Novotný, Marián
1 Oudot, E.
1 Parne, Balu L.
1 Pelletier, Vivien
1 Peltier, Nicolas
1 Piątkowski, Jacek
1 Poitrenaud, Denis
1 Ramos, Jaime
1 Rego, Yuri Santos
1 Ringeissen, Christophe
1 Roy, Arnab
1 Rusinowitch, Michaël
1 Ryan, Mark Dermot
1 Salmon, Yann
1 Sattarzadeh, Behnam
...and 14 more Authors

Citations by Year