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, ...
International conference on computer aided verification, 281-285, 2005
12622005
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
922004
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
542010
Ready-simulation is not ready to express a modular refinement relation
F Bellegarde, J Julliand, O Kouchnarenko
International Conference on Fundamental Approaches to Software Engineering …, 2000
522000
Automatic verification of security protocols using approximations
Y Boichut, PC Héam, O Kouchnarenko
INRIA, 2005
412005
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
392013
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
352011
Finer is better: Abstraction refinement for rewriting approximations
Y Boichut, R Courbis, PC Héam, O Kouchnarenko
International Conference on Rewriting Techniques and Applications, 48-62, 2008
292008
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
272008
Refinement Preserves PLTL Properties
C Darlot, J Julliand, O Kouchnarenko
International Conference of B and Z Users, 408-420, 2003
272003
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
Refinement and verification of synchronized component-based systems
O Kouchnarenko, A Lanoix
International Symposium of Formal Methods Europe, 341-358, 2003
232003
Automatic approximation for the verification of cryptographic protocols
F Oehl, G Cécé, O Kouchnarenko, D Sinclair
Formal Aspects of Security, 33-48, 2002
232002
Synchronized parallel composition of event systems in B
F Bellegarde, J Julliand, O Kouchnarenko
International Conference of B and Z Users, 436-457, 2002
222002
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
International Conference on Algebraic Methodology and Software Technology …, 2008
202008
Approximation based tree regular model checking
Y Boichut, PC Héam, O Kouchnarenko
Nordic Journal of Computing 14, 216-241, 2008
202008
Verification of class liveness properties with java modelling language
A Giorgetti, J Groslambert, J Julliand, O Kouchnarenko
IET Software 2 (6), 500-514, 2008
192008
Reformulate dynamic properties during B refinement and forget variants and loop invariants
F Bellegarde, C Darlot, J Julliand, O Kouchnarenko
International Conference of B and Z Users, 230-249, 2000
172000
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
162010
The system can't perform the operation now. Try again later.
Articles 1–20