Lamia Eljadiri

According to our database, Lamia Eljadiri authored at least 4 papers between 2016 and 2018.

Collaborative distances:

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

2018

Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.

Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari

Proceedings of the 2nd International Conference on Smart Digital Environment, 2018

A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.

Lamia Eljadiri, Ismail Assayad

Proceedings of the 2nd International Conference on Smart Digital Environment, 2018

2017

Systematic verification of embedded components with re-usable properties.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari

Proceedings of the International Conference on Wireless Networks and Mobile Communications, 2017

2016

The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016