El Hassan Ridouane

According to our database, El Hassan Ridouane authored at least 2 papers between 2017 and 2018.

Collaborative distances:

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

2018

Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems.

Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio, Pasquale Antonante, Hajer Saada, Sara Falleni

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.

Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2017