Olga Kouchnarenko

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko · Electronic Notes in Theoretical Computer Science · 2011 · 32 citations · Full text

Engineering, Verification, Validate Reconfigurable Architectures +20

Automatic Verification of Security Protocols Using Approximations

Yohan Boichut, Pierre‐Cyrille Héam, Olga Kouchnarenko · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 31 citations · Full text

Engineering, Information Security, Verification +19

Verification of class liveness properties with Java modelling language

Alain Giorgetti, J. Groslambert, Jacques Julliand et al. · IET Software · 2008 · 11 citations · Full text

Software Maintenance, Engineering, Verification +23

A rule-based system for automatic decidability and combinability

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen et al. · Science of Computer Programming · 2014 · 11 citations · Full text

Decision Procedure, Engineering, Automated Reasoning +8

Verification of Liveness Properties with JML

Françoise Bellegarde, Julien Groslambert, Marieke Huisman et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 11 citations · Full text

Software Maintenance, Engineering, Verification +21