Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (ICINCO (1), 2010)

Timed Specification Patterns for System Validation: A Railway Case Study. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (ICINCO (Selected Papers), 2010)

Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems. - Mohamed Ghazel; Ahmed Mekki (Software Engineering Research and Practice, 2010)

Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. - Ahmed Mekki; Mohamed Ghazel; Armand Toguyéni (IEEE Trans. Intell. Transp. Syst., 2012)

Fuzzy detectabilities for fuzzy discrete event systems. - Ahmed Mekki; Feng Lin 001; Hao Ying 001; Michael J. Simoff (FUZZ-IEEE, 2017)

On Detectabilities of Fuzzy Discrete Event Systems. - Ahmed Mekki; Feng Lin 001; Hao Ying 001 (IEEE Trans. Fuzzy Syst., 2022)