A relation based measure of semantic similarity for Gene Ontology annotations B Sheehan, A Quigley, B Gaudin, S Dobson BMC bioinformatics 9, 1-26, 2008 | 53 | 2008 |
Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models K Schmidt, H Marchand, B Gaudin 2006 8th International Workshop on Discrete Event Systems, 149-154, 2006 | 52 | 2006 |
Supervisory control problems of hierarchical finite state machines H Marchand, B Gaudin Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 2 …, 2002 | 37 | 2002 |
Supervisory control of modular systems with global specification languages J Komenda, JH van Schuppen, B Gaudin, H Marchand Automatica 44 (4), 1127-1134, 2008 | 35 | 2008 |
Modular supervisory control of a class of concurrent discrete event systems B Gaudin, H Marchand IFAC Proceedings Volumes 37 (18), 177-182, 2004 | 35 | 2004 |
Knowledge representation for self-adaptive behavior E Vassev, M Hinchey, B Gaudin Proceedings of the Fifth International C* Conference on Computer Science and …, 2012 | 28 | 2012 |
Supervisory control of product and hierarchical discrete event systems B Gaudin, H Marchand European Journal of Control 10 (2), 131-145, 2004 | 28 | 2004 |
Supervisory control on concurrent discrete event systems with variables B Gaudin, PH Deussen 2007 American Control Conference, 4274-4279, 2007 | 26 | 2007 |
Modular supervisory control with general indecomposable specification languages J Komenda, JH van Schuppen, B Gaudin, H Marchand Proceedings of the 44th IEEE Conference on Decision and Control, 3474-3479, 2005 | 23 | 2005 |
Modular supervisory control of asynchronous and hierarchical finite state machines B Gaudin, H Marchand 2003 European Control Conference (ECC), 145-150, 2003 | 23 | 2003 |
A control theory based approach for self-healing of un-handled runtime exceptions B Gaudin, EI Vassev, P Nixon, M Hinchey Proceedings of the 8th ACM international conference on Autonomic computing …, 2011 | 22 | 2011 |
An efficient modular method for the control of concurrent discrete event systems: A language-based approach B Gaudin, H Merchand Discrete Event Dynamic Systems 17 (2), 179-209, 2007 | 18 | 2007 |
Synthèse de contrôleurs sur des systèmes à événements discrets structurés B Gaudin Rennes 1, 2004 | 13 | 2004 |
Efficient computation of supervisors for loosely synchronous discrete event systems: A state-based approach B Gaudin, H Marchand IFAC Proceedings Volumes 38 (1), 145-150, 2005 | 12 | 2005 |
Software maintenance through supervisory control B Gaudin, A Bagnato 2011 IEEE 34th Software Engineering Workshop, 97-105, 2011 | 9 | 2011 |
Requirements and initial model for knowlang: a language for knowledge representation in autonomic service-component ensembles E Vassev, M Hinchey, B Gaudin, P Nixon Proceedings of The Fourth International C* Conference on Computer Science …, 2011 | 9 | 2011 |
Safety control of hierarchical synchronous discrete event systems: A state-based approach B Gaudin, H Marchand Proceedings of the 2005 IEEE International Symposium on, Mediterrean …, 2005 | 9 | 2005 |
Supervisory control of concurrent discrete event systems B Gaudin, H Marchand IRISA, Rennes, Report Publication interne, 2004 | 6 | 2004 |
Supervisory control for software runtime exception avoidance B Gaudin, P Nixon Proceedings of the Fifth International C* Conference on Computer Science and …, 2012 | 5 | 2012 |
Execution trace exploration and analysis using ontologies N Al Haider, B Gaudin, J Murphy International Conference on Runtime Verification, 412-426, 2011 | 5 | 2011 |