Hamza Bourbouh

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Cyber Physical Systems

Formal Verification

Automated Analysis

Consumer Electronics

Top Venues

ACM Trans. Cyber Phys. Syst.

REFSQ Workshops

Publications

Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher
Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM (2021)
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE (2020)
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops (2020)
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
Automated analysis of Stateflow models. LPAR (2017)