Author Info
Name
Affiliation
Papers
MAÂMAR EL-AMINE HAMRI
Laboratoire des Sciences de l’Information et des Systèmes (LSIS), Campus Universitaire de St-Jérôme, Avenue Escadrille Normandie-Niemen, 13397 Marseille cedex 20, France
17
Collaborators
Citations 
PageRank 
18
29
7.69
Referers 
Referees 
References 
71
92
54
Title
Citations
PageRank
Year
Why we should use Min Max DEVS for modeling and simulation of digital circuits00.342022
Improving Business Process in semiconductor manufacturing by Discovering Business Rules.00.342018
Towards using DEVS for modelling adaptive storytelling in virtual games.00.342018
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems.00.342017
Using DEv-PROMELA for Modelling and Verification of Software.10.372016
Second order GDEVS abstraction of electronic circuits.00.342016
Modeling and Simulation of Logic Gates using DEVS.00.342015
Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller.00.342014
PSYOPS and CIMIC operations: from concepts to G-DEVS models30.432012
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow140.892010
Practical application of "lightweight" Z in DEVS framework30.452009
Integrating Z in DEVS : a case study Lift Control System00.342008
Min–Max-DEVS modeling and simulation81.492006
Discrete Event Simulation Of Reactive Knowledge Based Systems00.342006
Modeling waiting systems from domain expert specifications00.342005
Simulation semantics for min-max DEVS models00.342004
Specifying and Validating Reactive Systems with CommonKADS Methodology00.342003