Maâmar El-Amine Hamri

35 papers B 1C 3Misc 4Journal 11Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Downlink optimization for direct-to-satellite IoT with LEO satellites and LoRaWAN.
Phys. Commun.
Hassan Haghighi, Maâmar El-Amine Hamri, Davood Asadi, Daniel Delahaye
2025 — conf
A New Discrete Event Simulation of Large-Scale Car Traffic at Microscopic Level.
SIGSIM-PADS
Thi Phuong Kieu, Maâmar El-Amine Hamri, Hassan Haghighi
2025 J jnl
Discrete event conversion of microscopic model based on minimizing the number of time intervals.
J. Simulation
Hassan Haghighi, Maâmar El-Amine Hamri
2025 — conf
LIS at CheckThat! 2025: Multi-Stage Open-Source Large Language Models for Fact-Checking Numerical Claims.
CLEF (Working Notes)
Quy Thanh Le, Ismail Badache, Aznam Yacoub, Maâmar El-Amine Hamri
2023 — ch.
Simulation as Experimentation.
Body of Knowledge for Modeling and Simulation
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
2022 J jnl
Why we should use Min Max DEVS for modeling and simulation of digital circuits.
Simul.
Maâmar El-Amine Hamri, Aziz Naamane, Claudia S. Frydman, Nesrine Driouche
2020 J jnl
An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns.
CoRR
Maâmar El-Amine Hamri
2020 J jnl
Closure under Coupling of Cellular-DEVS for the Optimization of Memory Resource: Wildfire Spread Case Study.
CoRR
Youcef Dahmani, Maâmar El-Amine Hamri, Nesrine Driouche
2020 J jnl
DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation.
Simul.
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2019 — conf
Limiting state space explosion of model checking using discrete event simulation: combining DEVS and PROMELA.
SummerSim
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton
2018 Misc conf
Improving Business Process in semiconductor manufacturing by Discovering Business Rules.
WSC
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton
2018 — conf
Towards using DEVS for modelling adaptive storytelling in virtual games.
SummerSim
Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman
2017 J jnl
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.
Int. J. Simul. Process. Model.
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman, Chungman Seo, Bernard P. Zeigler
2017 — conf
Restricting DEv-PROMELA with a hierarchy of simulation formalisms.
SpringSim (TMS)
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2016 — conf
Second order GDEVS abstraction of electronic circuits.
SummerSim
Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi
2016 — conf
Using DEv-PROMELA for Modelling and Verification of Software.
SIGSIM-PADS
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2015 C conf
Modeling and Simulation of Logic Gates using DEVS.
SIMULTECH
Maâmar El-Amine Hamri, Nesrine Driouche
2014 C conf
A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods.
DS-RT
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2014 C conf
Complementarity between simulation and formal verification transformation of PROMELA models into FDDEVS models: Application to a case study.
SIMULTECH
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman
2014 — conf
Generalized Discrete Event Specifications of logic gates.
SSD
Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi
2014 J jnl
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller.
CoRR
Youcef Dahmani, Maâmar El-Amine Hamri
2014 Misc conf
The state event design pattern.
EuroPLoP
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman
2013 — conf
Discrete event design patterns.
SIGSIM-PADS
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman
2012 Misc conf
Automatic generation of object-oriented code from DEVS graphical specifications.
WSC
Maâmar El-Amine Hamri, Gregory Zacharewicz
2012 — conf
PSYOPS and CIMIC operations: from concepts to G-DEVS models.
SpringSim (TMS-DEVS)
Colette Faucher, Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman
2011 — conf
Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case.
EMS
Youcef Dahmani, Maâmar El-Amine Hamri
2010 J jnl
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow.
Simul.
Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi
2010 — conf
On using design patterns for DEVS modeling and simulation tools.
SpringSim
Maâmar El-Amine Hamri, Lassaad Baati
2009 — conf
Practical application of "lightweight" Z in DEVS framework.
SpringSim
Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri
2008 — conf
Integrating Z in DEVS : a case study Lift Control System.
Software Engineering Research and Practice
Mohamed Wassim Trojet, Maâmar El-Amine Hamri, Claudia S. Frydman
2006 J jnl
Discrete event simulation of reactive knowledge based systems.
Int. J. Knowl. Based Intell. Eng. Syst.
Maâmar El-Amine Hamri, Lucile Torres, Claudia S. Frydman
2006 J jnl
Min-Max-DEVS modeling and simulation.
Simul. Model. Pract. Theory
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
2005 Misc conf
Modeling waiting systems from domain expert specifications.
WSC
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres
2004 — conf
Simulation Semantics for Min-Max DEVS Models.
AIS
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
2003 B conf
Specifying and Validating Reactive Systems with CommonKADS Methodology.
KES
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres