| 2025 | PADS | A New Discrete Event Simulation of Large-Scale Car Traffic at Microscopic Level. | Thi Phuong Kieu, Mamar El-Amine Hamri, Hassan Haghighi |
| 2018 | WSC | Improving Business Process in semiconductor manufacturing by Discovering Business Rules. | Abdelhak Khemiri, Mamar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton |
| 2016 | PADS | Using DEv-PROMELA for Modelling and Verification of Software. | Aznam Yacoub, Mamar El-Amine Hamri, Claudia S. Frydman |
| 2015 | SIMULTECH | Modeling and Simulation of Logic Gates using DEVS. | Mamar El-Amine Hamri, Nesrine Driouche |
| 2014 | EuroPLop | The state event design pattern. | Mamar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman |
| 2014 | SIMULTECH | Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. | Aznam Yacoub, Mamar El-Amine Hamri, Claudia S. Frydman |
| 2013 | PADS | Discrete event design patterns. | Mamar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman |
| 2012 | WSC | Automatic generation of object-oriented code from DEVS graphical specifications. | Mamar El-Amine Hamri, Gregory Zacharewicz |
| 2005 | WSC | Modeling waiting systems from domain expert specifications. | Mamar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |
| 2003 | KES | Specifying and Validating Reactive Systems with CommonKADS Methodology. | Mamar El-Amine Hamri, Claudia S. Frydman, Lucile Torres |