| 2020 | MSWIM | Model-Oriented Methodology for Developing a Social Based Healthcare System. | Moustafa Fayad, Ahmed Mostefaoui, Samir Chouali, Salima Benbernou |
| 2018 | MEDI | Component Design and Adaptation Based on Behavioral Contracts. | Samir Chouali, Sebti Mouelhi, Hassan Mountassir |
| 2018 | MODELS | Compiling Protocols to Promela and Verifying their LTL Properties. | Benjamin Lion, Samir Chouali, Farhad Arbab |
| 2017 | DCOSS | Distributed Collision-Free Data Aggregation Approach for Wireless Sensor Networks. | Mohammed Amine Merzoug, Ahmed Mostefaoui, Samir Chouali |
| 2017 | MSWIM | Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols. | Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui |
| 2015 | ICFEM | SysML Blocks Adaptation. | Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |
| 2013 | ECOOP | An approach combining SysML and modelica for modelling and validate wireless sensor networks. | Ahmed Hammad, Hassan Mountassir, Samir Chouali |
| 2013 | ECSA | Specifying System Architecture from SysML Requirements and Component Interfaces. | Samir Chouali, Oscar Carrillo, Hassan Mountassir |
| 2013 | MODELSWARD | Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. | Ahmed Hammad, Hassan Mountassir, Samir Chouali |
| 2005 | MEMOCODE | Refinemant verification of fair transition systems can contribute to PLTL model checking. | Franoise Bellegarde, Samir Chouali, Jacques Julliand |