Members

  Leila JEMNI BEN AYED

"Picture of Mr Fathi ESSALMI"

 IDENTITE

Leila JEMNI BEN AYED

Maître de Conférences en Informatique à l'Ecole Nationale des Sciences de l'Informatique (ENSI)..

Membre de l’Unité de Recherhce UTIC.

E-mail : Leila.jemni@fsegt.rnu.tn

Mon entrée DBLP:

TITRES UNIVERSITAIRES:

  • Habilitation Universitaire

  Faculté des Sciences Economiques et de Gestion de Sfax : 2009.
  • Doctorat en Informatique.

  Faculté des Sciences de Tunis-Institut National Polytechnique de LORRAINE) : 2000.
  Sujet : Spécification et Vérification des Systèmes Temps-Réel.
  • Ingénieur Principal en Informatique (Faculté des Sciences de Tunis) : 1994.

  • Diplôme Universitaire des Etudes Scientifiques (Faculté des Sciences de Tunis) : 1992.

  • Baccalauréat : Math Physique 1988.

THEMES DE RECHERCHE:

  • Spécification et vérification des systèmes réactifs complexes.

  • Intégration de méthodes formelles et semi formelles.

  • Modélisation des applications sur les grilles de calcul.

  • Modélisation de concepts de e-learning.

