Publications

  • Revues internationales

[Mok16]  A formal approach for managing component-based architecture evolution. A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. Science of Computer Programming, special issue of the 11th international symposium on Formal Aspects of Component Software, 127:24–49, Elsevier, October 2016. IF 0,715 . Pdf. BibTex.

[ALM14d] Automatic documentation of [mined] feature implementations from source code elements and use case diagrams with the REVPLINE approach. R. AL-MSIE’DEEN, A. D. SERIAI, M. HUCHARD, C. URTADO and S. VAUTTIER. International Journal of Software Engineering and Knowledge Engineering. World Scientific Publishing. 24(10):1413–1438, December 2014. IF 0,362. Pdf. BibTex.

[Are09]    Formal concept analysis-based service classification to dynamically build efficient software component directories. G. AREVALO, N. DESNOS, M. HUCHARD, C. URTADO and S. VAUTTIER. International Journal of General Systems, J. Diatta, P. Eklund and M. Liquière Editors, 38(4):427-453, Taylor and Francis, May 2009. ISSN 0308-1079. IF 0.551. Pdf. BibTex.

[Des08] Search-based many-to-one component substitution. N. DESNOS, M. HUCHARD, G. TREMBLAY, C. URTADO and S. VAUTTIER. Journal of Software Maintenance and Evolution: Research and Practice. Special issue on Search-Based Software Engineering, M. Di Penta, G. Antoniol and M. Harman Editors, 20(5):321-344, Wiley, September/October 2008. ISSN 532-060X. IF 0.765. Pdf. BibTex.

[Vau99a] Extended Specification of Composite Objects in UML. S. Vauttier, M. Magnan et C. Oussalah Journal of Object-Oriented Programming, SIGS Publications, Mai 1999. BibTex.

 

  • Revues nationales

[Mag98] Modélisation et Gestion du Comportement des Objets Composites. M. Magnan, S. Vauttier et C. Oussalah Networking and Information Systems Journal, Volume 1, Number 2-3, p 279-308. Editions Hermes, 1998. BibTex.

 

  • Conférences internationales

[Mok16b] A three-level versioning model for component-based software architectures, A. MOKNI, M. HUCHARD, C. URTADO and S. VAUTTIER. 11th International Conference on Software Engineering Advances (ICSEA 2016), Roma, Italy, August 2016. AR 30%. Pdf. BibTex.

[Mok15a] An evolution management model for multi-level component-based software architectures, A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. 27th International Conference on Software Engineering and Knowledge Engineering. Pittsburgh, USA, July 2015. AR 30%. Pdf. BibTex.

[Mok14d] Fostering component reuse: automating the coherence verification of multi-level architecture descriptions, A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. 9th International Conference on Software Engineering Advances. Nice, France, October 2014. AR 30%. Pdf. BibTex.

[Alm14c] Reverse engineering feature models from software configurations using Formal Concept Analysis, R. AL-MSIE’DEEN, A. D. SERIAI, M. HUCHARD, C. URTADO and S. VAUTTIER. 11th International Conference on Concept Lattices and their Applications. Košice, Slovakia, October 2014. Pdf. BibTex.

[Mok14c] Formal rules for reliable component-based architecture evolution, A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. 11th International Symposium on Formal Aspects of Component Software. Bertinoro, Italy, September 2014. AR 45%. Pdf. BibTex.

[ALM14b] Documenting the mined feature implementations from the object-oriented source code of a collection of software product variants, R. AL-MSIE’DEEN, A. D. SERIAI, M. HUCHARD, C. URTADO and S. VAUTTIER. 26th International Conference on Software Engineering and Knowledge Engineering, pages 138-143. Vancouver, Canada, July 2014. AR 29,6%. Pdf. BibTex.

[ALM14a] Concept lattices: a representaion space to structure software variability, R. Al-Msie’deen, A. Seriai, M. Huchard, C. Urtado and S. Vauttier. 5th IEEE International Conference on Information and Communication Systems, Irbid, Jordan, April 2014. 72–77. Pdf. BibTex.

[ALM13c] Mining features from the object-oriented source code of software variants by combining lexical and structural similarity, R. Al-Msie’deen, A. Seriai, M. Huchard, C. Urtado and S. Vauttier. 14th IEEE International Conference on Information Reuse and Integration, San Francisco, August 2013. 586–593. Pdf. BibTex.

[ALM13b] Mining features from the object-oriented source code of a collection of software variants using formal concept analysis and latent semantic indexing, R. Al-Msie’deen, A. Seriai, M. Huchard, C. Urtado, S. Vauttier, and H. E. Salman. 25th International Conference on Software Engineering and Knowledge Engineering, Boston, June 2013. 244–249. Pdf. BibTex.

