| Integrating formal verification and assurance: an inspection rover case study H Bourbouh, M Farrell, A Mavridou, I Sljivo, G Brat, LA Dennis, M Fisher NASA Formal Methods Symposium, 53-71, 2021 | 47 | 2021 |
| The ten lockheed martin cyber-physical challenges: formalized, analyzed, and explained A Mavridou, H Bourbouh, D Giannakopoulou, T Pressburger, M Hejase, ... 2020 IEEE 28th International Requirements Engineering Conference (RE), 300-310, 2020 | 43 | 2020 |
| CoCoSim, a code generation framework for control/command applications: An overview of CoCoSim for multi-periodic discrete Simulink models H Bourbouh, PL Garoche, T Loquen, É Noulard, C Pagetti Embedded Real Time Systems (ERTS) 2020, 2020 | 40 | 2020 |
| Bridging the gap between requirements and simulink model analysis A Mavridou, H Bourbouh, PL Garoche, D Giannakopoulou, T Pessburger, ... Joint 26th International Conference on Requirements Engineering: Foundation …, 2020 | 20 | 2020 |
| Automated analysis of Stateflow models H Bourbouh, PL Garoche, C Garion, A Gurfinkel, T Kahsai, X Thirioux 21st International conference on logic for programming, artificial …, 2017 | 17 | 2017 |
| Evaluation of the FRET and CoCoSim tools on the ten Lockheed Martin cyber-physical challenge problems A Mavridou, H Bourbouh, PL Garoche, M Hejase NASA, Tech. Rep., oct, 2019 | 15 | 2019 |
| From Lustre to Simulink: Reverse compilation for embedded systems applications H Bourbouh, PL Garoche, C Garion, X Thirioux ACM Transactions on Cyber-Physical Systems 5 (3), 1-20, 2021 | 4 | 2021 |
| CoCoSim: an automated analysis framework for Simulink/Stateflow H Bourbouh, G Brat, PL Garoche Model Based Space Systems and Software Engineering-European Space Agency …, 2020 | 4 | 2020 |
| Integration and Evaluation of the AdvoCATE, FRET, CoCoSim, and Event-B Tools on the Inspection Rover Case Study H Bourbouh, M Farrell, A Mavridou, I Sljivo | 3 | 2020 |
| Bridging the Gap Between Requirements and Model Analysis: Evaluation on Ten Cyber-Physical Challenge Problems A Mavridou, H Bourbouh, PL Garoche, D Giannakopoulou, T Pressburger, ... Ions, Membrane and Channels: Multiscale Simulations From Quantum to Coarse-Grain, 2020 | 1 | 2020 |
| CoCoSim: Contract-based Compositional Verification of Simulink Models H Bourbouh, A Katis NASA-Boeing Autonomy V&V Project: NASA V&V tool demonstration, 2021 | | 2021 |
| Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems H Bourbouh FEANICSES 2019 Workshop, 2019 | | 2019 |
| Attitude Control of the Space Shuttle: A Retrospective Example on Model-Based Design and Verification Processes R Cohen, H Bourbouh, G Brat, E Feron, PL Garoche | | |
Pierre-Loïc GarocheENAC - NASA/KBRVerified email at enac.fr