Benoit Gaudin

22 papers B 1C 4Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2012 J jnl
FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance.
Scalable Comput. Pract. Exp.
Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej
2012 — conf
Knowledge representation for self-adaptive behavior.
C3S2E
Emil Vassev, Mike Hinchey, Benoit Gaudin
2012 — conf
Supervisory control for software runtime exception avoidance.
C3S2E
Benoit Gaudin, Paddy Nixon
2011 — conf
A control theory based approach for self-healing of un-handled runtime exceptions.
ICAC
Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey
2011 B conf
Execution Trace Exploration and Analysis Using Ontologies.
RV
Newres Al Haider, Benoit Gaudin, John Murphy
2011 — conf
Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles.
C3S2E
Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon
2011 C conf
Self-Healing Approach in the FastFix Project.
FedCSIS
Benoit Gaudin, Mike Hinchey
2011 C conf
Software Maintenance through Supervisory Control.
SEW
Benoit Gaudin, Alessandra Bagnato
2010 — conf
An approach for modeling dynamic analysis using ontologies.
WODA
Newres Al Haider, Paddy Nixon, Benoit Gaudin
2009 — conf
Sensing Handshakes for Social Network Development.
AICS
David Haddock, Aaron J. Quigley, Benoit Gaudin
2008 J jnl
A relation based measure of semantic similarity for Gene Ontology annotations.
BMC Bioinform.
Brendan Sheehan, Aaron J. Quigley, Benoit Gaudin, Simon Dobson
2008 C conf
Interactive Structural Clustering of Graphs based on Multi-Representations.
IV
Benoit Gaudin, Aaron J. Quigley
2008 J jnl
Supervisory control of modular systems with global specification languages.
Autom.
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
2007 J jnl
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.
Discret. Event Dyn. Syst.
Benoit Gaudin, Hervé Marchand
2007 J jnl
Imposing Hierarchy on a Graph.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Brendan Sheehan, Benoit Gaudin, Aaron J. Quigley
2007 C conf
Supervisory Control on Concurrent Discrete Event Systems with Variables.
ACC
Benoit Gaudin, Peter H. Deussen
2005 — conf
Modular Supervisory Control with General Indecomposable Specification Languages.
CDC/ECC
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
2005 — conf
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach.
ISIC
Benoit Gaudin, Hervé Marchand
2005 — conf
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems.
CDC/ECC
Benoit Gaudin, Hervé Marchand
2004 J jnl
Supervisory Control of Product and Hierarchical Discrete Event Systems.
Eur. J. Control
Benoit Gaudin, Hervé Marchand
2003 — conf
Modular supervisory control of asynchronous and hierarchical finite state machines.
ECC
Benoit Gaudin, Hervé Marchand
2002 — conf
Supervisory control problems of hierarchical finite state machines.
CDC
Hervé Marchand, Benoit Gaudin