Safety Problems in Access Control with Temporal Constraints. - Philippe Balbiani; Fahima Cheikh (MMM-ACNS, 2005)

Automatic web services composition in trustaware communities. - Fahima Cheikh; Giuseppe De Giacomo; Massimo Mecella (SWS, 2006)

Composition of Interactive Web Services Based on Controller Synthesis. - Philippe Balbiani; Fahima Cheikh; Guillaume Feuillade (SERVICES I, 2008)

Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. - Philippe Balbiani; Fahima Cheikh; Guillaume Feuillade (ICE@ICALP, 2008)

Automatic Service Composition via Simulation. - Daniela Berardi; Fahima Cheikh; Giuseppe De Giacomo; Fabio Patrizi (Int. J. Found. Comput. Sci., 2008)

Composition of Services with Constraints. - Philippe Balbiani; Fahima Cheikh Alili; Pierre-Cyrille Héam; Olga Kouchnarenko (FACS@FMWeek, 2009)

Controller/Orchestrator Synthesis via Filtration. - Philippe Balbiani; Fahima Cheikh; Guillaume Feuillade (M4M, 2009)

Composition de services: algorithmes et complexité. (Composition of services: algorithmes and complexity). - Fahima Cheikh Alili (2009)

A Symbolic Approach for Counterfactual Explanations. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (SUM, 2020)

On the Decidability of a Fragment of preferential LTL. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (TIME, 2020)

ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (CIKM, 2021)

A One-Pass Tree-Shaped Tableau for Defeasible LTL. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (TIME, 2021)

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (CoRR, 2022)

Symbolic Explanations for Multi-Label Classification. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (ICAART (3), 2023)

Defeasible linear temporal logic. - Anasse Chafik; Fahima Cheikh Alili; Jean-François Condotta; Ivan Varzinczak (J. Appl. Non Class. Logics, 2023)