Follow
Olga Kouchnarenko
Olga Kouchnarenko
FEMTO-ST and UFC/UBFC
Verified email at univ-fcomte.fr - Homepage
Title
Cited by
Cited by
Year
The AVISPA tool for the automated validation of internet security protocols and applications
A Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
14422005
Improvements on the Genet and Klay technique to automatically verify security protocols
Y Boichut, PC Héam, O Kouchnarenko, F Oehl
Proc. AVIS 4, 84, 2004
992004
Using temporal logic for dynamic reconfigurations of components
J Dormoy, O Kouchnarenko, A Lanoix
Formal Aspects of Component Software: 7th International Workshop, FACS 2010 …, 2012
652012
Ready-simulation is not ready to express a modular refinement relation
F Bellegarde, J Julliand, O Kouchnarenko
Fundamental Approaches to Software Engineering: Third International …, 2000
532000
Automatic verification of security protocols using approximations
Y Boichut, PC Héam, O Kouchnarenko
INRIA, 2005
472005
Adapting component-based systems at runtime via policies with temporal patterns
O Kouchnarenko, JF Weber
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
462014
Combining proof and model-checking to validate reconfigurable architectures
A Lanoix, J Dormoy, O Kouchnarenko
Electronic Notes in Theoretical Computer Science 279 (2), 43-57, 2011
432011
Using CSP|| B components: application to a platoon of vehicles
S Colin, A Lanoix, O Kouchnarenko, J Souquières
Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009
312009
Finer is better: Abstraction refinement for rewriting approximations
Y Boichut, R Courbis, PC Héam, O Kouchnarenko
Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008
292008
Refinement preserves PLTL properties
C Darlot, J Julliand, O Kouchnarenko
ZB, 408-420, 2003
282003
Automatic approximation for the verification of cryptographic protocols
F Oehl, G Cécé, O Kouchnarenko, D Sinclair
Formal Aspects of Security: First International Conference, FASec 2002 …, 2003
232003
Refinement and verification of synchronized component-based systems
O Kouchnarenko, A Lanoix
FME, 341-358, 2003
232003
Handling algebraic properties in automatic analysis of security protocols
Y Boichut, PC Héam, O Kouchnarenko
ICTAC 4281, 153-167, 2006
222006
A model for recursive-parallel programs.
O Kouchnarenko, P Schnoebelen
INFINITY, 30, 1996
221996
Towards validating a platoon of cristal vehicles using csp|| b
S Colin, A Lanoix, O Kouchnarenko, J Souquières
Algebraic Methodology and Software Technology: 12th International Conference …, 2008
212008
Approximation based tree regular model checking
Y Boichut, PC Héam, O Kouchnarenko
Nordic Journal of Computing 14, 216-241, 2008
212008
Verification of class liveness properties with java modelling language
A Giorgetti, J Groslambert, J Julliand, O Kouchnarenko
IET Software 2 (6), 500-514, 2008
202008
Synchronized parallel composition of event systems in B
F Bellegarde, J Julliand, O Kouchnarenko
ZB 2, 436-457, 2002
202002
Component simulation-based substitutivity managing QoS and composition issues
PC Héam, O Kouchnarenko, J Voinot
Science of Computer Programming 75 (10), 898-917, 2010
172010
Decentralised evaluation of temporal patterns over component-based systems at runtime
O Kouchnarenko, JF Weber
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
162015
The system can't perform the operation now. Try again later.
Articles 1–20