Hamza Bourbouh

According to our database, Hamza Bourbouh authored at least 5 papers between 2017 and 2021.

Collaborative distances:

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

2021

From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux

ACM Trans. Cyber Phys. Syst., 2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

Bridging the Gap Between Requirements and Simulink Model Analysis.

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

2017

Automated analysis of Stateflow models.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Proceedings of the LPAR-21, 2017