Adil Alif

Safety Analysis of Heterogeneous Software Models at Implementation Stage

Bertrand Barbedette, Cherif Larouci, Sébastien Saudrais, 2017 .

Design of Robust $H_{\infty}$ Reduced-Order Unknown-Input Filter for a Class of Uncertain Linear Neutral Systems

Mohamed Darouach, Mohamed Boutayeb, Adil Alif, 2010, IEEE Transactions on Automatic Control.

Safety analysis generation from prototyping models for transportation systems

Bertrand Barbedette, Chérif Larouci, Sébastien Saudrais, 2016, SAC.