Ahmed Mekki

According to our database, Ahmed Mekki authored at least 6 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

On Detectabilities of Fuzzy Discrete Event Systems.

Ahmed Mekki, Feng Lin, Hao Ying

IEEE Trans. Fuzzy Syst., 2022

2017

Fuzzy detectabilities for fuzzy discrete event systems.

Ahmed Mekki, Feng Lin, Hao Ying, Michael J. Simoff

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2012

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

2010

Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.

Mohamed Ghazel, Ahmed Mekki

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Timed Specification Patterns for System Validation: A Railway Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

Proceedings of the Informatics in Control, Automation and Robotics, 2010

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study.

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni

Proceedings of the ICINCO 2010, 2010