[ALM13a] Feature location in a collection of software product variants using formal concept analysis, R. Al-Msie’deen, A. Seriai, M. Huchard, C. Urtado, S. Vauttier, and H. E. Salman. 13th International Conference on Software Reuse, Pisa, June 2013. 302–307. Pdf. BibTex.

[GRO12] Mission-oriented autonomic configuration of pervasive systems. G. GRONDIN, M. FAURE, C. URTADO and S. VAUTTIER. 7th International Conference on Software Engineering Advances. Lisbon, Portugal, November 2012. AR 30%. Pdf. BibTex.

[Zha12b] A three-level component model in component-based software development. H. Y. ZHANG, L. ZHANG, C. URTADO, S. VAUTTIER and M. HUCHARD. 11th ACM International Conference on Generative Programming and Component Engineering. Dresden, Germany, September 2012. Pdf. BibTex.

[Zha12a] Dedal-CDL: Modeling first-class architectural changes in Dedal. H. Y. ZHANG, C. URTADO and S. VAUTTIER, L. ZHANG, M. HUCHARD and B. COULETTE. 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture. Helsinki, Finland, August 2012. Pdf. BibTex.

[Cou12]   A formal support for incremental behavior specification in agile development. A-L. COURBIS, T. LAMBOLAIS, H-V. LUONG, T-L. PHAN, C. URTADO and S. VAUTTIER. 24th International Conference on Software Engineering and Knowledge Engineering. Redwood City, USA, July 2012. Pdf. BibTex.

[Fau11b] A service component framework for multi-user scenario management in ubiquitous environments. M. FAURE, L. FABRESSE, M. HUCHARD, C. URTADO and S. VAUTTIER. 6th International Conference on Software Engineering Advances. Barcelona, Spain, October 2011. AR 30%. Pdf. BibTex.

[Fau11a] User-defined scenarios in ubiquitous environments: creation, execution control and sharing. M. FAURE, L. FABRESSE, M. HUCHARD, C. URTADO and S. VAUTTIER. 23rd International Conference on Software Engineering and Knowledge Engineering. Miami, USA, July 2011. AR 31%. 302-307. Pdf. BibTex.

[Azm11] Backing composite web services using Formal Concept Analysis. Z. AZMEH, F. HAMOUI, M. HUCHARD, C. TIBERMACINE, C. URTADO and S. VAUTTIER. 9th International Conference on Formal Concept Analysis. Nicosia, Cyprus, May 2011. AR 33%. Pdf. BibTex.

[Zha10c] Architecture-centric component-based development needs a three-level ADL. H. Y. ZHANG, C. URTADO and S. VAUTTIER. 4th European Conference on Software Architecture. Copenhagen, Denmark, August 2010. AR 25,3%. 295-310. Pdf. BibTex.

[Ham10b] SAASHA: a Self-Adaptable Agent System for Home Automation. F. HAMOUI, M. HUCHARD, C. URTADO and S. VAUTTIER. 36th EUROMICRO Conference on Software Engineering and Advanced Applications. Lille, France, September 2010. Pdf. Poster. BibTex.

[Zha10b] Architecture-centric development and evolution processes for component-based software. H. Y. ZHANG, C. URTADO and S. VAUTTIER. 22nd International Conference on Software Engineering and Knowledge Engineering. Redwood City, USA, July 2010. AR 33%. Pdf. BibTex.

[Azm10] Using concept lattices to support web service compositions with backup services. Z. AZMEH, M. HUCHARD, C. TIBERMACINE, C. URTADO and S. VAUTTIER. 5th International Conference on Internet and Web Applications and Services. Barcelona, Spain, May 2010. Pdf. BibTex.

[Abo09]  Automated architectural component classification using concept lattices. N. A. ABOUD, G. AREVALO, J-R. FALLERI, M. HUCHARD, C. TIBERMACINE, C. URTADO and S. VAUTTIER. Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture. Cambridge, UK, September 2009. AR 27,4%. 21-31. Pdf. BibTex.

[Ham09] Specification of a component-based domotic system to support user-defined scenarios. F. HAMOUI, M. HUCHARD, C. URTADO and S. VAUTTIER. 21st International Conference on Software Engineering and Knowledge Engineering. Boston, USA, July 2009. AR 38%. 597-602. Pdf. BibTex.

[Zha09]  Connector-driven process for the gradual evolution of component-based software. H. Y. ZHANG, C. URTADO and S. VAUTTIER. 20th IEEE Australian Software Engineering Conference. Gold Coast, Australia, April 2009. AR 45,6%. 246-255. Pdf. BibTex.

