N.B. Hadj-Alouane

Diagnosis of a Class of Timed Discrete Event Systems

M. Yeddes, H. Derbel, N.B. Hadj-Alouane, 2006, 2006 8th International Workshop on Discrete Event Systems.

An algorithmic approach to verification of intransitive non-interference in security policies

Feng Lin, S. Lafrance, M. Yeddes, 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).