Ahmed Mekki

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 2

Top Topics

Failure Diagnosis

Top Venues

IEEE Trans. Fuzzy Syst.

IEEE Trans. Intell. Transp. Syst.

Publications

Ahmed Mekki, Feng Lin, Hao Ying
On Detectabilities of Fuzzy Discrete Event Systems. IEEE Trans. Fuzzy Syst. 30 (2) (2022)
Ahmed Mekki, Feng Lin, Hao Ying, Michael J. Simoff
Fuzzy detectabilities for fuzzy discrete event systems. FUZZ-IEEE (2017)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Trans. Intell. Transp. Syst. 13 (2) (2012)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. ICINCO (1) (2010)
Mohamed Ghazel, Ahmed Mekki
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems. Software Engineering Research and Practice (2010)
Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni
Timed Specification Patterns for System Validation: A Railway Case Study. ICINCO (Selected Papers) (2010)