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

	Thèse soutenue lundi 28 novembre 2005, à 10h30 - salle de conférences - Polytech-GII Spécification et Opérationnalisation des Systèmes de Connaissances Réactifs : extension de CommonKADS et du Formalisme DEVS

THÈSE

Sujet de thèse : Modélisation et simulation de connaissances expertes sur les flux de population dans des noeuds stratégiques Directeur(s) de thèse : Claudia Frydman et Lucile Torres Date de début de thèse : mars 2003 Financement(s) : bourse EGIDE Thèmes de recherche développés : workflows, modélisation de la connaissance, simulation, G-DEVS , HLA Activités internationales : Stage industriel dans le cadre du projet IEPAL (Intensive Educational Program in Advenced Logistics) de trois semaines à Orlando dans une compagnie "Dynamics research corporation" pour le développement des ontologies. Résumé : Les approches de l‚ingénierie des connaissances permettent de réaliser des systèmes à base de connaissances en décrivant le raisonnement humain. Le point commun entre ces approches repose sur la description d‚un modèle d‚expertise (informel ou semi formel) pour le recueil et la structuration des connaissances auprès des experts. CommonKADS se distingue des autres approches par la décomposition du modèle d‚expertise en trois couches : domaine, inférence et tâche. En effet cela permettra d‚obtenir des modèles génériques indépendants de leur domaine d‚utilisation appelés « templates ». L‚objectif est d‚étendre cette méthodologie pour la spécification des systèmes à événements discrets et d‚encadrer le processus d‚opérationnalisation en utilisant le formalisme Min-Max DEVS.

PUBLICATIONS

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

