Talks and presentations

• **Baouya, Abdelhakim.** (Jumy 08-12, 2023). Rigorous Design of Component-based Architecture: Research Activities In ECE Department Concordia University, Montreal, CANADA .
• **Baouya, Abdelhakim.** (June 08-12, 2022). Artificial Intelligence meets Formal Methods: Generation and verification of learned stochastic automata. Presented at the 3rd Summer School on Cyber-Physical Systems and Internet of Things, Budva, Montenegro.
• **Baouya, Abdelhakim**, & **Chehida, Salim.** (June 08-12, 2021). Design and verification of collaborative robot's system. Presented at the 2nd Summer School on Cyber-Physical Systems and Internet of Things, Budva, Montenegro.
• **Baouya, Abdelhakim.** (August 2018). Safety analysis and code synthesis of a train control system based on a model-driven design methodology, PhD Thesis [Concordia University, Montréal, Canada].