Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs, 2008. ,
« Composition et expression qualitative de politiques d'adaptation pour les composants Fractal, 2009. ,
« Towards Validating a Platoon of Cristal Vehicles using CSP||B, 12th International Conference on Algebraic Methodology and Software Technology n?5140n?5140 in LNCS, pp.139-144, 2008. ,
Application to a Platoon of Vehicles, 13th International Workshop on Formal Methods for Industrial Critical Systems, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00286431
« Scalable Processing of Context Information with COS- MOS, pp.210-224, 2007. ,
Quantity of resource properties expression and runtime assurance for embedded systems, 2009 IEEE/ACS International Conference on Computer Systems and Applications, 2009. ,
DOI : 10.1109/AICCSA.2009.5069360
URL : https://hal.archives-ouvertes.fr/inria-00349918
« B événementiel pour la modélisation du domaine : application au transport, Approches Formelles dans l'Assistance au Développement de Logiciels, pp.17-35, 2009. ,
« Minimal yet effective reconfiguration infrastructures in component-based embedded systems. », SINTER'09, pp.41-48, 2009. ,
« Fuzzy control and fuzzy systems Second extended edition, pp.1-1, 1993. ,
Component Software Beyond Object-Oriented Programming, 1999. ,
Qinna, a Component-Based QoS Architecture, Based QoS Architecture, pp.107-122, 2005. ,
DOI : 10.1007/11424529_8
« The concept of a linguistic variable and its application to approximate reasoning, Information Sciences, vol.1, pp.119-249, 1975. ,