| 2011 | ||
|---|---|---|
| c6 | Fatma Siala, Khaled Ghédira: A Multi-agent Selection of Multiple Composite Web Services Driven by QoS. CLOSER 2011: 675-684 | |
| c5 | Fatma Siala, Soufiene Lajmi, Khaled Ghédira: Multi-agent selection of multiple composite web services based on CBR method and driven by QoS. iiWAS 2011: 90-97 | |
| c4 | Fatma Siala, Khaled Ghédira: A Multi-Agent selection of Web Service providers driven by composite QoS. ISCC 2011: 55-60 | |
| 2009 | ||
| j1 | Leila Jemni Ben Ayed, Fatma Siala: Event-B based Verification of Interaction Properties In Multi-Agent Systems. JSW 4(4): 357-364 (2009) | |
| 2008 | ||
| c3 | 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 | |
| c2 | 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 | |
| c1 | 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 | |
| 1 | Leila Jemni Ben Ayed (Leila Jemni) | |
| 2 | Khaled Ghédira | |
| 3 | Soufiene Lajmi |
Data released under the ODC-BY 1.0 license — See also our legal information page