[Zha08] Connector-driven gradual and dynamic software assembly evolution. H. Y. ZHANG, C. URTADO and S. VAUTTIER. IEEE International Conference on Innovation in Software Engineering. Vienna, Austria, December 2008. 345-350. Pdf. BibTex.

[Azm08] WSPAB: A tool for automatic classification & selection of web services using formal concept analysis. Z. AZMEH, M. HUCHARD, C. TIBERMACINE, C. URTADO and S. VAUTTIER. 6th IEEE European Conference on Web Services. Dublin, Ireland, November 2008. 31-40. Pdf. BibTex.

[Are07] Precalculating component interface compatibility using FCA. G. AREVALO, N. DESNOS, M. HUCHARD, C. URTADO and S. VAUTTIER. 5th International Conference on Concept Lattices and their Applications. Montpellier, France, October 2007. 241-252. Pdf. BibTex.

[Des07]   Automated and unanticipated flexible component substitution. N. DESNOS, M. HUCHARD, C. URTADO, S. VAUTTIER, and G. TREMBLAY. 10th ACM SIGSOFT Symposium on Component-Based Software Engineering. Medford, USA, July 2007. AR 18,6%. 33-48. Pdf. BibTex.

[Ous97]  Managing the Global Behavior of Composite Objects, C. Oussalah M. Magnan and S. Vauttier. 8th Int. Conf. on Database and Expert Systems Applications, DEXA’97, Toulouse, Septembre 1997. BibTex.

[Mag97] From Specification to Management of Composite Object Behavior, M. Magnan, S. Vauttier and C. Oussalah. International Conference on Theory of Object Oriented Languages and Systems, TOOLS USA’97, Santa Barbara, July 97.

[Vau97a] Behavior in Aggregation Hierarchies, S. Vauttier, M. Magnan and C. Oussalah. 13th International Conference on Advanced Science and Technology, ICAST’97, Chicago, Avril 1997.

 

  • Workshops internationaux

[Ayr11]  Hydroguard: Autonomous and automated system for monitoring, management of coastal risks and water resources. P-A. AYRAL, C. GONZALEZ, C. LEQUETTE, I. LOVRIC, D. SALZE, C. URTADO and S. VAUTTIER. Workshop of the International Emergency Management Society, Nîmes, June 2011. 11 pages.

[Fau10] Towards scenario creation by service composition in ubiquitous environments. M. FAURE, L. FABRESSE, M. HUCHARD, C. URTADO and S. VAUTTIER. 9th BElgian-NEtherlands software eVOLution Seminar, S. Ducasse, L. Duchien and L. Seinturier editors. Lille, France, December 2010.

[Don08] Specification of an exception handling system for a replicated agent environment. C. DONY, C. TIBERMACINE, C. URTADO and S. VAUTTIER. 4th ACM International Workshop on Exception Handling, Atlanta, GA, USA, November 2008. 24-31.

[Des06b] Automating the building of software component architectures. N. DESNOS, S. VAUTTIER, C. URTADO and M. HUCHARD. 3rd European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications. Nantes, France, September 2006. AR 34%. 228-235.

[Cam04] Distributed exception handling: ideas, lessons and issues with recent exception handling systems. A. CAMPEAS, C. DONY, C. URTADO and S. VAUTTIER. International workshop on Rapid Integration of Software Engineering Techniques. Luxembourg, November 2004. 82-92.

[Sou03b] Exception handling in component-based systems: a first study. F. SOUCHON, C. URTADO, S. VAUTTIER and C. DONY. Exception Handling in Object-Oriented Systems Workshop at ECOOP 2003. Darmstadt, Germany, July 2003. 84-91

[Sou03a] A proposition for exception handling in multi-agent systems. F. SOUCHON, C. DONY, C. URTADO and S. VAUTTIER. 2nd International workshop on Software Engineering for Large-Scale Multi-Agent Systems at ICSE 2003. Portland, Oregon, May 2003. 136-143.

 

 

  • Conférences nationales

[Mok14a] Modélisation et vérification formelles en B des architectures logicielles à trois niveaux. A. MOKNI, M. HUCHARD, C. URTADO, S. VAUTTIER and H. Y. ZHANG. 3ème Conférence en IngénieriE du Logiciel. Paris, Juin 2014. 71-77.

[Are10]  Component and service farms. G. AREVALO, Z. AZMEH, M. HUCHARD, C. TIBERMACINE, C. URTADO and S. VAUTTIER. 2ème journées nationales du GDR GPL – Défis pour le Génie de la Programmaion et du Logiciel, pages 281-284. Pau, France, Mars 2010.

