OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Bourbouh, Hamza"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Article

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Thirioux, Xavier. From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications. (2021) ACM Transactions on Cyber-Physical Systems, 5 (3). 1-20. ISSN 2378-962X

Conference or Workshop Item

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier. Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

This list was generated on Thu Jul 7 16:15:53 2022 CEST.