Benoit Gaudin

According to our database, Benoit Gaudin authored at least 22 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance.

Benoit Gaudin, Mike Hinchey, Emil Vassev, Paddy Nixon, João Coelho Garcia, Walid Maalej

Scalable Comput. Pract. Exp., 2012

Knowledge representation for self-adaptive behavior.

Emil Vassev, Mike Hinchey, Benoit Gaudin

Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

Supervisory control for software runtime exception avoidance.

Benoit Gaudin, Paddy Nixon

Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, 2012

2011

Software Maintenance through Supervisory Control.

Benoit Gaudin, Alessandra Bagnato

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Execution Trace Exploration and Analysis Using Ontologies.

Newres Al Haider, Benoit Gaudin, John Murphy

Proceedings of the Runtime Verification - Second International Conference, 2011

A control theory based approach for self-healing of un-handled runtime exceptions.

Benoit Gaudin, Emil Vassev, Patrick Nixon, Michael G. Hinchey

Proceedings of the 8th International Conference on Autonomic Computing, 2011

Self-Healing Approach in the FastFix Project.

Benoit Gaudin, Mike Hinchey

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles.

Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon

Proceedings of the Fourth International C* Conference on Computer Science & Software Engineering, 2011

2010

An approach for modeling dynamic analysis using ontologies.

Newres Al Haider, Paddy Nixon, Benoit Gaudin

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

2009

Sensing Handshakes for Social Network Development.

David Haddock, Aaron J. Quigley, Benoit Gaudin

Proceedings of the Artificial Intelligence and Cognitive Science - 20th Irish Conference, 2009

2008

A relation based measure of semantic similarity for Gene Ontology annotations.

Brendan Sheehan, Aaron J. Quigley, Benoit Gaudin, Simon Dobson

BMC Bioinform., 2008

Supervisory control of modular systems with global specification languages.

Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand

Autom., 2008

Interactive Structural Clustering of Graphs based on Multi-Representations.

Benoit Gaudin, Aaron J. Quigley

Proceedings of the 12th International Conference on Information Visualisation, 2008

2007

Imposing Hierarchy on a Graph.

Brendan Sheehan, Benoit Gaudin, Aaron J. Quigley

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.

Benoit Gaudin, Hervé Marchand

Discret. Event Dyn. Syst., 2007

Supervisory Control on Concurrent Discrete Event Systems with Variables.

Benoit Gaudin, Peter H. Deussen

Proceedings of the American Control Conference, 2007

2005

Modular Supervisory Control with General Indecomposable Specification Languages.

Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems.

Benoit Gaudin, Hervé Marchand

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach.

Benoit Gaudin, Hervé Marchand

Proceedings of the Intelligent Control, 2005

2004

Supervisory Control of Product and Hierarchical Discrete Event Systems.

Benoit Gaudin, Hervé Marchand

Eur. J. Control, 2004

2003

Modular supervisory control of asynchronous and hierarchical finite state machines.

Benoit Gaudin, Hervé Marchand

Proceedings of the 7th European Control Conference, 2003

2002

Supervisory control problems of hierarchical finite state machines.

Hervé Marchand, Benoit Gaudin

Proceedings of the 41st IEEE Conference on Decision and Control, 2002