| 2018 | MEDI | Component Design and Adaptation Based on Behavioral Contracts. | Samir Chouali, Sebti Mouelhi, Hassan Mountassir |
| 2015 | ICFEM | SysML Blocks Adaptation. | Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |
| 2014 | MODELSWARD | An Approach based on SysML and SystemC to Simulate Complex Systems. | Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibout |
| 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 |
| 2007 | ICFEM | VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2007 | ISoLA | Preservation of timed properties during an incremental development by components. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2006 | ISoLA | Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. | Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir |
| 2000 | IFM | Modular Verification for a Class of PLTL Properties. | Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand |
| 1999 | IFM | Modular Verification of Dynamic Properties for Reactive Systems. | Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir |
| 1999 | PDPTA | A Layered Cooperative Architecture and its Application in TeleTeaching Framework. | A. Ibriz, Mohammed Erradi, Hassan Mountassir, Michel Trhel |
| 1995 | ICDE | OCAM: A Collaborative System for Multimedia Applications. | Hassan Mountassir, S. Serre |
| 1993 | ICNP | A note on communicating machines with identical symmetrical and dual processes using rewriting systems. | Hassan Mountassir |