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
16712005
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
1002004
Using temporal logic for dynamic reconfigurations of components
J Dormoy, O Kouchnarenko, A Lanoix
International Workshop on Formal Aspects of Component Software, 200-217, 2010
622010
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
582000
Automatic verification of security protocols using approximations
Y Boichut, PC Héam, O Kouchnarenko
INRIA, 2005
472005
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
442011
Adapting component-based systems at runtime via policies with temporal patterns
O Kouchnarenko, JF Weber
International Workshop on Formal Aspects of Component Software, 234-253, 2013
432013
Using CSP|| B components: application to a platoon of vehicles
S Colin, A Lanoix, O Kouchnarenko, J Souquières
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
312008
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
312008
Refinement Preserves PLTL Properties
C Darlot, J Julliand, O Kouchnarenko
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
282003
Approximation based tree regular model checking
Y Boichut, PC Heam, O Kouchnarenko
Nordic Journal of Computing 14, 216-241, 2008
262008
Refinement and verification of synchronized component-based systems
O Kouchnarenko, A Lanoix
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
242003
Handling algebraic properties in automatic analysis of security protocols
Y Boichut, PC Héam, O Kouchnarenko
International Colloquium on Theoretical Aspects of Computing, 153-167, 2006
232006
A model for recursive-parallel programs.
O Kouchnarenko, P Schnoebelen
INFINITY, 30, 1996
231996
Automatic approximation for the verification of cryptographic protocols
F Oehl, G Cécé, O Kouchnarenko, D Sinclair
Formal Aspects of Security, 33-48, 2002
222002
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
Synchronized parallel composition of event systems in B
F Bellegarde, J Julliand, O Kouchnarenko
International Conference of B and Z Users, 436-457, 2002
212002
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
Reformulate dynamic properties during B refinement and forget variants and loop invariants
F Bellegarde, C Darlot, J Julliand, O Kouchnarenko
ZB 2000: Formal Specification and Development in Z and B: First …, 2000
182000
Runtime verification of temporal patterns for dynamic reconfigurations of components
J Dormoy, O Kouchnarenko, A Lanoix
International Workshop on Formal Aspects of Component Software, 115-132, 2011
172011
The system can't perform the operation now. Try again later.
Articles 1–20