|
Members
Leila JEMNI BEN AYED |
 |
Identity:
Leila JEMNI BEN AYED
Assistant-professor
Member of research Unit UTIC
E-mail : Leila.jemni@fsegt.rnu.tn
My Entry to DBLP:
Academic qualifications:
| o Faculty of Sciences Tunis-Institute National Polytechnique de LORRAINE : 2000 |
| o Subject: Specification and Verification of Real-Time Systems. |
Research Topics:
PUBLICATIONS:
- 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.
- 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.
- Leila Jemni Ben Ayed and Fatma Siala, Event-B based Verification of Interaction Properties In Multi-Agent Systems, JOURNAL OF SOFTWARE, Vol. 4, No. 4, Pages: 357-364, June 2009.
- L. Jemni Ben Ayed & A. Ben Younes, Modeling and Verification of Reactive Systems Using Event STATEMATE and B, International Journal of Computers and Their Applications - (Submitted in February 2007, revised in June 2008, accepted in October 2008, will appear in December 2009).
- 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 (IJITST) - (apparaitra en 2009).
- L. Jemni Ben Ayed & Y. Hlaoui Ben Daly, From STATEMATE to FNLOG Specification for the Verification of Reactive Systems, International Journal of Soft Computing Applications IJCSA - Issue 1 (2007) pp 62-74 - ISSN: 1453-2277.
- 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.
- 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.
- 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.
- Y. Ben Daly Hlaoui & L. Jemni Ben Ayed, Patterns for the Composition of Grid Services Based on UML Activity Diagrams, 11th International Conference on Enterprise Information Systems - ICEIS 09, May 2009 Milan, Italy.
- 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), Montreal Octobre 2008.
- F. Essalmi, L. Jemni Ben Ayed, M. Jemni & Kinshuk, UML Class Diagram as a Navigational Support for E-Learning", 8th IEEE International Conference on Advanced Learning Technologies ICALT08, Espagne, Juillet 2008.
- A. Ben Younes & L. Jemni Ben Ayed, From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications, 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), pp. 643-648, IEEE Computer Society, 2008.
- Y. Hlaoui Ben Daly & L. Jemni Ben Ayed, Toward an UML_based composition of Grid Services, Proceedings of the International Conference on Pervasive Services
Agent-Oriented Software Engineering Challenges for Ubiquitous and Pervasive Computing Workshop ACM ICPS/AUPC'08), Sorrento, Italy, Juillet 2008.
- A. Ben Younes & L. Jemni Ben Ayed, Using UML Activity Diagrams and Event B for Distributed and Parallel Applications, 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC 2007), pp.163-170, Beijing, Chine 2007.
- 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, Niigata, Japan, Juillet 2007.
- 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.
- 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'07), pp 1801 - 1806 Singapore, 2007.
- F. Essalmi & L. Jemni Ben Ayed, Graphical UML View from Extended Backus-Naur Form grammars, The 6th IEEE International Conference on Advanced Learning Technologies, pp. 544-546, Kerkrade, The Netherlands, Juillet 2006.
- O. Mosbahi, J. Jaray & L. Jemni Ben Ayed, A formal development approach 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'06, Dubai, Mars 2006.
- 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, Syria.
- H. Fekih, L. Jemni Ben Ayed & S. Merz, Transformation of B Specifications into UML Class Diagrams and State Machines, 21st Annual ACM Symposium on Applied Computing - SAC 2006, Vol. 2, pp. 1840-1844, Dijon, Avril 2006.
- 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, Tunisia, Mars 2004.
- 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).
- 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.
- O. Mosbahi, L. Jemni & J. Jaray, A formal approach for the development of automated systems, 2nd International Conference on Software and Data Technology ICSOFT 07, Barcelone, 2007.
- 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, Decembre 2007.
- F. Essalmi, L. Jemni Ben Ayed & M. Jemni, Personalization of Learning Scenarios for E-Learning, 2nd International Conference on Interactive Mobile and Computer aided Learning, Princess Sumaya University for Technology, Amman, Jordan, Avril 2007.
- O. Mosbahi & L. Jemni, Joint use of the event B method and temporal logic TLA + for modeling and verification of reactive systems, Modeling, Optimization and Simulation Systems, MOSIM 06, Rabat, 2006.
- O. Mosbahi, L. Jemni & J. Jaray, A formal development approach of automated systems using the temporal logic of actions TLA+, MOdélisation, Optimisation et SIMulation des Systèmes, MOSIM 06, Rabat, 2006.
- F. Essalmi & L. Jemni Ben Ayed, Ordered Graphical UML View from Extended Backus-Naur Form grammars, Fifth International Internet Education Conference, ICT-Learn, Caire, Egypte, 2006.
- 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, Caire, Mars 2005.
- H. Fekih, L. Jemni Ben Ayed & S. Merz, Transformation of B specifications into UML diagrams, AFADL In: Formal Approaches in Support of software development, pp. 131-145, France, 2004.
- L. Jemni Ben Ayed, O. Mosbahi & S. Ben Ahmed, A technical specification and validation based on STATEMATE and FNLOG, 4th Francophone Conference of modeling and simulation (MOSIM'03), pp 48-54, Toulouse, France, April 2003.
- L. Jemni, A. Mahjoub & Jacques Jaray. Historical Consequence and Postponed Effects in Real-Time Systems, IFAC International Symposium on Artificial Intelligence in Real-Time Control, Kuala Lumpur, Malaysie sep 1997 97-R-211.
- [37] F. Charfi, L. Jemni Ben Ayed, S. Tahar and S. Ben Ahmed, An Approach translating CoD to be Checked by UPPAAL, Proc. of GEI'2003, pp 57-65, Mars 2003.
- L. JEMNI, J. JARAY & A. Mahjoub, Specifying postponed effects properties in Real-Time Systems, JTEA - Journées Tunisiennes en Electroniques et Automatique, Nabeul, Tunisie, November 1998.
|
