Maâmar El-Amine Hamri

According to our database, Maâmar El-Amine Hamri authored at least 31 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Yang Liu

Proceedings of the Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International, 2023

2022

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

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

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

An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns.

Maâmar El-Amine Hamri

CoRR, 2020

2019

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

Proceedings of the 2019 Summer Simulation Conference, 2019

2018

Improving Business Process in semiconductor manufacturing by Discovering Business Rules.

Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton

Proceedings of the 2018 Winter Simulation Conference, 2018

Towards using DEVS for modelling adaptive storytelling in virtual games.

Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 50th Computer Simulation Conference, 2018

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

Restricting DEv-PROMELA with a hierarchy of simulation formalisms.

Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23, 2017

2016

Second order GDEVS abstraction of electronic circuits.

Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi

Proceedings of the Summer Computer Simulation Conference, 2016

Using DEv-PROMELA for Modelling and Verification of Software.

Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

2015

Modeling and Simulation of Logic Gates using DEVS.

Maâmar El-Amine Hamri, Nesrine Driouche

Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

2014

Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller.

Youcef Dahmani, Maâmar El-Amine Hamri

CoRR, 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

Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

The state event design pattern.

Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman

Proceedings of the 19th European Conference on Pattern Languages of Programs, 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

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

Generalized Discrete Event Specifications of logic gates.

Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi

Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

2013

Discrete event design patterns.

Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

2012

Automatic generation of object-oriented code from DEVS graphical specifications.

Maâmar El-Amine Hamri, Gregory Zacharewicz

Proceedings of the Winter Simulation Conference, 2012

PSYOPS and CIMIC operations: from concepts to G-DEVS models.

Colette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011

Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case.

Youcef Dahmani, Maâmar El-Amine Hamri

Proceedings of the UKSim 5th European Symposium on Computer Modeling and Simulation, 2011

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

On using design patterns for DEVS modeling and simulation tools.

Maâmar El-Amine Hamri, Lassaad Baati

Proceedings of the 2010 Spring Simulation Multiconference, 2010

2009

Practical application of "lightweight" Z in DEVS framework.

Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

2008

Integrating Z in DEVS : a case study Lift Control System.

Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2006

Min-Max-DEVS modeling and simulation.

Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman

Simul. Model. Pract. Theory, 2006

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

2005

Modeling waiting systems from domain expert specifications.

Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

2004

Simulation Semantics for Min-Max DEVS Models.

Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman

Proceedings of the Artificial Intelligence and Simulation, 2004

2003

Specifying and Validating Reactive Systems with CommonKADS Methodology.

Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003