Edit Profile Kouchnarenko, Olga Compute Distance To: Compute Author ID: kouchnarenko.olga Published as: Kouchnarenko, O.; Kouchnarenko, Olga External Links: MGP Documents Indexed: 30 Publications since 1997 all top 5 Co-Authors 0 single-authored 16 Héam, Pierre-Cyrille 8 Boichut, Yohan 5 Hugot, Vincent 5 Julliand, Jacques 4 Courbis, Roméo 3 Lanoix, Arnaud 2 Bellegarde, Françoise 2 Bride, Hadrien 2 Darlot, Christophe 2 Giorgetti, Alain 2 Masson, Pierre-Alain 2 Peureux, Fabien 2 Ringeissen, Christophe 2 Tushkanova, Elena 2 Voiron, Guillaume 1 Armando, Alessandro 1 Basin, D. 1 Bérard, Béatrice 1 Chevalier, Yannick 1 Compagna, Luca 1 Cuellar, Jorge 1 Dormoy, Julien 1 Dreyfus, Aloïs 1 Hankes Drielsma, Paul 1 Mantovani, Jacopo 1 Mödersheim, Sebastian A. 1 Mullins, John 1 Rusinowitch, Michaël 1 Santiago, José Antonio 1 Sassolas, Mathieu 1 Schnoebelen, Philippe 1 Turuani, Mathieu 1 Viganò, Luca 1 Vigneron, Laurent 1 Voinot, Jérôme 1 von Oheimb, David all top 5 Serials 1 Information Processing Letters 1 Programming and Computer Software 1 Theoretical Computer Science 1 Science of Computer Programming 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 Nordic Journal of Computing all top 5 Fields 29 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68523Armando, 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.68442Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille; Kouchnarenko, Olga 6 2008 A model for recursive-parallel programs. Zbl 0912.68131Kouchnarenko, Olga; Schnoebelen, Ph. 5 1997 Handling algebraic properties in automatic analysis of security protocols. Zbl 1168.68378Boichut, Y.; Héam, P.-C.; Kouchnarenko, O. 4 2006 Handling left-quadratic rules when completing tree automata. Zbl 1337.68165Boichut, Y.; Courbis, R.; Héam, P.-C.; Kouchnarenko, O. 3 2008 Refinement preserves PLTL properties. Zbl 1028.68539Darlot, Christophe; Julliand, Jacques; Kouchnarenko, Olga 3 2003 When structural refinement of components keeps temporal properties over reconfigurations. Zbl 1372.68169Dormoy, Julien; Kouchnarenko, Olga; Lanoix, Arnaud 1 2012 On positive TAGED with a bounded number of constraints. Zbl 1297.68135Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga 1 2012 Automatic decidability: a schematic calculus for theories with counting operators. Zbl 1356.68204Tushkanova, Elena; Ringeissen, Christophe; Giorgetti, Alain; Kouchnarenko, Olga 1 2011 Loops and overloops for tree walking automata. Zbl 1297.68134Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga 1 2011 Component simulation-based substitutivity managing QoS and composition issues. Zbl 1214.68097Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme 1 2010 Tree automata for detecting attacks on protocols with algebraic cryptographic primitives. Zbl 1347.94020Boichut, Yohan; Héam, Pierre-Cyrille; Kouchnarenko, Olga 1 2009 Handling non left-linear rules when completing tree automata. Zbl 1187.68290Boichut, Yohan; Courbis, Romeo; Heam, Pierre-Cyrille; Kouchnarenko, Olga 1 2009 Approximation-based tree regular model-checking. Zbl 1187.68312Boichut, Y.; Héam, P.-C.; Kouchnarenko, O. 1 2008 Reformation: A way to combine dynamic properties and \(B\) refinement. Zbl 0987.68892Bellegarde, F.; Darlot, C.; Julliand, J.; Kouchnarenko, O. 1 2001 When structural refinement of components keeps temporal properties over reconfigurations. Zbl 1372.68169Dormoy, Julien; Kouchnarenko, Olga; Lanoix, Arnaud 1 2012 On positive TAGED with a bounded number of constraints. Zbl 1297.68135Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga 1 2012 Automatic decidability: a schematic calculus for theories with counting operators. Zbl 1356.68204Tushkanova, Elena; Ringeissen, Christophe; Giorgetti, Alain; Kouchnarenko, Olga 1 2011 Loops and overloops for tree walking automata. Zbl 1297.68134Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga 1 2011 Component simulation-based substitutivity managing QoS and composition issues. Zbl 1214.68097Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme 1 2010 Tree automata for detecting attacks on protocols with algebraic cryptographic primitives. Zbl 1347.94020Boichut, Yohan; Héam, Pierre-Cyrille; Kouchnarenko, Olga 1 2009 Handling non left-linear rules when completing tree automata. Zbl 1187.68290Boichut, Yohan; Courbis, Romeo; Heam, Pierre-Cyrille; Kouchnarenko, Olga 1 2009 Finer is better: Abstraction refinement for rewriting approximations. Zbl 1145.68442Boichut, Yohan; Courbis, Roméo; Héam, Pierre-Cyrille; Kouchnarenko, Olga 6 2008 Handling left-quadratic rules when completing tree automata. Zbl 1337.68165Boichut, Y.; Courbis, R.; Héam, P.-C.; Kouchnarenko, O. 3 2008 Approximation-based tree regular model-checking. Zbl 1187.68312Boichut, Y.; Héam, P.-C.; Kouchnarenko, O. 1 2008 Handling algebraic properties in automatic analysis of security protocols. Zbl 1168.68378Boichut, Y.; Héam, P.-C.; Kouchnarenko, O. 4 2006 The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523Armando, 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.68539Darlot, Christophe; Julliand, Jacques; Kouchnarenko, Olga 3 2003 Reformation: A way to combine dynamic properties and \(B\) refinement. Zbl 0987.68892Bellegarde, F.; Darlot, C.; Julliand, J.; Kouchnarenko, O. 1 2001 A model for recursive-parallel programs. Zbl 0912.68131Kouchnarenko, Olga; Schnoebelen, Ph. 5 1997 all cited Publications top 5 cited Publications 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 all top 5 Cited in 17 Serials 9 Theoretical Computer Science 7 Information and Computation 4 Journal of Automated Reasoning 3 Formal Aspects of Computing 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Science of Computer Programming 1 Acta Informatica 1 Journal of Computer and System Sciences 1 MSCS. Mathematical Structures in Computer Science 1 Tatra Mountains Mathematical Publications 1 Sādhanā 1 Logical Methods in Computer Science 1 Journal of Formalized Reasoning 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Mathematics and Computational Mechanics Cited in 3 Fields 60 Computer science (68-XX) 30 Information and communication theory, circuits (94-XX) 9 Mathematical logic and foundations (03-XX) Citations by Year