Talks and presentations
Talks and Presentations
Selected presentations and invited talks
Baouya, Abdelhakim. (July 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].