Hamza Bourbouh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2020
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RE | The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. | Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loc Garoche, Johann Schumann |
| 2020 | REFSQ | Bridging the Gap Between Requirements and Simulink Model Analysis. | Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann |
| 2017 | LPAR | Automated analysis of Stateflow models. | Hamza Bourbouh, Pierre-Loc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux |