Saddek Bensalem

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 357 citations

Computing, Computer Engineering, Computer Science +14

An Overview of SAL

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

Computing, Computer Science, Formal Methods +16

Incremental Component-based Construction and Verification using Invariants

Saddek Bensalem, Marius Bozga, Axel Legay et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +17

Automatic Generation of Invariants

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

Computing, Computer Science, Algorithms +5

Compositional verification for component-based systems and application

Saddek Bensalem, Marius Bozga, Trung-Hien Nguyen et al. · IET Software · 2010 · 48 citations · Full text

Computing, Computer Science, Systems Engineering +17