Maâmar El-Amine HAMRI

Membre de l'équipe COSI   Fonction : Maître de conférences (MCF) UFR : Université Aix-Marseille (U3)   Tél. : 04 91 05 60 60 E-mail : aminehamrilsisorg   Adresse :  LSIS - UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20

PUBLICATIONS

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]

[1] W. Trojet, M. E.-A. Hamri, C. Frydman, “Integrating Z in DEVS : a case study Lift Control System”, in: World Congress in Computer Science Computer Engineering and Applied Computing (WORLDCOMP'08) - International Conference on Software Engineering Research and Practice (SERP'08), Las Vegas, Nevada, USA, Juillet 14-17 2008.[bib]

[2] W. Trojet, M. E.-A. Hamri, C. Frydman, “Logical Analysis of DEVS Models Using Z”, in: Proceedings of International Simulation Multi-conference (ISMc'08), The society for modeling and simulation international, SCS, Edinburgh - Scotland, Juin 16-19 2008.[bib]

[3] L. Torres, M. E.-A. Hamri, C. Frydman, “Améliorations de MACAO”, Rapport de contrat STAC DR n°221/05 – 178 / STAC / ACE, LSIS, n° LSIS.RR.2008.001, mai 2008.[bib]

[4] N. Giambiasi, M. E.-A. Hamri, C. Frydman, “Modélisation et simulation des modèles Min-Max DEVS hiérarchiques”, in: Actes de la 7ème Conférence Internationale de Modélisation et Simulation, pp. 29-36, Paris, France, 31 mars - 2 avril 2008.[bib]

[5] M. E.-A. Hamri, C. Frydman, L. Torres, “Catalogue d’objets utilisables pour un outil de simulation dans les aérogares - Tâche 1 : Spécifications techniques et caractéristiques opérationnelles des entités et des ressources dans les aérogares”, Rapport de contrat STAC DR n°221/05 – 178 / STAC / ACE, LSIS, n° LSIS.RR.2007.008, avril 2007.[bib]

[6] M. E.-A. Hamri, C. Frydman, L. Torres, “Développement d’un catalogue d’objets utilisables pour un outil de simulation dans les aérogares - Tâche 2 : Spécifications du catalogue d'objets”, Rapport de contrat STAC DR n°221/05 – 178 / STAC / ACE, LSIS, n° LSIS.RR.2007.008, mars 2007.[bib]

[7] G. Zacharewicz, M. E.-A. Hamri, “Flattening G-DEVS / HLA structure for Distributed Simulation of Workflows”, in: AIS-CMS International modeling and simulation multiconference, pp. 11-16, Buenos Aires - Argentina, February 8-10 2007. ISBN 978-2-9520712-6-0.[bib]

[8] M. E.-A. Hamri, G. Zacharewicz, “LSIS-DME: An Environment for Modeling and Simulation of DEVS Specifications”, in: AIS-CMS International modeling and simulation multiconference, pp. 55-60, Buenos Aires - Argentina, February 8-10 2007. ISBN 978-2-9520712-6-0.[bib]

[9] M. E.-A. Hamri, L. Torres, C. Frydman, “Discrete event simulation of CommonKADS expertise models”, in: KES Knowledge Engineering Systems journal, vol. 10, n° 6, pp. 417-431, décembre 2006. ISSN 1327-2314.[bib]

[10] M. E.-A. Hamri, N. Giambiasi, C. Frydman, “Min-Max DEVS Modeling and Simulation”, in: Simulation Modelling Practice and Theory (SIMPAT), vol. 14, n° 7, pp. 909-929, October 2006. Ed. Elsevier, ISSN 1569-190X.[bib]

[11] G. Zacharewicz, M. E.-A. Hamri, W. Trojet, C. Frydman, N. Giambiasi, “G-DEVS / HLA Environment for Distributed Simulations of Workflows”, in: International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M&S-MTSA'06), SCS, pp. 206 - 211, Calgary, Alberta, Canada, July 31 - August 02 2006. ISBN 1-56555-309-8 Invited talk.[bib]

[12] T. Oren, L. Torres, F. Amblard, J.-P. Bélaud, J. Caussanel, O. Dalle, R. Duboz, A. Ferrarini, C. Frydman, M. E.-A. Hamri, D. Hill, A. Naamane, P. Siron, E. Tranvouez, G. Zacharewicz, (Eds.) “Modeling and Simulation Dictionary - English-French-Turkish”, GDR I3 - LSIS, Marseille, France, May 2006. ISBN 2-9524747-0-2.[bib]

[13] M. E.-A. Hamri, N. Giambiasi, C. Frydman, “Simulation Semantics for Min-Max DEVS Models”, in: Lecture Notes in Computer Science special issue DEVS modelling and simulation, vol. 3397, pp. 699, février 2005. Pub. Springer Verlag - Ed. Tag Gon Kim - ISSN : 0302-9743 - ISBN : 3-540-24476-X - sélectionné à partir de AIS 2004, Jeru, Korea, Octobre 2004.[bib]

[14] M. E.-A. Hamri, Thèse : “Spécification, opérationnalisation et simulation des systèmes de connaissances réactifs : utilisation de CommonKADS et DEVS”, Université Paul Cézanne (Aix Marseille III), novembre 2005. Directeurs : Claudia Frydman et Lucile Torres.[bib]

[15] F. Châne, C. Frydman, N. Giambiasi, M. E.-A. Hamri, L. Torres, R. Aubert, F. Calzaroni, “SIMPORT (Modélisation et Simulation de l’Activité Economique Portuaire et des Echanges Professionnels entre les Acteurs au moyen de Workflow)”, Projet FEDER - Rapport final - période 01/09/2003-28/02/2005, laboratoire commun LSIS-TRANSSIM (Accord-cadre "Laboratoire commun" référence : 10/2002-UDESAM/TRANSSIM), n° LSIS.RR.2005.012, mars 2005.[bib]

[16] M. E.-A. Hamri, “Extension de CommonKADS pour la spécification des systèmes à événements discrets”, in: JDL6'05, Deuxièmes Journées des Doctorants du LSIS, LSIS, A2DL, Marseille, France, février 2005. ISBN 2-9520712-1-7.[bib]

[17] M. E.-A. Hamri, “Utilisation de Arena pour la simulation des modèles spécifiés avec CommonKADS”, in: MAJECSTIC'04, MAnifestation des JEunes Chercheurs STIC, Calais, France, 13-15 octobre 2004.[bib]

[18] M. E.-A. Hamri, N. Giambiasi, C. Frydman, “Simulation Semantics for Min-Max DEVS Models”, in: AIS2004, AI Simulation and Planning, Seoul, Korea, 4-6 octobre 2004.[bib]

[19] M. E.-A. Hamri, C. Frydman, L. Torres, “Using DEVS for Simulation of CommonKADS Specified Systems: an Airport Application”, in: HMS2004, 8th International Workshop Harbour, Maritime & Multimodal Logistics Modelling and Simulation, Rio de Janeiro, Brésil, 16-18 septembre 2004.[bib]

[20] C. Frydman, M. E.-A. Hamri, L. Torres, “Airport Modeling using CommonKADS”, in: SCSC2004, Summer Computer Simulation Conference, San Jose, California, USA, 25-29 juillet 2004.[bib]

[21] F. Châne, C. Frydman, N. Giambiasi, M. E.-A. Hamri, L. Torres, R. Aubert, F. Calzaroni, “SIMPORT (Modélisation et Simulation de l’Activité Economique Portuaire et des Echanges Professionnels entre les Acteurs au moyen de Workflow)”, Projet FEDER - Rapport intermédiaire - période 01/09/2003-31/12/2003, laboratoire commun LSIS-TRANSSIM (Accord-cadre "Laboratoire commun" référence : 10/2002-UDESAM/TRANSSIM), n° LSIS.RR.2004.008, juin 2004.[bib]

[22] M. E.-A. Hamri, C. Frydman, L. Torres, “Specifying and Validating Reactive Systems with CommonKADS Methodology”, in: KES03, 7th International Conference on Knowledge-Based Intelligent Information & Engineering Systems & Allied Technologies, University of Oxford, United Kingdom, september 3-5 2003.[bib]

webmaster