| | |
Leila Jemni
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 33 |      | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed: A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. COMPSAC Workshops 2011: 243-248 |
| 32 | | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf: Evaluation of Personalization Strategies Based on Fuzzy Logic. ICALT 2011: 254-256 |
| 31 | | Ahlem Ben Younes, Leila Jemni Ben Ayed: An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications. iiWAS 2011: 523-526 |
| 30 | | Olfa Mosbahi, Leila Jemni Ben Ayed, Mohamed Khalgui: A formal approach for the development of reactive systems. Information & Software Technology 53(1): 14-33 (2011) |
| 2010 | ||
| 29 | | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni: An Ontology Based Approach for Selection of Appropriate E-learning Personalization Strategy. ICALT 2010: 724-725 |
| 28 |  | Ahlem Ben Younes, Leila Jemni Ben Ayed: Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. ICSOFT (2) 2010: 312-316 |
| 27 | | Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri: Using AToM3 for the Verification of Workflow Applications. ICSOFT (2) 2010: 32-39 |
| 26 | | Leila Jemni Ben Ayed, Najet Hamdi, Yousra Bendaly Hlaoui: An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B. ICSOFT (2) 2010: 329-332 |
| 25 | | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed: Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. NOTERE 2010: 255-260 |
| 24 | | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk, Sabine Graf: A fully personalization strategy of E-learning scenarios. Computers in Human Behavior 26(4): 581-591 (2010) |
| 2009 | ||
| 23 | | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed: Patterns for Modeling and Composing Workflows from Grid Services. ICEIS 2009: 615-626 |
| 22 | | Fathi Essalmi, Leila Jemni Ben Ayed: Personalization of Learning Scenarios for Programming Languages. ICTA 2009: 269-272 |
| 21 | | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed: An MDA approach for composing grid services workflows. ICTA 2009: 337-344 |
| 20 | | Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi: An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. MSVVEIS 2009: 119-124 |
| 19 | | Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. MSVVEIS 2009: 149-155 |
| 18 | | Ahlem Ben Younes, Leila Jemni Ben Ayed: UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. SERVICES I 2009: 330-333 |
| 17 | | Leila Jemni Ben Ayed, Ahlem Ben Younes: Modeling and Verification of Reactive Systems Using STATEMATE and Event B. I. J. Comput. Appl. 16(4): 200-219 (2009) |
| 16 | | Leila Jemni Ben Ayed, Fatma Siala: Event-B based Verification of Interaction Properties In Multi-Agent Systems. JSW 4(4): 357-364 (2009) |
| 2008 | ||
| 15 | | 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 |
| 14 | | 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 |
| 13 | | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed: Extended UML activity diagram for composing Grid services workflows. CRiSIS 2008: 207-212 |
| 12 | | 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 |
| 11 | | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni, Kinshuk: UML Class Diagram as a Navigational Support for E-Learning. ICALT 2008: 946-948 |
| 10 | | Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed: Event-B based invariant checking of secrecy in group key protocols. LCN 2008: 950-957 |
| 9 | | 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 | ||
| 8 | | Ahlem Ben Younes, Leila Jemni Ben Ayed: Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. COMPSAC (1) 2007: 163-170 |
| 7 | | Fathi Essalmi, Leila Jemni Ben Ayed, Mohamed Jemni: A Multi-Parameters Personalization Approach of Learning Scenarios. ICALT 2007: 90-91 |
| 6 | | Olfa Mosbahi, Leila Jemni, Jacques Jaray: A Formal Approach for the Development of Automated Systems. ICSOFT (SE) 2007: 304-310 |
| 2006 | ||
| 5 | | Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed: Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. AICCSA 2006: 834-841 |
| 4 | | Fathi Essalmi, Leila Jemni Ben Ayed: Graphical UML View from Extended Backus-Naur Form Grammars. ICALT 2006: 544-546 |
| 3 | | 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 | | Mouna Saad, Leila Jemni Ben Ayed: Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. ATVA 2005: 308-322 |
| 2002 | ||
| 1 | | 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 |
| 1 | Amin Ben Brahim Achouri | [27] |
| 2 | Samir Ben Ahmed | [1] |
| 3 | Fathi Essalmi | [4] [7] [11] [22] [24] [29] [32] |
| 4 | Houda Fekih | [3] |
| 5 | Amjad Gawanmeh | [10] |
| 6 | Sabine Graf | [24] [32] |
| 7 | Najet Hamdi | [26] |
| 8 | Yousra Bendaly Hlaoui | [13] [21] [23] [25] [26] [33] |
| 9 | Jacques Jaray | [1] [5] [6] |
| 10 | Mohamed Nidhal Jelassi | [20] |
| 11 | Mohamed Jemni | [7] [11] [24] [29] [32] |
| 12 | Mohamed Khalgui | [30] |
| 13 | Kinshuk | [11] [24] [32] |
| 14 | Stephan Merz | [3] |
| 15 | Olfa Mosbahi | [1] [5] [6] [30] |
| 16 | Mouna Saad | [2] |
| 17 | Fatma Siala | [9] [12] [15] [16] |
| 18 | Sofiène Tahar | [10] |
| 19 | Ahlem Ben Younes | [8] [14] [17] [18] [19] [27] [28] [31] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page