| Concurrency verification: Introduction to compositional and non-compositional methods WP De Roever Cambridge University Press, 2001 | 462 | 2001 |
| Implementing statecharts in PROMELA/SPIN E Mikk, Y Lakhnech, M Siegel, GJ Holzmann Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998 | 261 | 1998 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 257 | 2000 |
| Computing abstractions of infinite state systems compositionally and automatically S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 223 | 1998 |
| Powerful techniques for the automatic generation of invariants S Bensalem, Y Lakhnech, H Saidi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 170 | 1996 |
| Incremental verification by abstraction Y Lakhnech, S Bensalem, S Berezin, S Owre International Conference on Tools and Algorithms for the Construction and …, 2001 | 121 | 2001 |
| Guidelines for a graduate curriculum on embedded software and systems P Caspi, A Sangiovanni-Vincentelli, L Almeida, A Benveniste, ... ACM Transactions on Embedded Computing Systems (TECS) 4 (3), 587-611, 2005 | 106 | 2005 |
| Completing the picture: Soundness of formal encryption in the presence of active adversaries R Janvier, Y Lakhnech, L Mazaré Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 93 | 2005 |
| InVeSt: A tool for the verification of invariants S Bensalem, Y Lakhnech, S Owre Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 91 | 1998 |
| On Formal Semantics of Statecharts as Supported by STATEMATE. E Mikk, Y Lakhnech, C Petersohn, M Siegel Proceedings of the 2nd BCS-FACS Northern Formal Methods, 1997 | 88 | 1997 |
| Automatic generation of invariants S Bensalem, Y Lakhnech Formal Methods in System Design 15, 75-92, 1999 | 84 | 1999 |
| Hermes: An automatic tool for verification of secrecy in security protocols L Bozga, Y Lakhnech, M Périn Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 78 | 2003 |
| Iterating transducers D Dams, Y Lakhnech, M Steffen Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 67 | 2001 |
| Abstracting WS1S systems to verify parameterized networks K Baukus, S Bensalem, Y Lakhnech, K Stahl International Conference on Tools and Algorithms for the Construction and …, 2000 | 67 | 2000 |
| Beyond provable security verifiable IND-CCA security of OAEP G Barthe, B Grégoire, Y Lakhnech, S Zanella Béguelin Cryptographers’ Track at the RSA Conference, 180-196, 2011 | 62 | 2011 |
| Verification of infinite-state systems by combining abstraction and reachability analysis PA Abdulla, A Annichini, S Bensalem, A Bouajjani, P Habermehl, ... Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 61 | 1999 |
| Computational indistinguishability logic G Barthe, M Daubignard, B Kapron, Y Lakhnech Proceedings of the 17th ACM conference on Computer and Communications …, 2010 | 60 | 2010 |
| Parameterized verification of a cache coherence protocol: Safety and liveness K Baukus, Y Lakhnech, K Stahl Verification, Model Checking, and Abstract Interpretation: Third …, 2002 | 59 | 2002 |
| Towards automated proofs for asymmetric encryption schemes in the random oracle model J Courant, M Daubignard, C Ene, P Lafourcade, Y Lakhnech Proceedings of the 15th ACM conference on Computer and Communications …, 2008 | 56 | 2008 |
| Fully automated analysis of padding-based encryption in the computational model G Barthe, JM Crespo, B Grégoire, C Kunz, Y Lakhnech, B Schmidt, ... Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 53 | 2013 |
