Olga Kouchnarenko

Olga Kouchnarenko

Université de Franche-Comté - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 917873
University of Franche-Comté
person_outline Olga Kouchnarenko's MOST POPULAR ARTICLES
1-) The AVISPA tool for the automated validation of internet security protocols and applicationsA Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...International conference on computer aided verification, 281-285, 200514012005
2-) Improvements on the Genet and Klay technique to automatically verify security protocolsY Boichut, PC Héam, O Kouchnarenko, F OehlProc. AVIS 4, 84, 20041002004
3-) Using temporal logic for dynamic reconfigurations of componentsJ Dormoy, O Kouchnarenko, A LanoixInternational Workshop on Formal Aspects of Component Software, 200-217, 2010632010
4-) Ready-simulation is not ready to express a modular refinement relationF Bellegarde, J Julliand, O KouchnarenkoFundamental Approaches to Software Engineering: Third International …, 2000592000
5-) Automatic verification of security protocols using approximationsY Boichut, PC Héam, O KouchnarenkoINRIA, 2005482005