@techreport {TorresHamriFrydman08, author = {L. Torres and A. Hamri and C. Frydman}, title = {Am\'{e}liorations de MACAO}, type = {Rapport de contrat STAC DR n°221/05 – 178 / STAC / ACE}, institution = {LSIS}, number = {LSIS.RR.2008.001}, month = {mai}, year = {2008}, equipe = {COSI} }

@inproceedings {GiambiasiHamriFrydman08, audience = {nationale}, author = {N. Giambiasi and A. Hamri and C. Frydman}, title = {Mod\'{e}lisation et simulation des mod\`{e}les Min-Max DEVS hi\'{e}rarchiques}, booktitle = {Actes de la 7\`{e}me Conf\'{e}rence Internationale de Mod\'{e}lisation et Simulation}, pages = {29--36}, address = {Paris, France}, month = {31 mars - 2 avril}, year = {2008}, equipe = {COSI} }

@techreport {HamriFrydmanTorres07a, author = {A. Hamri and C. Frydman and L. Torres}, title = {Catalogue d’objets utilisables pour un outil de simulation dans les a\'{e}rogares - T\^{a}che 1 : Sp\'{e}cifications techniques et caract\'{e}ristiques op\'{e}rationnelles des entit\'{e}s et des ressources dans les a\'{e}rogares}, type = {Rapport de contrat STAC DR n°221/05 – 178 / STAC / ACE}, institution = {LSIS}, number = {LSIS.RR.2007.008}, month = {avril}, year = {2007}, equipe = {COSI} }

@techreport {HamriFrydmanTorres07, author = {A. Hamri and C. Frydman and L. Torres}, title = {D\'{e}veloppement d’un catalogue d’objets utilisables pour un outil de simulation dans les a\'{e}rogares - T\^{a}che 2 : Sp\'{e}cifications du catalogue d'objets}, type = {Rapport de contrat STAC DR n°221/05 – 178 / STAC / ACE}, institution = {LSIS}, number = {LSIS.RR.2007.008}, month = {mars}, year = {2007}, equipe = {COSI} }

@inproceedings {ZacharewiczHamri0, audience = {internationale}, author = {G. Zacharewicz and A. Hamri}, title = {Flattening G-DEVS / HLA structure for Distributed Simulation of Workflows}, booktitle = {AIS-CMS International modeling and simulation multiconference}, pages = {11--16}, address = {Buenos Aires - Argentina}, month = {February 8--10}, year = {2007}, note = {ISBN 978--2-9520712--6-0}, equipe = {COSI} }

@inproceedings {HamriZacharewicz07, audience = {internationale}, author = {A. Hamri and G. Zacharewicz}, title = {LSIS-DME: An Environment for Modeling and Simulation of DEVS Specifications}, booktitle = {AIS-CMS International modeling and simulation multiconference}, pages = {55--60}, address = {Buenos Aires - Argentina}, month = {February 8--10}, year = {2007}, note = {ISBN 978--2-9520712--6-0}, equipe = {COSI} }

@article {HamriTorresFrydman06, audience = {internationale}, author = {A. Hamri and L. Torres and C. Frydman}, title = {Discrete event simulation of CommonKADS expertise models}, journal = {KES Knowledge Engineering Systems journal}, volume = {10}, number = {6}, pages = {417--431}, month = {d\'{e}cembre}, year = {2006}, note = {ISSN 1327--2314}, equipe = {COSI} }

@article {HamriGiambiasiFrydman06a, audience = {internationale}, author = {A. Hamri and N. Giambiasi and C. Frydman}, title = {Min-Max DEVS Modeling and Simulation}, journal = {Simulation Modelling Practice and Theory (SIMPAT)}, volume = {14}, number = {7}, pages = {909--929}, month = {October}, year = {2006}, note = {Ed. Elsevier, ISSN 1569--190X}, equipe = {COSI} }

@inproceedings {ZHTFG06a, audience = {internationale}, author = {G. Zacharewicz and A. Hamri and W. Trojet and C. Frydman and N. Giambiasi}, title = {G-DEVS / HLA Environment for Distributed Simulations of Workflows}, booktitle = {International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M\&S-MTSA'06)}, editor = {SCS}, pages = {206 - 211}, address = {Calgary, Alberta, Canada}, month = {July 31 - August 02}, year = {2006}, note = {ISBN 1--56555-309--8 Invited talk}, equipe = {COSI} }

@directionouvrage {Zacharewicz06, author = {T. Oren and L. Torres and F. Amblard and J.-P. B\'{e}laud and J. Caussanel and O. Dalle and R. Duboz and A. Ferrarini and C. Frydman and A. Hamri and D. Hill and A. Naamane and P. Siron and E. Tranvouez and G. Zacharewicz}, title = {Modeling and Simulation Dictionary - English-French-Turkish}, publisher = {GDR I3 - LSIS}, address = {Marseille, France}, month = {May}, year = {2006}, note = {ISBN 2--9524747-0--2}, equipe = {COSI} }

@inproceedings {HamriGiambiasiFrydman05, audience = {internationale}, author = {A. Hamri and N. Giambiasi and C. Frydman}, title = {Simulation Semantics for Min-Max DEVS Models}, booktitle = {Lecture Notes in Computer Science special issue DEVS modelling and simulation}, volume = {3397}, pages = {699}, month = {f\'{e}vrier}, year = {2005}, note = {Pub. Springer Verlag - Ed. Tag Gon Kim - ISSN : 0302--9743 - ISBN : 3--540-24476-X - s\'{e}lectionn\'{e} \`{a} partir de AIS 2004, Jeru, Korea, Octobre 2004}, equipe = {COSI} }

@phdthesis {Hamri05a, author = {A. Hamri}, title = {Sp\'{e}cification, op\'{e}rationnalisation et simulation des syst\`{e}mes de connaissances r\'{e}actifs : utilisation de CommonKADS et DEVS}, school = {Universit\'{e} Paul C\'{e}zanne (Aix Marseille III)}, month = {novembre}, year = {2005}, note = {Directeurs : Claudia Frydman et Lucile Torres}, equipe = {COSI} }

@techreport {CFGHTAC05, author = {F. Ch\^{a}ne and C. Frydman and N. Giambiasi and A. Hamri and L. Torres and R. Aubert and F. Calzaroni}, title = {SIMPORT (Mod\'{e}lisation et Simulation de l’Activit\'{e} Economique Portuaire et des Echanges Professionnels entre les Acteurs au moyen de Workflow)}, type = {Projet FEDER - Rapport final - p\'{e}riode 01/09/2003--28/02/2005}, institution = {laboratoire commun LSIS-TRANSSIM (Accord-cadre "Laboratoire commun" r\'{e}f\'{e}rence : 10/2002-UDESAM/TRANSSIM)}, number = {LSIS.RR.2005.012}, month = {mars}, year = {2005}, equipe = {COSI} }

@inproceedings {Hamri05, audience = {nationale}, author = {A. Hamri}, title = {Extension de CommonKADS pour la sp\'{e}cification des syst\`{e}mes \`{a} \'{e}v\'{e}nements discrets}, booktitle = {JDL6'05, Deuxi\`{e}mes Journ\'{e}es des Doctorants du LSIS}, organization = {LSIS}, publisher = {A2DL}, address = {Marseille, France}, month = {f\'{e}vrier}, year = {2005}, note = {ISBN 2--9520712-1--7}, equipe = {COSI} }

@inproceedings {Hamri04, audience = {nationale}, author = {A. Hamri}, title = {Utilisation de Arena pour la simulation des mod\`{e}les sp\'{e}cifi\'{e}s avec CommonKADS}, booktitle = {MAJECSTIC'04, MAnifestation des JEunes Chercheurs STIC}, address = {Calais, France}, month = {13--15 octobre}, year = {2004}, equipe = {COSI} }

@inproceedings {HamriGiambiasi Frydman04, audience = {internationale}, author = {A. Hamri and N. Giambiasi and C. Frydman}, title = {Simulation Semantics for Min-Max DEVS Models}, booktitle = {AIS2004, AI Simulation and Planning}, address = {Seoul, Korea}, month = {4--6 octobre}, year = {2004}, equipe = {COSI} }

@inproceedings {HamriFrydmanTorres04, audience = {internationale}, author = {A. Hamri and C. Frydman and L. Torres}, title = {Using DEVS for Simulation of CommonKADS Specified Systems: an Airport Application}, booktitle = {HMS2004, 8th International Workshop Harbour, Maritime \& Multimodal Logistics Modelling and Simulation}, address = {Rio de Janeiro, Br\'{e}sil}, month = {16--18 septembre}, year = {2004}, equipe = {COSI} }

@inproceedings {FrydmanHamriTorres04, audience = {internationale}, author = {C. Frydman and A. Hamri and L. Torres}, title = {Airport Modeling using CommonKADS}, booktitle = {SCSC2004, Summer Computer Simulation Conference}, address = {San Jose, California, USA}, month = {25--29 juillet}, year = {2004}, equipe = {COSI} }

@techreport {CFGHTAC04, author = {F. Ch\^{a}ne and C. Frydman and N. Giambiasi and A. Hamri and L. Torres and R. Aubert and F. Calzaroni}, title = {SIMPORT (Mod\'{e}lisation et Simulation de l’Activit\'{e} Economique Portuaire et des Echanges Professionnels entre les Acteurs au moyen de Workflow)}, type = {Projet FEDER - Rapport interm\'{e}diaire - p\'{e}riode 01/09/2003--31/12/2003}, institution = {laboratoire commun LSIS-TRANSSIM (Accord-cadre "Laboratoire commun" r\'{e}f\'{e}rence : 10/2002-UDESAM/TRANSSIM)}, number = {LSIS.RR.2004.008}, month = {juin}, year = {2004}, equipe = {COSI} }

@inproceedings {HamriFrydmanTorres03, audience = {internationale}, author = {A. Hamri and C. Frydman and L. Torres}, title = {Specifying and Validating Reactive Systems with CommonKADS Methodology}, booktitle = {KES03, 7th International Conference on Knowledge-Based Intelligent Information \& Engineering Systems \& Allied Technologies}, address = {University of Oxford, United Kingdom}, month = {september 3--5}, year = {2003}, equipe = {COSI} }

webmaster