[Zha10a] Dedal : un ADL à trois dimensions pour gérer l’évolution des architectures à base de composants. H. Y. ZHANG, C. URTADO and S. VAUTTIER. 4ème Conférence francophone sur les Architectures Logicielles. Pau, France, Mars 2010. AR 48%. 15-27.

[Ham10a] Un système d’agents à base de composants pour les environnements domotiques. F. HAMOUI, M. HUCHARD, C. URTADO and S. VAUTTIER. 16ème conférence francophone sur les Langages et Modèles à Objets. Pau, France, Mars 2010. AR 41%. 35-49.

[Are08a] Construction dynamique d’annuaires de composants par classification de services. G. AREVALO, N. DESNOS, M. HUCHARD, C. URTADO and S. VAUTTIER. 14ème conférence francophone sur les Langages et Modèles à Objets. Montréal, Canada, Mars 2008. AR 49%.

[Des06a] Assistance à l’architecte pour la construction d’architectures à base de composants. N. DESNOS, C. URTADO, S. VAUTTIER and M. HUCHARD. 12ème conférence francophone sur les Langages et Modèles à Objets. Nîmes, France, Mars 2006. AR 37,1%. 37-52.

[Sou04b] Fiabilité des applications multi-agents : le système de gestion d’exceptions SaGE. F. SOUCHON, S. VAUTTIER, C. URTADO and C. DONY. Journées Francophones sur les Systèmes Multi-Agents 2004. Paris, France, Novembre 2004. AR 17,9%. 121-134.

[Vau03] La relation d’association dans les approches dirigées par les modèles : besoins et usages pratiques. S. VAUTTIER, C. URTADO et E. MENDIZABAL. Colloque Agents logiciels, Coopération, Apprentissage et Activité humaine. Bayonne, France, Septembre 2003. 151-163.

[Vau00] Improving statechart composition and reuse in UML. S. VAUTTIER and C. URTADO. Conférence NîmesTIC 2000. Nîmes, France, September 2000. 287-296.

[Vau99b] Une nouvelle approche de la spécification du comportement des objets composites en UML. S. Vauttier, C. Oussalah et M. Magnan, 4ème conférence francophone sur les Langages et Modèles à Objets, Villefranche sur mer, Janvier 1999.

[Vau97c] Extension d’UML à la Prise en Compte du Comportement d’Objets Composites, S. Vauttier, C. Oussalah et M. Magnan. Journées du GDR Programmation, Rennes, Octobre 1997.

[Vau97b] Comportement et Objets Composites, S. Vauttier, M. Magnan et C. Oussalah 15ème Congrès d’INFormatique des ORganisations et Systèmes d’Information et de Décision, INFORSID’97, Toulouse, Juin 1997.

[Ous97] Modélisation du comportement des objets composites, C. Oussalah, M. Magnan et S. Vauttier 3rd International Symposium on Programming and Systems, ISPS ’97, Alger, Avril 1997.

 

  • Chapitres dans ouvrages

[Don06] Exception handling and asynchronous active objects: Issues and proposal. C. DONY, C. URTADO and S. VAUTTIER. Advanced Topics in Exception Handling Techniques. C. Dony, J. Knudsen, A. Romanovsky and A. Tripathi editors. LNCS 4119. Springer 2006. 81-100.

[Sou04a] Improving exception handling in multi-agent systems. F. SOUCHON, C. DONY, C. URTADO and S. VAUTTIER. Software engineering for multi-agent systems II, Research issues and practical applications. C. J. Pereira de Lucena, A. F. Garcia, A. B. Romanovsky, J. Castro and P. S. C. Alencar editors. LNCS 2940. Springer 2004. 167-188.

 

  • Edition d’actes

[Rou06] Actes de la 12ème conférence francophone sur les Langages et Modèles à Objets. R. ROUSSEAU, C. URTADO and S. VAUTTIER Editors. Hermès, Nîmes, pp232 France, Mars 2006.

[Boi06]     Actes de la deuxième Journée Multi-Agents et Composants. O. BOISSIER, N. BOURAQADI, J.-C. ROYER, D. SERIAI, C. URTADO, S. VAUTTIER and L. VERCOUTER Editors. Nîmes, France, Mars 2006.

[Boi04]   Actes de la première Journée Multi-Agents et Composants. O. BOISSIER, N. BOURAQADI, J.-C. ROYER, D. SERIAI, C. URTADO, S. VAUTTIER and L. VERCOUTER Editors. 68 pages, Paris, France, Novembre 2004.

 

  • Manuscrit de thèse

[Vau99c] Une Etude du Comportement des Objets Composites. Thèse de doctorat Université des Sciences et Techniques du Languedoc de Montpellier II, Montpellier, Décembre 99.