关注
Olga Kouchnarenko
Olga Kouchnarenko
FEMTO-ST and UFC/UBFC
在 univ-fcomte.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
15912005
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
982004
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
612010
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
592000
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
International Workshop on Formal Aspects of Component Software, 234-253, 2013
442013
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
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
322008
Refinement Preserves PLTL Properties
C Darlot, J Julliand, O Kouchnarenko
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
302003
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
Automatic approximation for the verification of cryptographic protocols
F Oehl, G Cécé, O Kouchnarenko, D Sinclair
Formal Aspects of Security, 33-48, 2002
242002
Approximation based tree regular model checking
Y Boichut, PC Heam, O Kouchnarenko
Nordic Journal of Computing 14, 216-241, 2008
232008
Refinement and verification of synchronized component-based systems
O Kouchnarenko, A Lanoix
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
232003
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
222008
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
222006
A model for recursive-parallel programs.
O Kouchnarenko, P Schnoebelen
INFINITY, 30, 1996
221996
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
Decentralised evaluation of temporal patterns over component-based systems at runtime
O Kouchnarenko, JF Weber
International Conference on Formal Aspects of Component Software, 108-126, 2014
172014
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交