Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. - Vincent David; Jean Delcoigne; Evelyne Leret; Alain Ourghanlian; Philippe Hilsenkopf; Philippe Paris (SAFECOMP, 1998)

Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. - Thuy Nguyen; Alain Ourghanlian (DSN, 2003)

Analysis of distributed control systems using timed automata with guards and dioid algebra. - Fatima Ait Oumeziane; Alain Ourghanlian; Saïd Amari (ETFA, 2020)

Modeling Distributed Control Systems response time: from theory to measures. - Kévin Goloze Imama; Alain Ourghanlian; Saïd Amari (ICCA, 2020)

Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms. - Ouail Himrane; Alain Ourghanlian; Saïd Amari (Int. J. Control, 2022)

Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems - Application to a FIFO Queue. - Louis Bal dit Sollier; Alain Ourghanlian; Saïd Amari (IEEE Robotics Autom. Lett., 2022)

New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series. - Louis Bal dit Sollier; Alain Ourghanlian; Saïd Amari (CDC, 2023)

Delays Evaluation of Networked Control System Switches using Timed Coloured Petri Nets and Formal Series. - Louis Bal dit Sollier; Alain Ourghanlian; Saïd Amari (ETFA, 2023)