Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

21 résultats
Page :
triés par
Image document

On the Fly Algorithm for the Service Composition Problem

 Hikmat Farhat , Guillaume Feuillade
7th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2015), Jul 2015, Paris, France. pp.1-6, ⟨10.1109/NTMS.2015.7266511⟩
Communication dans un congrès hal-03198232v1

Controller/orchestrator synthesis via filtration

 Philippe Balbiani , Fahima Cheikh , Guillaume Feuillade
6th Workshop on Methods for Modalities (M4M 2009), Nov 2009, Copenhague, Denmark. pp.33--48, ⟨10.1016/j.entcs.2010.04.004⟩
Communication dans un congrès hal-03994854v1
Image document

Trust-based personal information management in SOA

 Guillaume Feuillade , Andreas Herzig , Kramdi Seifeddine
International Conference on Agents and Artificial Intelligence - ICAART 2014, Mar 2014, Angers, France. pp. 667-672
Communication dans un congrès hal-01188251v1
Image document

Modal Specifications for Composition of Agent Behaviors

 Hikmat Farhat , Guillaume Feuillade
6th International Conference on Agents and Artificial Intelligence (ICAART 2014), Mar 2014, Anger, France. pp.437-444, ⟨10.5220/0004817804370444⟩
Communication dans un congrès hal-04081399v1
Image document

Reachability Analysis over Term Rewriting Systems

 Guillaume Feuillade , Thomas Genet , Valérie Viet Triem Tong
[Research Report] RR-4970, INRIA. 2003
Rapport inria-00071609v1
Image document

Trust in complex actions (ESSLLI 2010)

 Julien Bourdon , Guillaume Feuillade , Andreas Herzig , Emiliano Lorini
Workshop Logics in Security @ 22rd European Summer School in Logic, Language and Information (ESSLLI 2010), Aug 2010, Copenhagen, Denmark
Communication dans un congrès hal-03470307v1

Automata synthesis by asynchronous orchestration with applications to web services composition

 Philippe Balbiani , Fahima Cheikh Alili , Guillaume Feuillade
1st Workshop on Interaction and Concurrency Experience (ICE 2008), Jul 2008, Reykjavik, Iceland. pp.3--18
Communication dans un congrès hal-03997678v1
Image document

Database Repair via Event-Condition-Action Rules in Dynamic Logic

 Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis
12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2022), Jun 2022, Helsinki, Finland. pp.75-92, ⟨10.1007/978-3-031-11321-5_5⟩
Communication dans un congrès hal-03818471v1

Spécifications modales de réseaux de Petri

 Guillaume Feuillade , Sophie Pinchinat
Journal Européen des Systèmes Automatisés (JESA), 2005, 39 (1)
Article dans une revue inria-00556005v1
Image document

Résultats de complexité pour le problème de la composition d'agents

 Philippe Balbiani , Fahima Cheikh Alili , Guillaume Feuillade
5èmes Journées francophones sur les Modèles Formels d'Interactions (MFI 2009), Jun 2009, Lannion, France. pp.25--34
Communication dans un congrès hal-03997679v1
Image document

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

 Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis
33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10
Communication dans un congrès hal-03015763v1
Image document

Modal specifications are a syntactic fragment of the Mu-calculus

 Guillaume Feuillade
[Research Report] RR-5612, INRIA. 2005, pp.17
Rapport inria-00070396v1
Image document

Modal specifications are a syntactic fragment of the Mu-calculus

 Guillaume Feuillade
[Research Report] PI 1729, 2005, pp.17
Rapport inria-00000139v1

Modal Specifications for the Control Theory of Discrete Event Systems

 Guillaume Feuillade , Sophie Pinchinat
Discrete Event Dynamic Systems, 2007, 17 (2), pp.211-232
Article dans une revue inria-00555754v1
Image document

A dynamic view of active integrity constraints

 Guillaume Feuillade , Andreas Herzig
14th European Conference on Logics in Artificial Intelligence (JELIA), Sep 2014, Madeira, Portugal. pp. 486-499
Communication dans un congrès hal-01159678v1
Image document

Trust in complex actions (ECAI 2010)

 Julien Bourdon , Guillaume Feuillade , Andreas Herzig , Emiliano Lorini
19th European Conference on Artificial Intelligence (ECAI 2010), Aug 2010, Lisbon, Portugal. pp.1037-1038, ⟨10.3233/978-1-60750-606-5-1037⟩
Communication dans un congrès hal-03470308v1
Image document

Composition of Interactive Web Services Based on Controller Synthesis.

 Philippe Balbiani , Fahima Cheikh Alili , Guillaume Feuillade
2nd International Workshop on Web Service Composition and Adaptation (WSCA 2008), Jul 2008, Honolulu, United States. pp.521--528, ⟨10.1109/SERVICES-1.2008.11⟩
Communication dans un congrès hal-04000444v1
Image document

Considérations relatives à la décidabilité et à la complexité du problème de la composition de services

 Philippe Balbiani , Fahima Cheikh Alili , Guillaume Feuillade
4èmes journées francophones sur les Modèles Formels d'Interactions (MFI 2007), May 2007, Paris, France. pp.261--268
Communication dans un congrès hal-04002010v1
Image document

A Dynamic Extension of ALCO for Repairing via Preferred Updates

 Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis
International Workshop on Description Logics (DL workshop 2018), Oct 2018, Tempe, United States. pp.1-13
Communication dans un congrès hal-02147891v1
Image document

Repairing ABoxes through Active Integrity Constraints

 Christos Rantsoudis , Guillaume Feuillade , Andreas Herzig
30th International Workshop on Description Logics (DL 2017), Jul 2017, Montpellier, France. pp.1-13
Communication dans un congrès hal-02064232v1
Image document

A Dynamic Logic Account of Active Integrity Constraints

 Guillaume Feuillade , Andreas Herzig , Christos Rantsoudis
Fundamenta Informaticae, 2019, 169 (3), pp.179-210. ⟨10.3233/FI-2019-1843⟩
Article dans une revue hal-02891607v1
Page :