Members   Leila JEMNI BEN AYED

 Identity

Leila JEMNI BEN AYED

Assistant-professor                           

Member of research Unit UTIC

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

Academic qualifications:

•  PH-D in Computer Science ( Faculty of  Sciences of Tunis) : 2000.

•  Engineer Diploma in Computer Science (Faculty of Sciences of Tunis)  :1994.

Research Topic:

•    Specification and verification of complex reactive systems

•    Integration of formal and semi-formal methods

• B-UML

• B-Statemate

• Statemate-Fnlog

•   Composition of specifications

•   Interfacing temporal logic to ModelCheker (DC-UPPAAL)

Publications:

• Ahlem Ben Younes, Leila Jemni Ben Ayed, Using UML Activity Diagrams and Event B for Distributed and Parallel Applications, In the 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China, Volume 1, pp.163-170. IEEE Computer Society 2007, ISBN :  978-0-7695-2870-0.

• Fathi Essalmi ,  Leila Jemni Ben Ayed , Mohamed Jemni, A Multi-Parameters Personalization Approach of Learning Scenarios, The 7th IEEE International Conference on Advanced Learning Technologies, July 2007, Niigata, Japan.

• Fathi Essalmi & Leila Jemni Ben Ayed, Ordered Graphical UML View from Extended Backus-Naur Form grammars, Fifth  International Internet Education Conference, Cairo, Egypt, 2006.

• Fathi Essalmi & Leila Jemni Ben Ayed, Graphical UML View from Extended Backus-Naur Form grammars, The 6th IEEE International Conference on Advanced Learning Technologies, July 5-7, 2006, Kerkrade, The Netherlands.

• 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 , April 2006, Syria.

• H. FEKIH, L. JEMNI BEN AYED, S. MERZ, « Transformation of B specifications into UML class diagrams and State Machines», 21 st Annual ACM Symposium on Applied Computing, 23-27 Avril 2006, Dijon, France.

•  O. Mosbahi, J. JARAY and L. JEMNI BEN AYED « Formal development method of control systems using the event based B approach Case Study : A parcel sorting device »,  ACS/IEEE International Conference on Computer Systems and Applications (AICCSA’06), Dubai , Mars 2006.

•  O. Mosbahi, L. JEMNI BEN AYED, « 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 », Conférence francophone de modélisation et de simulation MOSIM 06, Morocco , april 2006.

•  L. JEMNI BEN AYED, Olfa MOSBAHI , Combining STATEMATE and FNLOG for the specification and the verification of complex real time systems , GESTS International Transactions on Computer Science and Engineering, Vol.18 No.1., October 2005.

•  O. Mosbahi, L. JEMNI  « A formal development approach of control systems using the event based B approach », INFOS 2005, USA.

•   M. Saad, L. JEMNI BEN AYED, "Introducing Dynamic Properties with past temporal operators in the B refinement", Third International symposium on Automated Technology for Verification and analysis, ATVA 05, LNCS 3707, p 308-322 , Taiwan, October 2005.

•  H. Fekih, L. Jemni, and S. Merz. Transformation des spécifications B en des diagrammes UML. In AFADL : Approches Formelles dans l’Assistance au développement de logiciels, p 131–145, Besançon, France, July 16-18 2004.

•  L. JEMNI, J. JARAY, “An Interval Point Duration Temporal Logic for the modeling of real time systems”, IEEE/ISCCSP, First International Symposium on control, communication and signal processing, Hammamet, Tunisia, March 2004.

•  L. JEMNI, O. Mosbahi and 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), p 48-54, Toulouse, France, April 2003.

• Leila Jemni Ben Ayed, "IPDTL : An expressive logic for the modeling of real-time systems", International Arab Conference ACIT 2003, Decdember 2003, Egypt.

•  O. MESBAHI, L. JEMNI, S. BEN AHMED, J. JARRAY «A specification and validation technique based on STATEMATE an FNLOG», 4th International Conference on Formal Engineering Methods, Formal Method and Software Engineering, LNCS 2495, p 216-222, China, October 2002.

•  L. JEMNI et J. JARAY, « Specifying Historical Consequence and Postponed Effects Properties in Real-Time Systems », IASTED – MIC – International  Conference on Modelling, Identification and Control, Innsbruck – Austria, February 1999.

• L. JEMNI, J. JARAY et A. MAHJOUB, Specifying postponed effects properties in Real-Time Systems, JTEA – Journees Tunisiennes en Electroniques et Automatique, Nabeul, Tunisia, November 1998.