Youssef Driouich

According to our database, Youssef Driouich authored at least 3 papers between 2017 and 2022.

Collaborative distances:

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

2022

Towards Reverse Engineering of Industrial Physical Processes.

Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, Massimo Merro

Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2019

Model Checking Cyber-Physical Systems.

Youssef Driouich

PhD thesis, 2019

2017

Modeling cyber-physical systems for automatic verification.

Youssef Driouich, Mimmo Parente, Enrico Tronci

Proceedings of the 14th International Conference on Synthesis, 2017