Guillaume Feuillade

Statistics

Publications

Citations

152

H-Index

Active since

2003

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

École Normale Supérieure Paris-Saclay

Université Toulouse III - Paul Sabatier

Université de Rennes

Guillaume Feuillade is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal methods, computer science, and computing.

Publications per year

2003–2008

Publications

Reachability Analysis over Term Rewriting Systems

Guillaume Feuillade, Thomas Genet, Val�rie Viet Triem Tong · Journal of Automated Reasoning · 2004 · 87 citations · Full text

Computing, Computer Science, Formal Methods +6

Modal Specifications for the Control Theory of Discrete Event Systems

Guillaume Feuillade, Sophie Pinchinat · Discrete Event Dynamic Systems · 2007 · 29 citations

Engineering, Systems Engineering, Dynamical Systems +11

Composition of Interactive Web Services Based on Controller Synthesis

Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade · 2008 · 26 citations · Full text

Computing, Computer Science, Systems Engineering +16

Reachability in Conditional Term Rewriting Systems

Guillaume Feuillade, Thomas Genet · Electronic Notes in Theoretical Computer Science · 2003 · 10 citations · Full text

Computing, Computer Science, Algorithms +11

1–4 of 4