PUBLICATIONS:

    1 Habilitation

    [1] L. Jemni Ben Ayed , "Approches pour la spécification et la vérification des systèmes réactifs intégrant des méthodes formelles et semi-formelles", Faculté des Sciences de Gestion et des Sciences Economiques de Sfax, février 2009.

    2 Thèse

    [2] L. Jemni Ben Ayed, "Une approche formelle pour la spécification et la vérification des systèmes temps-réel", Faculté des Sciences de Tunis - Institut National Polytechnique de Lorraine, Février 2000.

    3 Articles dans des revues

    [3] O. Mosbahi, L. Jemni Ben Ayed & M. Khalgui, "A Formal Approach for the Development of Reactive Systems, Information and Software Technology (IST), Elsevier, (Impact Factor 1,82), Vol 53 N°1, pp 14-33", January 2011.
    [4] F. Essalmi, L. Jemni Ben Ayed, M. Jemni, Kinshuk., and S. Graf. "Selection of appropriate E-learning personalization strategies from ontological perspectives. Special issue on the design centered and personalized learning in liquid and ubiquitous learning places, Interaction Design and Architectures, Vol 9 N°10, pp 65-84", 2010.
    [5] F. Essalmi, L. Jemni Ben Ayed, M. Jemni, Kinshuk & S. Graf, "A Fully Personalization Strategy of E-Learning Scenarios, Computers in Human Behavior, Elsevier, (Impact Factor 1,677), Vol. 26, Issue 4, pp 581-591", July 2010.
    [6] L. Jemni Ben Ayed & A. Ben Younes, "Modeling and Verification of Reactive Systems Using STATEMATE and Event B, International Journal of Computers and Their Applications", Vol. 16 No 4, pp 200-219, Décembre 2009.
    [7] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, "An Interactive Composition of Workflow Applications based on UML Activity Diagrams, Ubiquitous Computing and Communication Journal", Vol. 4 Num 3, pp 599-608, Juillet 2009.
    [8] L. Jemni Ben Ayed & Y. Hlaoui Ben Daly, "Translating STATEMATE Models into FNLOG for the Verification of Safety Requirements in Reactive Systems, International Journal of Internet Technology and Secured Transactions", Vol. 1 Num 3/4, pp 236-271, 2009.
    [9] L. Jemni Ben Ayed & F. Siala, "Event-B Based Verification Of Interaction Properties in Multi-Agent Systems, Journal of Software (Academy Pyblisher), Vol. 4 N° 4, pp 357-364", Juin 2009.
    [10] L. Jemni Ben Ayed & Y. Hlaoui Ben Daly, "From STATEMATE to FNLOG Specification for the Verification of Reactive Systems, International Journal of Software Computing Applications (indexed by EBSCO),, Vol. 1, pp 62-74", Juin 2007.

    4 ARTICLES DANS LNCS (Lecture Notes in Computer Science) et LNBIP (Lecture Notes in Business Information Processing)

    [11] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed: "Patterns for Modeling and Composing Workflows from Grid Services, The 11th International Conference on Enterprise Information Systems (ICEIS 2009)", LNBIP Vol. 24, pp 615-626, Springer 2009.
    [12] L. Jemni Ben Ayed & F. Siala, "Specification and Verification of Multi agent Systems Interaction Protocols Using a combination of AUML and Event B, Interactive Systems Design, Specification and Verification, Proceedings of the 15th International Workshop, DSV-IS 2008, Kingston, Canada, LNCS, Vol 5136, pp 102-106", Springer, 2008.
    [13] M. Saad & L. Jemni Ben Ayed, "Introducing Dynamic Properties with Past Temporal Operators in the B Refinement, 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005), LNCS, Vol 3707, pp. 308-322", Springer, 2005.
    [14] O. Mosbahi, L. Jemni, S. Ben Ahmed & J. Jaray, "A Specification and Validation Technique Based on STATEMATE and FNLOG, 4th international conference on Formal methods and Software Engineering ICFEM LNCS, Vol. 2495, pp. 216-222", Springer, 2002.

    5 Publications dans des conférences IEEE/ACM

    [15] F. Essalmi, L. Jemni Ben Ayed & Mohamed Jemni, "An ontology based approach for selection of appropriate E-learning personalization strategy, The 10th IEEE International Conference on Advanced Learning Technologies (ICALT 2010)", Tunisie 2010.
    [16] A. Gawanmeh, S. Tahar & L. Jemni Ben Ayed, "Event-B based Invariant Checking of Secrecy in Group Key Protocols, The 33rd IEEE Conference on Local Computer Networks (LCN), Workshop on Network Security (WNS) (LCN 2008), pp 950-957", Montreal, Octobre 2008.
    [17] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, "A MDA Approach for Semi Automatic Grid Services Workflows Composition, IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2008), 1433 – 1437", Singapore 2008.
    [18] F. Essalmi, L. Jemni Ben Ayed, M. Jemni & Kinshuk, "UML Class Diagram as a Navigational Support for E-Learning, The 8th IEEE International Conference on Advanced Learning Technologies (ICALT 2008), pp 946-948", Espagne, Juillet 2008.
    [19] A. Ben Younes & L. Jemni Ben Ayed, "From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications, The 32th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), pp 643-648", Finland, Juillet 2008.
    [20] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, "Toward an UML_based composition of Grid Services, Proceedings of the International Conference on Pervasive Service Agent-Oriented Software Engineering Challenges for Ubiquitous and Pervasive Computing Workshop (ACM ICPS/AUPC 2008), pp 21-28", Sorrento, Italie, Juillet 2008.
    [21] A. Ben Younes & L. Jemni Ben Ayed, "Using UML Activity Diagrams and Event B for Distributed and Parallel Applications, The 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), pp 163-170", Beijing, Chine 2007.
    [22] L. Jemni Ben Ayed & F. Siala, "From AUML Protocol Diagrams to Event B for the Specification and the Verification of interaction Protocols in Multi-agent Systems, Proceedings of the 3rd IEEE International Workshop on Engineering Semantic Agent Systems (ESAS 2008), International Computer Software and Applications Conference (COMPSAC 2008), pp 581-584", Finland, Juillet 2008.
    [23] F. Essalmi, L. Jemni Ben Ayed & M. Jemni, "A Multi-Parameters Personalization Approach of Learning Scenarios, The 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), pp 90-91", Japan, Juillet 2007.
    [24] L. Jemni Ben Ayed & Y. Hlaoui Ben Daly, "Translating Graphical Conceptual Model from STATEMATE to FNLOG, IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2007), pp 1801-1806", Singapore, 2007.
    [25] F. Essalmi & L. Jemni Ben Ayed, "Graphical UML View from Extended Backus-Naur Form grammars, The 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), pp 544-546", Kerkrade, The Netherlands, Juillet 2006.
    [26] L. Jemni Ben Ayed & A. Ben Younes, "From Graphical Design in STATEMATE to Formal Specification in Event B, The second IEEE International Conference on Information and Communication Technologies: from theory to applications, pp 2837-2842", Syrie, Avril 2006.
    [27] H. Fekih, L. Jemni Ben Ayed & S. Merz, "Transformation of B Specifications into UML Class Diagrams and State Machines, The 21th Annual ACM Symposium on Applied Computing - SAC 2006, Vol. 2, pp 1840-1844", Dijon, Avril 2006.
    [28] O. Mosbahi, J. Jaray & L. Jemni Ben Ayed, "Formal Development Method of Control Systems Using the Event Based B Approach. Case study: A parcel sorting device, The 4th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2006)", Dubai, Mars 2006.
    [29] L. Jemni & J. Jaray, "An Interval Point Duration Temporal Logic for the Modeling of Real Time Systems (IEEE/ISCCSP 2004), First International Symposium on control, communication and signal processing", Tunisia, Mars 2004.

    6 Publications dans des conférences internationales

    [30] L. Jemni Ben Ayed & A. Ben Brahim, Using ATOM3 For The Verification of Workflow Applications, The 5th International Conference on Software and Data Technology (ICSOFT 2010), Grèce, 2010.
    [31] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, "Symbolic Model Checking Supporting Formal Verification of Grid Service Workflow Models Specified by UML Activity Diagrams, The 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), pp 255-261", Tozeur, Mai 2010.
    [32] A. Ben Younes & L. Jemni Ben Ayed, "UML_AD2EventB: An Approach Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification, IEEE Congress on Services (SERVICES I 2009) "modernization of the services industry", pp 330-333", USA, Juillet 2009.
    [33] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, "Ontological Description of Grid Services Supporting Automatic Workflow Composition, The 2nd International Conference on Web and Information Technologies (ICWIT 2009), pp 233-243", Kerkennah, Tunisie, Juin 2009.
    [34] L. Jemni Ben Ayed & M. N. Jelassi, "An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER, The 7th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2009), pp 190-198", Italie, 2009.
    [35] A. Ben Younes & L. Jemni Ben Ayed, "Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications, The 7th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2009), pp 190-198", Milan, Italie, 2009.
    [36] Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, "An UML-Based Composition of Grid Services workflows, Third International Conference on Risks and Security of Internet and Systems (CRISIS 2008), pp 207-212", Tozeur, Tunisie, 2008.
    [37] L. Jemni Ben Ayed & F. Siala, "An approach for the specification and the verification of multi-agent system's interaction protocols using AUML and event B, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008), pp 190-198", Barcelone, Espagne, Juin 2008.
    [38] F. Essalmi & L. Jemni Ben Ayed, "Personalization of E-Learning Scenarios: The Case of Learning Scenarios for Programming Languages, The International Arab Conference on Information Technology", Hammamet, December 2008.
    [39] O. Mosbahi, L. Jemni & J. Jaray, "A Formal Approach for the Development of Automated Systems, The 2nd International Conference on Software and Data Technology (ICSOFT 2007), pp 304-310", Barcelone, 2007.
    [40] Y. Ben Daly Hlaoui & L. Jemni Ben Ayed, "Toward a Grid Workflow Formal Composition, Proceedings of the Third Conference of the EELA Project R. Gavela, B. Marechal, R. Barbera et al. (Eds.) CIEMAT", Catania, Italie, Decembre 2007.
    [41] F. Essalmi, L. Jemni Ben Ayed & M. Jemni, "Personalization of Learning Scenarios for E-Learning, The 2nd International Conference on Interactive Mobile and Computer aided Learning", Amman, Jordan, Avril 2007.
    [42] F. Essalmi & L. Jemni Ben Ayed, "Ordered Graphical UML View from Extended Backus-Naur Form grammars, Fifth International Internet Education Conference, ICT-Learn", Le Caire, Egypte, 2006.
    [43] O. Mosbahi & L. Jemni, "Utilisation conjointe de la méthode B événementiel et la logique temporelle TLA+ pour la modélisation et la vérification des systèmes réactifs, MOdelisation, Optimisation et SIMulation des Systèmes(MOSIM 2006)", Rabat, pp 621-631, 2006.
    [44] O. Mosbahi, L. Jemni & J. Jaray, "Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA+, MOdélisation, Optimisation et SIMulation des Systèmes, (MOSIM 2006)", Rabat, pp 588-597, 2006.
    [45] O. Mosbahi & L. Jemni Ben Ayed, "A Formal Development Approach of Control Systems Using the Event Based B Approach, Third Annual Conference INFOS 2005, pp 160-170", Le Caire, Mars 2005.
    [46] H. Fekih, L. Jemni Ben Ayed & S. Merz, "Transformation des Spécifications B en des Diagrammes UML, In AFADL: Approches Formelles dans l'Assistance au développement des logiciels, pp 131-145", France, 2004.
    [47] L. Jemni Ben Ayed, O. Mosbahi & S. Ben Ahmed, "Une Technique de Spécification et de Validation Basée sur STATEMATE et FNLOG, 4ème Conférence Francophone de MOdélisation et SIMulation (MOSIM’03), pp 48-54", Toulouse, France, Avril 2003.
    [48] L. Jemni, A. Mahjoub & J. Jaray. "Historical Consequence and Postponed Effects in Real-Time Systems, IFAC International Symposium on Artificial Intelligence in Real-Time Control", Malaisie, septembre 1997 97-R-211.

    7 Publications dans des Conférences nationales

    [49] F. Charfi, L. Jemni Ben Ayed, S. Tahar and S. Ben Ahmed, "An Approach Translating CoD to be Checked by UPPAAL, Troisièmes Journées Scientifiques des Jeunes Chercheurs en Génie électrique et Informatique (GEI 2003), pp 57-65", Mars 2003.
    [50] L. Jemni, J. Jaray & A. Mahjoub, "Specifying postponed effects properties in Real-Time Systems, Journées Tunisiennes en Electroniques et Automatique (JTEA 1998)", Nabeul, Tunisie, November 1998.

    CO-ENCADREMENT DE THESE ACHEVE

  • Nom de l’étudiant(e) : Olfa Mosbahi
    Titre de la thèse : "Développement Formel des Systèmes Automatises".
    Thèse en Cotutelle FST – LORIA Nancy.
    Date de la soutenance : Février 2008.
  • Nom de l’étudiant(e) : Yousra Hlaoui Ben Daly
    Sujet : "Une approche pour la Modélisation par composition des applications workflow à partir de services de grilles".
    Date de la soutenance : Décembre 2010.

    ENCADREMENTS DE DEA ET MASTÈRES ACHEVÉS

  • 2002 : Nom de l’étudiante: Olfa Mosbahi (FST)
    Sujet: "Une technique de spécification et de vérification combinant STATEMATE et FNLOG"
    Mention: Très bien.
  • 2003 : Nom de l’étudiant: Faiez Charfi (FST)
    Sujet: "Une technique interfaçant DC à UPPAAL pour la spécification et la vérification des systèmes temps-réel".
    Mention: Très bien.
  • 2004 : Nom de l’étudiante: Mouna Saad (FST)
    Sujet: "Extension de la technique de reformulation utilisée dans B au fragment du passe de la logique temporelle PLTL".
    Mention: Très bien.
  • 2005 : Nom de l’étudiante: Yousra Hlaoui Ben Daly (FST).br> Sujet: "Un processus de transformation automatique de modèles STATEMATE vers FNLOG pour la vérification des systèmes réactifs".
    Mention: Bien.
  • 2005 : Nom de l’étudiante: Ahlem Ben Younes (FST).
    Sujet: "Une approche pour la spécification et la vérification des systèmes réactifs utilisant STATEMATE et B".
    Mention: Bien.
  • 2008 : Nom de l’étudiante: Fatma Siala (FST).
    Sujet: "Une Technique pour la spécification et la vérification des systèmes Multi-Agents basée sur la combinaison du langage AUML et du B événementiel".
    Mention: Très bien.
  • 2009 : Nom de l’étudiant: Mohamed Nidhal Jelassi (FST).
    Sujet: "Développement d’un moteur d’inférence interactif supportant la transformation de modèles B vers des diagrammes de classes UML".
    Mention: Très bien.
  • 2010 : Nom de l’étudiante: Olfa Henchir (ESSTT).
    Sujet: "Une approche méta modèle pour la transformation des diagrammes d’activités du langage UML en B événementiel".
    Mention: Très bien.
  • 2010 : Nom de l’étudiante: Najet Hamdi (FST).
    Sujet: "Vérification des propriétés de sûreté des applications workflow".
    Mention: Bien.
  • 2010 : Nom de l’étudiant: Amine Achouri (FST).
    Sujet : "Utilisation de ATOM3 pour la vérification des propriétés statiques des applications workflow".
    Mention: Bien.

    ENCADREMENTS DE MASTÈRES EN COURS

  • Nom de l’étudiant: Sabrine Fatnassi (FST).
    Sujet : "Vérification par composition des applications workflow".
  • Nom de l’étudiant: Mahassen Soltane (ESSTT).
    Sujet : "Vérification incrémentale des applications workflow ".
  • Nom de l’étudiant: Amina Messaoud (ESSTT).
    Sujet : "Utilisation conjointe de ATOM3 et de NuSMV pour la Vérification des propriétés statiques et dynamiques des applications workflow ".
  • Nom de l’étudiant: Imen Bahrine (ESSTT).
    Sujet : "De la vérification avec NuSMV vers le diagramme d’activités-Localisation des erreurs".

    ENCADREMENTS DE THÈSES EN COURS

  • Nom de l’étudiant : Fathi Essalmi (4ème année).
    Sujet : "Modélisation de concepts de Personnalisation de e-learning".
    (Thèse déposée auprès de la commission).
  • Nom de l’étudiant(e) : Ahlem Ben Younes (4ème année).
    Sujet : "Utilisation conjointe des diagrammes d’activités du langage UML et du B événementiel pour la spécification et la vérification des applications workflow".
  • Nom de l’étudiant(e) : Hlima Hbiri (1ère année).
    Sujet : " Méthodes et outils pour la modélisation des processus d’adaptation de contenus pédagogiques accessibles".
  • Nom de l’étudiant(e) : Amine Achouri (1ère année).
    Sujet : " Mise en place d’une approche pour la transformation de modèles d’applications workflow exploitant les services d’une grille".

    ENCADREMENT DE PROJETS DE FIN D’ÉTUDES

  • Plus de 40 projets de fin d’études Cycle Ingénieur à la Faculté des Sciences de Tunis au Département des Sciences de l’Informatique (depuis 2000).
  • Plus de 40 projets de fin d’études Cycle Maîtrise à la Faculté des Sciences de Tunis au Département des Sciences de l’Informatique (depuis 2000).
  • Encadrement de projets de fin d’études Cycle Licence Fondamentale en Informatique (depuis 2010).

Membres