Fatma Siala

14 papers B 1C 6Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2018 C conf
A Monitoring based Multi-Agent Filtering Approach for Web Service Selection.
WEBIST
Raja Bellakhal, Fatma Siala, Khaled Ghédira
2018 — conf
A Multi-Agent Recommender System Using Social Networks.
DTUC
Fatma Siala
2016 J jnl
Stability and Stabilization of Polynomial Fuzzy Systems with Time Delay: New Approach.
Circuits Syst. Signal Process.
Fatma Siala, Hamdi Gassara, Ahmed El Hajjaji, Mohamed Chaabane
2015 C conf
Stability analysis and stabilization of polynomial fuzzy systems with time-delay via a Sum Of Squares (SOS) approach.
ACC
Fatma Siala, Hamdi Gassara, Ahmed El Hajjaji, Mohamed Chaabane
2014 C conf
A Multi-Agent Based Approach for Composite Web Services Simulation.
MEDI
Fatma Siala, Idir Aït-Sadoune, Khaled Ghédira
2014 J jnl
How to select dynamically a QoS-driven composite web service by a multi-agent system using CBR method.
Int. J. Wirel. Mob. Comput.
Fatma Siala, Khaled Ghédira
2013 — conf
Observer based dissipative reliable control for Takagi-Sugeno fuzzy systems with time delay.
MED
Hamdi Gassara, Fatma Siala, Ahmed El Hajjaji, Mohamed Chaabane
2011 C conf
A Multi-Agent selection of Web Service providers driven by composite QoS.
ISCC
Fatma Siala, Khaled Ghédira
2011 C conf
A Multi-agent Selection of Multiple Composite Web Services Driven by QoS.
CLOSER
Fatma Siala, Khaled Ghédira
2011 C conf
Multi-agent selection of multiple composite web services based on CBR method and driven by QoS.
iiWAS
Fatma Siala, Soufiene Lajmi, Khaled Ghédira
2009 J jnl
Event-B based Verification of Interaction Properties In Multi-Agent Systems.
J. Softw.
Leila Jemni Ben Ayed, Fatma Siala
2008 — conf
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
MSVVEIS
Leila Jemni Ben Ayed, Fatma Siala
2008 B conf
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
COMPSAC
Leila Jemni Ben Ayed, Fatma Siala
2008 — conf
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
DSV-IS
Leila Jemni Ben Ayed, Fatma Siala
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski