Reachability in Conditional Term Rewriting Systems. - Guillaume Feuillade; Thomas Genet (FTP, 2003)

Reachability Analysis over Term Rewriting Systems. - Guillaume Feuillade; Thomas Genet; Valérie Viet Triem Tong (J. Autom. Reason., 2004)

Modal Specifications for the Control Theory of Discrete Event Systems. - Guillaume Feuillade; Sophie Pinchinat (Discret. Event Dyn. Syst., 2007)

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)

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

Trust in complex actions. - Julien Bourdon; Guillaume Feuillade; Andreas Herzig; Emiliano Lorini (ECAI, 2010)

Modal Specifications for Composition of Agent Behaviors. - Hikmat Farhat; Guillaume Feuillade (ICAART (1), 2014)

Trust-based Personal Information Management in SOA. - Guillaume Feuillade; Andreas Herzig; Seifeddine Kramdi (ICAART (1), 2014)

A Dynamic View of Active Integrity Constraints. - Guillaume Feuillade; Andreas Herzig (JELIA, 2014)

On-the-fly algorithm for the service composition problem. - Hikmat Farhat; Guillaume Feuillade (NTMS, 2015)

Repairing ABoxes through Active Integrity Constraints. - Christos Rantsoudis; Guillaume Feuillade; Andreas Herzig (Description Logics, 2017)

A Dynamic Extension of ALCO for Repairing via Preferred Updates. - Guillaume Feuillade; Andreas Herzig; Christos Rantsoudis (Description Logics, 2018)

A Dynamic Logic Account of Active Integrity Constraints. - Guillaume Feuillade; Andreas Herzig; Christos Rantsoudis (Fundam. Informaticae, 2019)

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes. - Guillaume Feuillade; Andreas Herzig; Christos Rantsoudis (Description Logics, 2020)

Database Repair via Event-Condition-Action Rules in Dynamic Logic. - Guillaume Feuillade; Andreas Herzig; Christos Rantsoudis (FoIKS, 2022)