| A generalized discrete event system (g-DEVS) flattened simulation structure: Application to high-level architecture (HLA) compliant simulation of workflow G Zacharewicz, MEA Hamri, C Frydman, N Giambiasi Simulation 86 (3), 181-197, 2010 | 27 | 2010 |
| Min–Max-DEVS modeling and simulation MEA Hamri, N Giambiasi, C Frydman Simulation Modelling Practice and Theory 14 (7), 909-929, 2006 | 26 | 2006 |
| Using DEv-PROMELA for modelling and verification of software A Yacoub, MEA Hamri, C Frydman Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced …, 2016 | 19 | 2016 |
| DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems A Yacoub, MEA Hamri, C Frydman, C Seo, BP Zeigler International Journal of Simulation and Process Modelling 12 (3-4), 313-327, 2017 | 13 | 2017 |
| Improving business process in semiconductor manufacturing by discovering business rules A Khemiri, MEA Hamri, C Frydman, J Pinaton 2018 Winter Simulation Conference (WSC), 3441-3448, 2018 | 10 | 2018 |
| DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation A Yacoub, MEA Hamri, C Frydman Simulation 96 (11), 881-910, 2020 | 9 | 2020 |
| Limiting state space explosion of model checking using discrete event simulation: Combining DEVS and PROMELA A Khemiri, MEA Hamri, C Frydman, J Pinaton Proceedings of the 2019 Summer Simulation Conference, 1-12, 2019 | 5 | 2019 |
| Impact of Eco-Driving on Energy Consumption of an Electric Vehicle A Goujon, H Haghighi, MEA Hamri 2022 7th International Conference on Environment Friendly Energies and …, 2022 | 2 | 2022 |
| Restricting DEv-PROMELA with a hierarchy of simulation formalisms A Yacoub, MA Hamri, C Frydman Proceedings of the Symposium on Theory of Modeling & Simulation, 1-11, 2017 | 2 | 2017 |
| Generalized discrete event specifications of logic gates M Hamri, A Naamane, N Giambiasi 2014 IEEE 11th International Multi-Conference on Systems, Signals & Devices …, 2014 | 2 | 2014 |
| Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller Y Dahmani, MEA Hamri arXiv preprint arXiv:1401.5638, 2014 | 2 | 2014 |
| Macroscopic Calibration of Microscopic Queue Model Interpretation for Traffic Simulation of Electrical Vehicles H Haghighi, MEA Hamri Roadef 2023, 2023 | 1 | 2023 |
| Simulation as Experimentation T Ören, PK Davis, R Goldstein, A Khan, L Capocchi, MEA Hamri, ... Body of Knowledge for Modeling and Simulation: A Handbook by the Society for …, 2023 | 1 | 2023 |
| Why we should use Min Max DEVS for modeling and simulation of digital circuits M Hamri, A Naamane, C Frydman, N Driouche Simulation 98 (6), 519-532, 2022 | 1 | 2022 |
| An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns MEA Hamri arXiv preprint arXiv:2008.06587, 2020 | 1 | 2020 |
| Second order GDEVS abstraction of electronic circuits. N Driouche, MEA Hamri, N Giambiasi SummerSim, 12, 2016 | 1 | 2016 |
| A non-modular modeling and simulation approach based on DEVS for the forest fire spread M Hamri, Y Dahmani Fifth International Conference on Advances in System Simulation, 130-136, 2013 | 1 | 2013 |
| Integrating Z in DEVS: a Case Study Lift Control System W Trojet, C Frydman, MEA Hamri International Conference on Software Engineering Research and Practice, 2008 | 1 | 2008 |
| Discrete event simulation of reactive knowledge based systems MEA Hamri, L Torres, C Frydman International Journal of Knowledge-based and Intelligent Engineering Systems …, 2006 | 1 | 2006 |
| Simulation semantics for Min-Max DEVS models MEA Hamri, N Giambiasi, C Frydman International Conference on AI, Simulation, and Planning in High Autonomy …, 2004 | 1 | 2004 |
