default search action

combined dblp search
author search
venue search
publication search

ask others

Maâmar El-Amine Hamri

> Home > Persons

Person information

affiliation: Aix-Marseille University, LSIS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/sp/Oren0GKCHMHH0L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/sp/Oren0GKCHMHH0L23
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:
Simulation as Experimentation. Body of Knowledge for Modeling and Simulation 2023: 77-119
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/HamriNFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/HamriNFD22
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): 519-532 (2022)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/YacoubHF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/YacoubHF20
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)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-06587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-06587
Maâmar El-Amine Hamri:
An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns. CoRR abs/2008.06587 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-00695
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-00695
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 abs/2009.00695 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c21]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/scsc/KhemiriHFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsc/KhemiriHFP19
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: 9:1-9:12
2018
[c20]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/scsc/YacoubNHF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsc/YacoubNHF18
Aznam Yacoub, Gabriela Nicolescu, Maâmar El-Amine Hamri, Claudia S. Frydman:
Towards using DEVS for modelling adaptive storytelling in virtual games. SummerSim 2018: 27:1-27:12
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/KhemiriHFP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/KhemiriHFP18
Abdelhak Khemiri, Maâmar El-Amine Hamri, Claudia S. Frydman, Jacques Pinaton:
Improving Business Process in semiconductor manufacturing by Discovering Business Rules. WSC 2018: 3441-3448
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/YacoubHFSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/YacoubHFSZ17
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): 313-327 (2017)
[c18]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/YacoubHF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/YacoubHF17
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman:
Restricting DEv-PROMELA with a hierarchy of simulation formalisms. SpringSim (TMS) 2017: 13:1-13:11
2016
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pads/YacoubHF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pads/YacoubHF16
Aznam Yacoub, Maâmar El-Amine Hamri, Claudia S. Frydman:
Using DEv-PROMELA for Modelling and Verification of Software. SIGSIM-PADS 2016: 245-253
[c16]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/scsc/DrioucheHG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsc/DrioucheHG16
Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi:
Second order GDEVS abstraction of electronic circuits. SummerSim 2016: 12
2015
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/simultech/HamriD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/HamriD15
Maâmar El-Amine Hamri, Nesrine Driouche:
Modeling and Simulation of Logic Gates using DEVS. SIMULTECH 2015: 212-218
2014
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEssd/HamriNG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEssd/HamriNG14
Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi:
Generalized Discrete Event Specifications of logic gates. SSD 2014: 1-6
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/dsrt/YacoubHF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsrt/YacoubHF14
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: 155-162
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/europlop/HamriMF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europlop/HamriMF14
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman:
The state event design pattern. EuroPLoP 2014: 15:1-15:14
[c11]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/simultech/YacoubHF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simultech/YacoubHF14
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: 421-426
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DahmaniH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DahmaniH14
Youcef Dahmani, Maâmar El-Amine Hamri:
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller. CoRR abs/1401.5638 (2014)
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/pads/HamriMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pads/HamriMF13
Maâmar El-Amine Hamri, Rabah Messouci, Claudia S. Frydman:
Discrete event design patterns. SIGSIM-PADS 2013: 349-354
2012
[c9]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/FaucherZHF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/FaucherZHF12
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: 42
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/HamriZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/HamriZ12
Maâmar El-Amine Hamri, Gregory Zacharewicz:
Automatic generation of object-oriented code from DEVS graphical specifications. WSC 2012: 409:1-409:12
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ems/DahmaniH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ems/DahmaniH11
Youcef Dahmani, Maâmar El-Amine Hamri:
Event Triggering Estimation for Cell-DEVS: Wildfire Spread Simulation Case. EMS 2011: 144-149
2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/simulation/ZacharewiczHFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simulation/ZacharewiczHFG10
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): 181-197 (2010)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/springsim/HamriB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/HamriB10
Maâmar El-Amine Hamri, Lassaad Baati:
On using design patterns for DEVS modeling and simulation tools. SpringSim 2010: 121

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c5]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/springsim/TrojetFH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/TrojetFH09
Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri:
Practical application of "lightweight" Z in DEVS framework. SpringSim 2009
2008
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/serp/TrojetHF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/TrojetHF08
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: 437-443
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/kes/HamriTF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kes/HamriTF06
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): 417-431 (2006)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/simpra/HamriGF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpra/HamriGF06
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman:
Min-Max-DEVS modeling and simulation. Simul. Model. Pract. Theory 14(7): 909-929 (2006)
2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/HamriFT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/HamriFT05
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres:
Modeling waiting systems from domain expert specifications. WSC 2005: 456-460
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ais/HamriGF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ais/HamriGF04
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman:
Simulation Semantics for Min-Max DEVS Models. AIS 2004: 699-708
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/kes/HamriFT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/HamriFT03
Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres:
Specifying and Validating Reactive Systems with CommonKADS Methodology. KES 2003: 39-44

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.