Yassine Lakhnech

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech et al. · Formal Methods · 2000 · 167 citations

Computing, Computer Science, Formal Methods +16

Implementing statecharts in PROMELA/SPIN

Erich Mikk, Yassine Lakhnech, Michael I. Siegel et al. · 2002 · 157 citations

Computing, Computer Engineering, Computer Science +17

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, Alberto Sangiovanni‐Vincentelli, Lúıs Almeida et al. · ACM Transactions on Embedded Computing Systems · 2005 · 69 citations · Full text

Engineering, Computer Science, Systems Engineering +14

Automatic Generation of Invariants

Saddek Bensalem, Yassine Lakhnech · Formal Methods in System Design · 1999 · 55 citations

Computing, Computer Science, Algorithms +5

Fully automated analysis of padding-based encryption in the computational model

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire et al. · 2013 · 53 citations

Computing, Computer Science, Computer Security +14