Mejid Kebaili

According to our database, Mejid Kebaili authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

2016

Clock domain crossing formal verification: a meta-model.

Mejid Kebaili, Jean-Christophe Brignone, Katell Morin-Allory

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015

Enabler-based synchronizer model for clock domain crossing static verification.

Mejid Kebaili, Katell Morin-Allory, Jean-Christophe Brignone, Dominique Borrione

Proceedings of the 2015 Forum on Specification and Design Languages, 2015