Guillaume Feuillade

16 papers A 1B 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2022 — conf
Database Repair via Event-Condition-Action Rules in Dynamic Logic.
FoIKS
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2020 — conf
Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes.
Description Logics
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2019 J jnl
A Dynamic Logic Account of Active Integrity Constraints.
Fundam. Informaticae
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2018 — conf
A Dynamic Extension of ALCO for Repairing via Preferred Updates.
Description Logics
Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2017 — conf
Repairing ABoxes through Active Integrity Constraints.
Description Logics
Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
2015 — conf
On-the-fly algorithm for the service composition problem.
NTMS
Hikmat Farhat, Guillaume Feuillade
2014 B conf
A Dynamic View of Active Integrity Constraints.
JELIA
Guillaume Feuillade, Andreas Herzig
2014 — conf
Modal Specifications for Composition of Agent Behaviors.
ICAART (1)
Hikmat Farhat, Guillaume Feuillade
2014 — conf
Trust-based Personal Information Management in SOA.
ICAART (1)
Guillaume Feuillade, Andreas Herzig, Seifeddine Kramdi
2010 A conf
Trust in complex actions.
ECAI
Julien Bourdon, Guillaume Feuillade, Andreas Herzig, Emiliano Lorini
2009 — conf
Controller/Orchestrator Synthesis via Filtration.
M4M
Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
2008 — conf
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition.
ICE@ICALP
Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
2008 — conf
Composition of Interactive Web Services Based on Controller Synthesis.
SERVICES I
Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade
2007 J jnl
Modal Specifications for the Control Theory of Discrete Event Systems.
Discret. Event Dyn. Syst.
Guillaume Feuillade, Sophie Pinchinat
2004 J jnl
Reachability Analysis over Term Rewriting Systems.
J. Autom. Reason.
Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong
2003 — conf
Reachability in Conditional Term Rewriting Systems.
FTP
Guillaume Feuillade, Thomas Genet