Maâmar El-Amine Hamri

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 11

Top Topics

Design Patterns

Top Venues

Publications

Maâmar El-Amine Hamri, Aziz Naamane, Claudia S. Frydman, Nesrine Driouche
Why we should use Min Max DEVS for modeling and simulation of digital circuits. Simul. 98 (6) (2022)
Youcef Dahmani, Maâmar El-Amine Hamri, Nesrine Driouche
Closure under Coupling of Cellular-DEVS for the Optimization of Memory Resource: Wildfire Spread Case Study. CoRR (2020)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation. Simul. 96 (11) (2020)
Maâmar El-Amine Hamri
An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns. CoRR (2020)
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton
Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA. SummerSim (2019)
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton
Improving Business Process in semiconductor manufacturing by Discovering Business Rules. WSC (2018)
Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman
Towards using DEVS for modelling adaptive storytelling in virtual games. SummerSim (2018)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Restricting DEv-PROMELA with a hierarchy of simulation formalisms. SpringSim (TMS) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems. Int. J. Simul. Process. Model. 12 (3/4) (2017)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Using DEv-PROMELA for Modelling and Verification of Software. SIGSIM-PADS (2016)
Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi
Second order GDEVS abstraction of electronic circuits. SummerSim (2016)
Maâmar El-Amine Hamri, Nesrine Driouche
Modeling and Simulation of Logic Gates using DEVS. SIMULTECH (2015)
Youcef Dahmani, Maâmar El-Amine Hamri
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller. CoRR (2014)
Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi
Generalized Discrete Event Specifications of logic gates. SSD (2014)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods. DS-RT (2014)
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman
The state event design pattern. EuroPLoP (2014)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study. SIMULTECH (2014)
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman
Discrete event design patterns. SIGSIM-PADS (2013)
Maâmar El-Amine Hamri, Gregory Zacharewicz
Automatic generation of object-oriented code from DEVS graphical specifications. WSC (2012)
Colette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman
PSYOPS and CIMIC operations: from concepts to G-DEVS models. SpringSim (TMS-DEVS) (2012)
Youcef Dahmani, Maâmar El-Amine Hamri
Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case. EMS (2011)
Maâmar El-Amine Hamri, Lassaad Baati
On using design patterns for DEVS modeling and simulation tools. SpringSim (2010)
Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow. Simul. 86 (3) (2010)
Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri
Practical application of "lightweight" Z in DEVS framework. SpringSim (2009)
Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman
Integrating Z in DEVS : a case study Lift Control System. Software Engineering Research and Practice (2008)
Maâmar El-Amine Hamri, Lucile Torres, Claudia S. Frydman
Discrete event simulation of reactive knowledge based systems. Int. J. Knowl. Based Intell. Eng. Syst. 10 (6) (2006)
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
Min-Max-DEVS modeling and simulation. Simul. Model. Pract. Theory 14 (7) (2006)
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres
Modeling waiting systems from domain expert specifications. WSC (2005)
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
Simulation Semantics for Min-Max DEVS Models. AIS (2004)
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres
Specifying and Validating Reactive Systems with CommonKADS Methodology. KES (2003)