Specifying and Validating Reactive Systems with CommonKADS Methodology. - Maâmar El-Amine Hamri; Claudia S. Frydman; Lucile Torres (KES, 2003)

Simulation Semantics for Min-Max DEVS Models. - Maâmar El-Amine Hamri; Norbert Giambiasi; Claudia S. Frydman (AIS, 2004)

Modeling waiting systems from domain expert specifications. - Maâmar El-Amine Hamri; Claudia S. Frydman; Lucile Torres (WSC, 2005)

Discrete event simulation of reactive knowledge based systems. - Maâmar El-Amine Hamri; Lucile Torres; Claudia S. Frydman (Int. J. Knowl. Based Intell. Eng. Syst., 2006)

Min-Max-DEVS modeling and simulation. - Maâmar El-Amine Hamri; Norbert Giambiasi; Claudia S. Frydman (Simul. Model. Pract. Theory, 2006)

Integrating Z in DEVS : a case study Lift Control System. - Mohamed Wassim Trojet; Maâmar El-Amine Hamri; Claudia S. Frydman (Software Engineering Research and Practice, 2008)

Practical application of "lightweight" Z in DEVS framework. - Mohamed Wassim Trojet; Claudia S. Frydman; Maâmar El-Amine Hamri (SpringSim, 2009)

On using design patterns for DEVS modeling and simulation tools. - Maâmar El-Amine Hamri; Lassaad Baati (SpringSim, 2010)

A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow. - Gregory Zacharewicz; Maâmar El-Amine Hamri; Claudia S. Frydman; Norbert Giambiasi (Simul., 2010)

Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case. - Youcef Dahmani; Maâmar El-Amine Hamri (EMS, 2011)

PSYOPS and CIMIC operations: from concepts to G-DEVS models. - Colette Faucher; Gregory Zacharewicz; Maâmar El-Amine Hamri; Claudia S. Frydman (SpringSim (TMS-DEVS), 2012)

Automatic generation of object-oriented code from DEVS graphical specifications. - Maâmar El-Amine Hamri; Gregory Zacharewicz (WSC, 2012)

Discrete event design patterns. - Maâmar El-Amine Hamri; Rabah Messouci; Claudia S. Frydman (SIGSIM-PADS, 2013)

Generalized Discrete Event Specifications of logic gates. - Maâmar El-Amine Hamri; Aziz Naamane; Norbert Giambiasi (SSD, 2014)

A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (DS-RT, 2014)

The state event design pattern. - Maâmar El-Amine Hamri; Rabah Messouci; Claudia S. Frydman (EuroPLoP, 2014)

Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (SIMULTECH, 2014)

Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller. - Youcef Dahmani; Maâmar El-Amine Hamri (CoRR, 2014)

Modeling and Simulation of Logic Gates using DEVS. - Maâmar El-Amine Hamri; Nesrine Driouche (SIMULTECH, 2015)

Using DEv-PROMELA for Modelling and Verification of Software. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (SIGSIM-PADS, 2016)

Second order GDEVS abstraction of electronic circuits. - Nesrine Driouche; Maâmar El-Amine Hamri; Norbert Giambiasi (SummerSim, 2016)

Restricting DEv-PROMELA with a hierarchy of simulation formalisms. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (SpringSim (TMS), 2017)

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman; Chungman Seo; Bernard P. Zeigler (Int. J. Simul. Process. Model., 2017)

Towards using DEVS for modelling adaptive storytelling in virtual games. - Aznam Yacoub; Gabriela Nicolescu; Maâmar El-Amine Hamri; Claudia S. Frydman (SummerSim, 2018)

Improving Business Process in semiconductor manufacturing by Discovering Business Rules. - Abdelhak Khemiri; Maâmar El-Amine Hamri; Claudia S. Frydman; Jacques Pinaton (WSC, 2018)

Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. - Abdelhak Khemiri; Maâmar El-Amine Hamri; Claudia S. Frydman; Jacques Pinaton (SummerSim, 2019)

An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns. - Maâmar El-Amine Hamri (CoRR, 2020)

Closure under Coupling of Cellular-DEVS for the Optimization of Memory Resource: Wildfire Spread Case Study. - Youcef Dahmani; Maâmar El-Amine Hamri; Nesrine Driouche (CoRR, 2020)

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. - Aznam Yacoub; Maâmar El-Amine Hamri; Claudia S. Frydman (Simul., 2020)

Why we should use Min Max DEVS for modeling and simulation of digital circuits. - Maâmar El-Amine Hamri; Aziz Naamane; Claudia S. Frydman; Nesrine Driouche (Simul., 2022)

Simulation as Experimentation. - Tuncer I. Ören; Paul K. Davis; Rhys Goldstein; Azam Khan; Laurent Capocchi; Maâmar El-Amine Hamri; Navonil Mustafee; Alison Harper; Baocun Hou; Bo Hu Li 001; Yang Liu (Body of Knowledge for Modeling and Simulation, 2023)

A New Discrete Event Simulation of Large-Scale Car Traffic at Microscopic Level. - Thi Phuong Kieu; Maâmar El-Amine Hamri; Hassan Haghighi (SIGSIM-PADS, 2025)