| 2009 |
|---|
| 14 | EE | Yousra Bendaly Hlaoui,
Leila Jemni Ben Ayed:
Patterns for Modeling and Composing Workflows from Grid Services.
ICEIS 2009: 615-626 |
| 2008 |
|---|
| 13 | EE | Leila Jemni Ben Ayed,
Fatma Siala:
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
COMPSAC 2008: 581-584 |
| 12 | EE | Ahlem Ben Younes,
Leila Jemni Ben Ayed:
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.
COMPSAC 2008: 643-648 |
| 11 | EE | Leila Jemni Ben Ayed,
Fatma Siala:
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
DSV-IS 2008: 102-107 |
| 10 | EE | Fathi Essalmi,
Leila Jemni Ben Ayed,
Mohamed Jemni,
Kinshuk:
UML Class Diagram as a Navigational Support for E-Learning.
ICALT 2008: 946-948 |
| 9 | EE | Amjad Gawanmeh,
Sofiène Tahar,
Leila Jemni Ben Ayed:
Event-B based invariant checking of secrecy in group key protocols.
LCN 2008: 950-957 |
| 8 | | Leila Jemni Ben Ayed,
Fatma Siala:
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
MSVVEIS 2008: 190-198 |
| 2007 |
|---|
| 7 | EE | Ahlem Ben Younes,
Leila Jemni Ben Ayed:
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications.
COMPSAC (1) 2007: 163-170 |
| 6 | EE | Fathi Essalmi,
Leila Jemni Ben Ayed,
Mohamed Jemni:
A Multi-Parameters Personalization Approach of Learning Scenarios.
ICALT 2007: 90-91 |
| 5 | | Olfa Mosbahi,
Leila Jemni,
Jacques Jaray:
A Formal Approach for the Development of Automated Systems.
ICSOFT (SE) 2007: 304-310 |
| 2006 |
|---|
| 4 | EE | Fathi Essalmi,
Leila Jemni Ben Ayed:
Graphical UML View from Extended Backus-Naur Form Grammars.
ICALT 2006: 544-546 |
| 3 | EE | Houda Fekih,
Leila Jemni Ben Ayed,
Stephan Merz:
Transformation of B specifications into UML class diagrams and state machines.
SAC 2006: 1840-1844 |
| 2005 |
|---|
| 2 | EE | Mouna Saad,
Leila Jemni Ben Ayed:
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.
ATVA 2005: 308-322 |
| 2002 |
|---|
| 1 | EE | Olfa Mosbahi,
Leila Jemni Ben Ayed,
Samir Ben Ahmed,
Jacques Jaray:
A Specification and Validation Technique Based on STATEMATE and FNLOG.
ICFEM 2002: 216-220 |
