Presentation Research activity Members InternationalCooperation Publications list Projects News

Members

  Leila JEMNI BEN AYED

 "Picture of Mr Fathi ESSALMI"

 Identity:

Leila JEMNI BEN AYED

Associate-Professor in Higher National Scool of Computer Science                           

Member of research Unit UTIC

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

My Entry to DBLP:

ACADEMIC QUALIFICATIONS:

  • PhD in Computer Science

o Faculty of Sciences Tunis-Institute National Polytechnique de LORRAINE : 2000
o Subject: Specification and Verification of Real-Time Systems.

  • Principal Engineer in Computer Science (Faculty Science of Tunis) : 1994

RESEARCH TOPICS:

  • Integration of formal and semi formal

  • Modeling applications on grids

  • Modeling concepts of e-learning.

PUBLICATIONS:

    1. HABILITATION

    [1] L. Jemni Ben Ayed , Approaches to the specification and verification of reactive systems integrating formal and semi-formal, Faculty of Sciences of Management and Economic Sciences of Sfax, February 2009.

    2. THESIS

    [2] L. Jemni Ben Ayed, A formal approach for specification and verification of real-time systems, Facult des Sciences de Tunis - Institut National Polytechnique de Lorraine, in February 2000.

    3. ARTICLES IN JOURNALS

    [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, December 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, July 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", June 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", June 2007.

    4. ARTICLES IN LNCS (LECTURE NOTES IN COMPUTER SCIENCE)

    [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 IN CONFERENCES 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)", Tunisia 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, October 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, July 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, July 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, July 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, July 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, July 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 gramMarch, The 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), pp 544-546", Kerkrade, The Netherlands, July 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, April 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, April 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, March 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, March 2004.

    6. PUBLICATIONS IN INTERNATIONAL CONFERENCES  

    [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), Greece , 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, May 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, July 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, Tunisia, June 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", Italy, 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, Italy, 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, Tunisia, 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, June 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, Italy , December 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, April 2007.
    [42] F. Essalmi & L. Jemni Ben Ayed, "Ordered Graphical UML View from Extended Backus-Naur Form gramMarch, 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, March 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, April 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, September 1997 97-R-211.

    7. PUBLICATIONS IN NATIONAL CONFERENCES

    [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", March 2003.
    [50] L. Jemni, J. Jaray & A. Mahjoub, "Specifying postponed effects properties in Real-Time Systems, Journées Tunisiannes en Electroniques et Automatique (JTEA 1998)", Nabeul, Tunisia, November 1998.

    CO-SUPERVISION OF PHD

  • Name of student(e) : Olfa Mosbahi
    Titre de la thèse : "Développement Formel des Systèmes Automatises".
    Thèse en Cotutelle FST – LORIA Nancy, co-encadrée widh Prof Samir BEN AHMED et Prof Jacques JARAY.
    Date de la soutenance : February 2008.
  • Name of student(e) : Yousra Hlaoui Ben Daly
    Subject : "Une approche pour la Modélisation par composition des applications workflow à partir de services de grilles".
    Co-encadrement avec Prof Mohamed JEMNI
    Date de la soutenance : December 2010.

    SUPERVISION OF DEA AND MASTERS

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

    SUPERVISION OF MASTERS IN PROGRESS

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

    SUPERVISION OF THESES IN PROGRESS

  • Name of student : Fathi Essalmi (4ème année).
    Subject : "Modélisation de concepts de Personnalisation de e-learning".
    (Thèse déposée auprès de la commission).
    Co-encadrement avec Prof Mohamed JEMNI.
  • Name of student(e) : Ahlem Ben Younes (4ème année).
    Subject : "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".
  • Name of student(e) : Hlima Hbiri (1ère année).
    Subject : " Méthodes et outils pour la modélisation des processus d’adaptation de contenus pédagogiques accessibles".
  • Name of student(e) : Amine Achouri (1ère année).
    Subject : " Mise en place d’une approche pour la transformation de modèles d’applications workflow exploitant les services d’une grille".

    SUPERVISION PROJECT GRADUATION

  • More than 40 projects Graduation Graduate School, Faculty of Sciences of Tunis, Department of Computer Sciences (since 2000).
  • More than 40 projects Graduation Cycle Control at the Faculty of Sciences of Tunis, Department of Computer Sciences (since 2000).
  • SUPERVISION project graduation Round Basic License in Computer Science (since 2010).

Membres