Publications - MACAO

 Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

• Livres / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Ouvrages de synthèse / Books edition

• Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud. NEPTUNE : Method, Checking and documentation generation for UML application, NEPTUNE Consortium, 2003.
  Résumé
  BibTeX

Numéros spéciaux de revues / Special issues of journals

• Thierry Millan, Agusti Canals, Jean-Claude Rault. L’Ingénierie Dirigée par les Modèles : Processus, cohérence, traçabilité et composants de confiance. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 85, juin 2008.
  BibTeX

• Ileana Ober, Thierry Millan. Modèles et espace technologique des systèmes d'information. Dans : Revue des Sciences et Technologies de l'Information, série Ingénierie des Systèmes d'Information (RSTI série ISI), Lavoisier, Vol. 12, mai 2007.
  BibTeX

• Pierre Bazex, Agusti Canals, Jean-Claude Rault. L'ingénierie dirigée par les modèles Projets et pôles de compétitivité. Dans : Génie Logiciel, AFCET, Paris, Vol. 81, juin 2007.
  BibTeX

• Bernard Coulette. Vues, points de vue, rôles et paradigmes proches - du concept à son exploitation. Dans : L'Objet, Hermès Science Publications, Vol. 13 N. 2, septembre 2007.
  BibTeX

• Pierre Bazex, Agusti Canals, Jean-Claude Rault. L'ingénierie dirigée par les modèles Processus de développement logiciel basé sur les modèles : Démarche et Outillage. Dans : Génie Logiciel, AFCET, Paris, Vol. 77, juin 2006.
  BibTeX

• Pierre Bazex, Agusti Canals, Jean-Claude Rault. Ingénierie dirigée par les modèles Vérification de modèles. Dans : Génie Logiciel, AFCET, Paris, Vol. 73, juin 2005.
  BibTeX

• Pierre Bazex, Agusti Canals, Jean-Claude Rault. Vérification de modèles. Dans : Génie Logiciel, AFCET, Paris, Vol. 69, juin 2004.
  BibTeX

• Jean-Paul Bodeveix, Christian Percebois, Salam Majoul. Coordinating Objects through Multiset Rewriting. Dans : Special Issues in Object-Oriented Programming, Mühlhäuser, Vol. 3, mars 1997.
  BibTeX

Actes de conférences et de workshops / Conferences proceedings

• Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter. 11th International Conference Model Driven Engineering Languages and Systems, Toulouse, France, 28/09/08 - 03/10/08, Springer-Verlag, LNCS 5301, septembre 2008.
  Résumé Accès : http://www.springer.com/computer/programming/book/978-3-540-87874-2
  BibTeX

• Sophie Ebersold, Agnes Front, Philippe Lopisteguy, Selmin Nurcan, Xavier Franch. International Workshop on Model Driven Information Systems Engineering: Enterprise, User and System Models (MoDISE-EUS'08) in Conjunction with CAISE'08, Montpellier, 16/06/08 - 20/06/08, CEUR Workshop Proceedings, juin 2008.
  Accès : http://CEUR-WS.org/Vol-341/
  BibTeX

• Isabelle Borne, Xavier Crégut, Sophie Ebersold, Frédéric Migeon. Actes des journées Langages et Modèles à Objets, LMO'07, Toulouse, 27/03/07 - 29/03/07, Hermès, mars 2007.
  BibTeX

Articles de revues internationales / International journals articles

• Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober. Timing analysis and validation with UML: the case of the embedded MARS bus manager. Dans : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, p. 301-308, août 2008 (à paraître).
  Accès : http://dx.doi.org/10.1007/s11334-008-0066-z
  BibTeX

• Akram Idani, Jean-Louis Boulanger, Laurent Philippe. Linking paradigms in safety critical systems. Dans : International Journal of Computers and Their Applications, International Society for Computers and their Applications (ISCA), 2008 (à paraître).
  BibTeX

• Josef Hooman, Iulian Ober, Hillel Kugler, Angelika Votintseva, Yuri Yushtein. Supporting UML-based Development of Embedded Systems by Formal Techniques. Dans : Software and Systems Modeling, Springer-Verlag, Vol. 7 N. 2, p. 131-155, mai 2008.
  Accès : http://dx.doi.org/10.1007/s10270-006-0043-7
  BibTeX

• Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. Dans : Formal Methods in System Design, Springer-Verlag, Numéro spécial Formal Methods for Industrial Critical Systems, Vol. 30 N. 3, p. 217-232, juin 2007.
  BibTeX

• Akram Idani, Yves Ledru. Dynamic Graphical UML Views from Formal B Specifications. Dans : International Journal of Information and Software Technology, Elsevier, Vol. 48 N. 3, p. 154-169, mars 2006.
  BibTeX

• Iulian Ober, Susanne Graf, Ileana Ober. Validating timed UML models by simulation and verification. Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Vol. 8 N. 2, p. 128-145, 2006.
  BibTeX

• Susanne Graf, Ileana Ober, Iulian Ober. A real-time profile for UML. Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Vol. 8 N. 2, p. 113-127, 2006.
  BibTeX

• Jean-Michel Bruel, Ileana Ober. Components modeling in UML 2. Dans : Studia Jurnal, Babes-Bolyai University, Cluj-Napoca (Roumanie), Vol. 1, p. 79-90, 2006.
  BibTeX

• Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat. Using Abstract Interpretation Techniques for Static Pointer Analysis. Dans : Computer Architecture News, ACM, ISSN 0163-5694, Vol. 27 N. 1, p. 47-50, mars 1999.
  Résumé Accès : ftp://ftp.irit.fr/pub/IRIT/APARA/March/208.ps.gz
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud. Designing Reusable Parallel Software Components. Dans : Journal of Computers and Artificial Intelligence, Vol. 13 N. 1, p. 73-90, 1994.
  BibTeX

• S. Marcaillou, Bernard Coulette. Intégration de la notion de point de vue dans la modélisation par objets. Implantation à travers une extension d'Eiffel.. Dans : Colloque International en Informatique Cognitive des Organisations, de boeck université, (support électronique), 1993.
  BibTeX

Articles de revues nationales / National journals articles

• Thierry Millan, Laurent Sabatier, Pierre Bazex, Christian Percebois. NEPTUNE II Une plate-forme pour la vérification et la transformation de modèles. Dans : Génie Logiciel, GL & IS, Meudon - France, Numéro spécial Une plate-forme pour la vérification et la transformation de modèles, Vol. 85, p. 30-34, juin 2008.
  BibTeX

• Bastien Amar, Philippe Dhaussy, Hervé Leblanc, Bernard Coulette. La description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles. Dans : Génie Logiciel, GL & IS, Meudon - France, Numéro spécial L’Ingénierie Dirigée par les Modèles : Processus, cohérence, traçabilité et composants de confiance, Vol. 85, p. 20-24, juin 2008.
  BibTeX

• Mohammed Dahchour, Hamza Rayd , Younes Lakhrissi, Abdelaziz Kriouile. Extension d'UML par les rôles (version étendue de MCSEAI 2006). Dans : la revue électronique des technologies de l'information, Ecole Mohammadia d’Ingénieurs, Rabat - Maroc, Vol. 4, (support électronique), juin 2007.
  BibTeX

• Akram Idani, Yves Ledru, Didier Bert. Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : formalisation, preuve et extension pour la prise en compte des raffinements B. Dans : Technique et Science Informatiques, Hermès Science Publications, Numéro spécial Approches Formelles dans l'Assistance au Développement de Logiciels, Vol. 26, N. 7, p. 819-851, septembre 2007.
  BibTeX

• Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile. Vers une approche à base de règles pour la composition de modèles. Application au profil VUML.. Dans : L'Objet, Hermès Science Publications, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 13, N. 4/2007, p. 73-103, décembre 2007.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/Coulette-etal-LObjet2007.pdf
  BibTeX

• Susanne Graf, Iulian Ober. Software and architecture modelling with Omega-UML and validation with IF. Dans : Génie Logiciel, Hermès, Vol. 1, N. 80, p. 21-26, 2007.
  BibTeX

• Erwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan. Vers une abstraction d'une famille de DSL. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 81, p. 24-31, juin 2007.
  BibTeX

• Bernard Coulette, Abdelaziz Hair. Profil UML pour la modélisation oreintée points de vue. Dans : Journal Marocain d'Automatique, d'Informatique et de Traitement du Signal, AMADEIA, Maroc, Vol. vol 3, n°2, (support électronique), 2005.
  BibTeX

• Mahmoud Nassar, Jérémie Guiochet, Bernard Coulette, Xavier Crégut, Sophie Ebersold. Vers un profil UML pour la conception de composants multivues. Dans : L'Objet, Hermès Science Publications, Vol. 11, N. 4, p. 83-113, décembre 2005.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/Nassar-etal-LObjet2005.pdf
  BibTeX

• Iulian Ober, Ileana Ober, Susanne Graf, David Lesens. Projet OMEGA : un profil UML et un outil pour la modélisation et la validation de systèmes temps réel. Dans : Génie Logiciel, GL & SI, 8, rue du parc - 92190 Meudon, Vol. 73, p. 33-38, juin 2005.
  BibTeX

• Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile. Génération de code dans VUML. Dans : Journal Marocain d'Automatique, d'Informatique et de Traitement du Signal, AMADEIA, Maroc, Numéro spécial COPSTIC'03, Vol. Hors-série, p. 87-97, 2004.
  BibTeX

• Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat. Une approche pour réduire la complexité du flot de contrôle dans les programmes C. Dans : Technique et science informatiques, Hermès, Vol. 21, N. 7, p. 1009-1032, 2002.
  Résumé
  BibTeX

• Franck Duluc, Cécile Roisin, Laurent Tardif, Lionel Villard. Un système multimédia complet pour la documentation technique aéronautique. Dans : L'Objet, Hermés Science, Vol. 6, N. 2, p. 223-253, 2000.
  BibTeX

• Franck Duluc, Cécile Roisin, Lionel Villard, Laurent Tardif. Un Système Multimédia Complet pour la documentation Technique Aéronautique. Dans : L'Objet, Hermes, Vol. 1, 1999.
  BibTeX

• Patrice Cros, Louis Féraud. Interopérabilité et granularité : quelques limites de CORBA. Dans : Calculateurs Parallèles, Hermès, Vol. 10, N. 5, p. 537-553, 1998.
  BibTeX

• Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois. Types versus Classes. Dans : L'Objet, Hermes, Vol. 4, N. 1, p. 3-25, 1998.
  BibTeX

• Bernard Coulette. Le projet IPHIGENIE : conception d'outils didactiques intelligents en méthodologie de développement de projets logiciels. Dans : Génie Logiciel, AFCET, Paris, Vol. 19, p. 57-63, 1990.
  BibTeX

Contributions à des ouvrages de synthèse / Books parts

• Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. Modeling and Verification of Real-Time Systems using the IF Toolbox. Dans : Modeling and Verification of Real-time Systems. Nicolas Navet, Stefan Merz (Eds.), Wiley, 10, p. 319-352, janvier 2008.
  Accès : http://www.iste.co.uk/index.php?p=a&ACTION=View&id=195
  BibTeX

• Akram Idani. UML2B vs B2UML: Bridging the Gap between Formal and Graphical Software Modeling Paradigms. Dans : Computer Software Engineering Research. Ari D. Klein (Eds.), Nova Science Publishers , 6, p. 161-177, décembre 2007.
  BibTeX

• Susanne Graf, Sébastien Gérard, Oystein Haugen, Iulian Ober, Bran Selic. Modeling and Analysis of Real-time and Embedded Systems - Using UML. Dans : MoDELS'2006 Workshops. Thomas Kühne (Eds.), Springer-Verlag, p. 126-130, Vol. 4364, LNCS, janvier 2007.
  BibTeX

• Susanne Graf, Sébastien Gérard, Oystein Haugen, Iulian Ober, Bran Selic. Workshop synthesis: Modeling and analysis of real-time embedded systems. Dans : Satellite Events at the MoDELS 2005 Conference. Jean-Michel Bruel (Eds.), Springer-Verlag, p. 58-66, Vol. 3844, LNCS, 2006.
  BibTeX

• Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. La boîte à outils IF. Dans : Systèmes Temps Réel: Techniques de description et de vérification. Nicolas Navet (Eds.), Hermès, 9, p. 293-326, Vol. I, 2006.
  BibTeX

• Georg Geri, Ileana Ober. Workshop on Models for Non-functional Properties of Component-Based Software - NfC. Dans : MoDELS Satellite Events 2005. Jean-Michel Bruel (Eds.), Springer-Verlag, 8, p. 217-226, Vol. 3844, LNCS, 2006.
  BibTeX

• Jean-Michel Bruel, Georg Geri, Ileana Ober. Models for Non-functional Aspects of Component-Based Software (NfC'04). Dans : UML 2004 Satellite Activities. N. J. Nuntes (Eds.), Springer-Verlag, p. 62-66, Vol. 3297, LNCS, 2005.
  BibTeX

• Jean-Michel Bruel, Georg Geri, Hussmann Heinrich, Pohl Christoph , Whittle Jon . Models for Non-functional Aspects of Component-Based Software (NfC'04). Dans : UML 2004 Modeling Languages and Applications, UML Satellite Activities. Jardim Nunes Nuno, Bran Selic, Alberto Rodrigues da Silva (Eds.), Springer 2005, LNCS 3297, p. 62-66, 2005.
  BibTeX

• M. Bozga, Susanne Graf, Ileana Ober, Iulian Ober, J. Sifakis. The IF toolset. Dans : SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. Marco Bernardo, Flavio Corradini (Eds.), Springer-Verlag, p. 237-267, Vol. 3185, LNCS, juin 2004.
  BibTeX

• Suzanne Graf, Haugen Øystein , Ileana Ober, Selic Bran. SVERTS - Specification and Validation of Real-Time and Embedded Systems. Dans : UML 2004 Satellite Activities. N.J. Nuntes (Eds.), Springer-Verlag, p. 33-42, Vol. 3297, LNCS, 2004.
  BibTeX

• Juan-Carlos Cruellas, Jean-Paul Bodeveix, Thierry Millan, Agusti Canals. The NEPTUNE Technology to verify and to Document Software cOMPONENTS. Dans : Business Component-Based Software Engineering. Franck Barbier (Eds.), Kluwer Academic Publishers, Post Office Box 322 - 330 AH Dordrecht - THE NETHERLANDS, p. 101-118, 2003.
  Résumé
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Anna Medve, Ileana Ober. From Models to Components: Filling the Gap with SDL Macro-patterns. Dans : IADIS Applied Computing, Vienna, 10/12/08-12/12/08, IEEE, décembre 2008 (à paraître).
  BibTeX

• Dania Harb, Cédric Bouhours, Hervé Leblanc. Using an ontology to suggest software design patterns integration. Dans : First international workshop on Transforming and Weaving Ontologies in Model Driven Engineering, Toulouse, 28/09/08, Fernando Silva Parreiras, Jeff Z. Pan, Uwe Assmann, Jakob Henriksson (Eds.), Springer, p. 5-19, octobre 2008.
  BibTeX

• Brahim Hamid, Agnes Lanusse, Ansgar Radermacher, Sébastien Gérard. Designing Reconfigurable Component Systems with a Model Based Approach. Dans : ARTIST Workshop on Adaptive and Reconfigurable Embedded Systems, Saint Louis, MO, USA, 21/04/08-21/04/08, ARTIST (European Network of Excellence on Embedded Systems), p. 69-73, avril 2008.
  BibTeX

• Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sébastien Gérard. A fault-tolerance framework for distributed component systems. Dans : Euromicro conference on Software Engineering and Advanced Applications, Parma, Italy, 03/09/08-05/09/08, IEEE Computer Society, p. 84--91, septembre 2008.
  BibTeX

• Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, François Terrier. Designing fault-tolerant component based applications with a model driven approach. Dans : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri Island, Italy, 01/09/08-03/09/08, Vol. 5287, Springer-Verlag, Lecture Notes in Computer Science, p. 9-20, septembre 2008.
  Accès : http://www.springerlink.com/content/978-3-540-87784-4
  BibTeX

• Iulian Ober, Bernard Coulette, Younes Lakhrissi. Behavioral Modelling and Composition of Object Slices Using Event Observation. Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, 28/09/08-03/10/08, Jean-Michel Bruel, Krzysztof Czarnecki, Ileana Ober (Eds.), Springer, LNCS 5301, p. 219-233, septembre 2008.
  BibTeX

• Bastien Amar, Hervé Leblanc, Bernard Coulette. A Traceability Engine Dedicated to Model Transformation for Software Engineering. Dans : ECMDA Traceability Workshop, Berlin, 12/06/08-12/06/08, Jon Oldevik, Goran K. Olsen, Tor Neple, Richard Paige (Eds.), Springer, p. 7-16, juin 2008.
  BibTeX

• Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois. Towards interoperability in component based development with a family of DSLs. Dans : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/08-01/10/08, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, p. 148-163, septembre 2008.
  Résumé Accès : http://www.springer.com/computer/programming/book/978-3-540-88029-5
  BibTeX

• Ileana Ober, Ali Abou Dib. Using ASM to achieve executability within a family of DSL. Dans : International Conference on ASM, B and Z, London, 17/09/08-19/09/08, Vol. LNCS, Egon Boerger, Michael Butler, Jonathan P. Bowen, Paul Boca (Eds.), Springer-Verlag, p. 354-374, septembre 2008.
  BibTeX

• Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile. Towrds a generic approach for model composition. Dans : International Conference on Software Engineering Advances, Sliema (Malte), 26/10/08-31/10/08, IEEE Computer Society, p. 84-90, octobre 2008.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/Anwar_etal_ICSEA2008.pdf
  BibTeX

• Iulian Ober, Younes Lakhrissi. Observation-based interaction and concurrent aspect-oriented programming. Dans : International Conference on Software Engineering Research, Management and Applications (SERA 2008), Prague, Rép. Tcheque, 20/08/08-22/08/08, Roger Lee (Eds.), Springer, SCI 150, p. 141-156, août 2008.
  BibTeX

• Erwann Poupart, Guillaume Jolly, Christian Percebois, Pierre Bazex, Philippe Palanque, Sandra Basnyat, Patrice Rabault, Laurent Sabatier, Aurélia Walrawens. Offline interoperability, cost reduction and reliability for operational procedure using meta-modeling technology. Dans : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), 2008 (à paraître).
  BibTeX

• Ali Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober. Towards a Rigorous Framework for dealing with Domain Specific Language Families. Dans : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/08-11/04/08, IEEE Computer Society, (support électronique), avril 2008 (First Best Paper Award).
  BibTeX

• Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile. A QVT-based Approach for Model Composition - Application to the VUML Profile. Dans : International Conference on Enterprise Information Systems (ICEIS 2008), Barcelone, 12/06/08-16/06/08, INSTICC Press, p. 360-367, juin 2008.
  BibTeX

• Akram Idani, Bernard Coulette. Towards reverse-engineering of UML views from structured formal developments. Dans : International Conference on Enterprise Information Systems (ICEIS 2008), Barcelone, Espagne, 12/06/08-16/06/08, INSTICC Press, p. 94-103, juin 2008.
  BibTeX

• Redouane Lbath, Mohamed Kabbaj, Bernard Coulette. A Deviation Management System for Handling Software Process Enactement Evolution. Dans : International Conference on Software Process (co-located with ICSE) (ICSP 2008), Leipzig, 10/05/08-11/05/08, Springer-Verlag, (support électronique), 2008.
  BibTeX

• Iulian Ober, Nicolas Halbwachs. On the timed automata-based verification of Ravenscar systems. Dans : International Conference on Reliable Software Technologies - Ada-Europe 2008, Venise, Italie, 16/06/08-20/06/08, Tullio Vardanega, Fabrice Kordon (Eds.), Springer, LNCS 5026, p. 30-43, juin 2008.
  BibTeX

• Xavier Dumas, Tristan Faure, Maurice Heitz, Iulian Ober, David Lesens. Supporting a Multi-formalism Model Driven Development Process with Model Transformation,a TOPCASED Implementation. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 30/01/08-01/02/08, SIA/3AF/SEE, (support électronique), janvier 2008.
  BibTeX

• Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah. Distributed 2-vertex connectivity test of graphs using local knowledge. Dans : International Conference on Parallel and Distributed Computing Systems (PDCS 2007), Vienne, Austria, 01/05/07-01/05/07, WASET (World Academy of Science, Engineering and Technology), p. 71-76, mai 2007.
  BibTeX

• Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah. A Simple distributed algorithm for the maintenance of a spanning tree. Dans : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), USTHB, Alger, Algérie, 05/05/07-06/05/07, British Computer Society, Electronic Workshops in Computing series (eWiC), p. 1-14, 2007.
  BibTeX

• Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah. Distributed local 2-connectivity test of graphs and applications. Dans : International Symposium on Parallel and Distributed Processing and Applications, Niagara Falls, ON, CANADA, 29/08/07-31/08/07, Vol. 4742, Springer-Verlag, LNCS, p. 195-207, 2007.
  BibTeX

• Brahim Hamid, Mohamed Mosbah, Akka Zemmari. Self-stabilizing distributed algorithm for resolving conflicts. Dans : International Workshop on Reliability in Decentralized Distributed Systems, Vilamoura, Algarve, Portugal, 25/11/07-30/11/07, Vol. 4806, Springer-Verlag, LNCS, p. 1024-1051, novembre 2007.
  BibTeX

• Akram Idani, Ossami Dieu-Donné, Jean-Louis Boulanger. Commandments of UML for safety. Dans : International Conference on Software Engineering Advances, France, 25/08/07-31/08/07, IEEE Computer Society, (support électronique), août 2007.
  BibTeX

• Akram Idani, Jean-Louis Boulanger, Laurent Philippe. A generic process and its tool support towards combining UML and B for safety critical systems. Dans : International Conference on Computer Applications in Industry and Engineering (CAINE) (CAINE 2007), USA, 07/11/07-09/11/07, Hu Gongzhu (Eds.), International Society for Computers and their Applications (ISCA), p. 185-192, novembre 2007.
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich. Broadening the Use of Process Patterns for Modeling Processes. Dans : International Conference on Software Engineering and Knowledge Engineering (SEKE 2007), Boston, 09/07/07-11/07/07, Knowledge Systems Institute , (support électronique), juillet 2007.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/HNTran-etal-SEKE2007.pdf
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich. Modelling Process Patterns and their Application. Dans : International Conference on Software Engineering Advances, Cap Estérel, 25/08/07-31/08/07, IEEE Computer Society, (support électronique), août 2007.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/HNTran-etal-ICSEA2007.pdf
  BibTeX

• Mohamed Kabbaj, Redouane Lbath, Bernard Coulette. A Deviation-tolerant Approach to Software Process Evolution. Dans : IWPSE 2007, co-located with ESEC/FSE ACM international conference (IWPSE 2007), Dubrovnic, 03/09/07-04/09/07, ACM, (support électronique), septembre 2007.
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois. Alternative Models for a Design Review Activity. Dans : Workshop on Quality in Modeling - ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, NASHVILLE, TN (USA), 30/09/07-05/10/07, Ludwig KUZNIARZ, Jean-Louis SOURROUILLE, Miroslaw STARON (Eds.), Springer, p. 65-79, octobre 2007.
  BibTeX

• Ileana Ober. Teaching MDA: From Pyramids to Sand Clocks. Dans : Physicality, Nashville, USA, 03/10/07-03/10/07, Miroslaw Staron (Eds.), IT University of Göteborg, p. 34-39, octobre 2007.
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois. Towards a knowledge base to improve reusability of design pattern. Dans : International Conference on Software and Data Technologies (ICSOFT 2007), Barcelone (Espagne), 22/07/07-25/07/07, Vol. 2, Joaquin Filipe, Markus Helfert, Boris Shishkov (Eds.), Institute for Systems and Technologies for Information, Control and Communication, p. 421-424, juillet 2007.
  BibTeX

• Brahim Hamid. A tool to design and prototype fault-tolerant distributed algorithms. Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2006), Toulouse, France, 06/06/06-09/06/06, Hermès, p. 311-322, juin 2006.
  BibTeX

• Brahim Hamid, Mohamed Mosbah. A local self-stabilizing enumeration algorithm. Dans : IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4025, Springer-Verlag, LNCS, p. 289-302, juin 2006.
  BibTeX

• Akram Idani, Yves Ledru, Didier Bert. A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. Dans : Annual IEEE/NASA Software Engineering Workshop, USA, 25/04/06-28/04/06, IEEE Computer Society, p. 97-106, avril 2006.
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich. A UML based process meta-model integrating a rigorous process patterns definition. Dans : International Conference on Product Focused Software Process Improvement (Profes 2006), Amsterdam, 12/06/06-14/06/06, Springer-Verlag, (support électronique), juin 2006.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/HNTran-etal-PROFES2006.pdf
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich. Exploiting Process Patterns for Software Process Models Reuse. Dans : International Conference on Theories and Applications of Computer Science (ICTACS 2006), Hochiminh City, 03/08/06-05/08/06, World Scientific Publishing, (support électronique), août 2006.
  BibTeX

• Iulian Ober, Susanne Graf, David Lesens. Modeling and validation of a software architecture for the Ariane-5 launcher. Dans : Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference (FMOODS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4037 , Roberto Gorrieri, Heike Warheim (Eds.), Springer-Verlag, LNCS, p. 48-62, 2006.
  BibTeX

• Fabienne Viallet, Hervé Leblanc. Projet Metro : une approche par les TIC et les méthodes agiles. Dans : Technologies de l'Information et de la Communication dans l'Enseignement Supérieur et l'Entreprise (TICE 2006), Toulouse, 25/10/06-27/10/06, INPT, (support électronique), octobre 2006.
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois. Structural Variants Detection for Design Pattern Instantiation. Dans : International Workshop on Design Pattern Detection for Reverse Engineering (DPD4RE 2006), Benevento, Italy, 24/10/06-24/10/06, Francesca Arcelli, Claudia Raibulet, Guiliano Antoniol, Yann-Gaël Guéhéneuc (Eds.), IEEE Computer Society, (en ligne), 2006.
  Accès : http://www.irit.fr/recherches/DCL/MACAO/docs/DPD4RE-MACAO.pdf
  BibTeX

• Ileana Ober, Andreas Prinz. What do we need metamodels for? Dans : Nordic Workshop on UML and Software Modelling (NWUML 2006), Grimstad, Norway, 12/06/06-16/06/06, Agder University College - Faculty of Engineering and ScienceE, p. 8-28, 2006.
  BibTeX

• F. Vernadat, Christian Percebois, Patrick Farail, R. Vingerhoeds, Alain Rossignol, Jean-Pierre Talpin, David Chemouil. The TOPCASED Project - A Toolkit in OPen-source for Critical Applications and SystEm Development. Dans : Data Systems In Aerospace (DASIA 2006), Berlin, Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), mai 2006.
  BibTeX

• Emmanuel Liais, Bernard Cherbonneau. AutoScore : un outil générique d’évaluation des risques. Dans : 4ème Conférence d’Ingénierie Système, Toulouse, 02/05/06-04/05/06, Association Française d'Ingénierie Système (AFIS), p. 1-8, 2006.
  Résumé
  BibTeX

• Brahim Hamid, Mohamed Mosbah. An implementation of a failure detector for local computations in graphs. Dans : IASTED International multi-conference on parallel and distributed computing and networks (PDCN 2005), Innsbruck, Austria, 15/02/05-17/02/05, ACTA Press, p. 473-478, 2005.
  BibTeX

• Brahim Hamid, Mohamed Mosbah. An automatic approach to self-stabilization. Dans : ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/ Distributed Computing (SNPD 2005), Towson University, Maryland, U. S. A., 23/05/05-25/05/05, IEEE Computer Society, p. 123-128, mai 2005.
  BibTeX

• Brahim Hamid, Mohamed Mosbah. Visualization of self-stabilizing distributed algorithms. Dans : International conference on information visualization (IV 2005), Londres, UK, 01/07/05-05/07/05, IEEE Computer Society, p. 550-555, juillet 2005.
  BibTeX

• Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. Dans : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Linz, Austria, 31/05/05, Elsevier, p. 159-174, mai 2005.
  BibTeX

• Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. Dans : International Conference on Formal Engineering Methods (ICFEM 2005), UK, 01/11/05-04/11/05, Springer-Verlag, p. 37-51, novembre 2005.
  BibTeX

• Bouchra El Asri, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile. Multiviews Components for Information System Development. Dans : International Conference on Enterprise Information Systems (ICEIS 2005), Miami, 24/05/05-28/05/05, INSTICC Press, (support électronique), mai 2005.
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich. A classification of Process Patterns. Dans : International Conference on Software Development (SWDC-REK 2005), Reykjavik, 28/05/05-02/06/05, University of Iceland Press, (support électronique), juin 2005.
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thuy Dong Thi Bich. Towards a better understanding of Process Patterns. Dans : International Conference on Software Engineering Research and Practice (SERP 2005), Las Vegas, 27/06/05-30/06/05, Centre National de Recherches de Logique, (support électronique), juin 2005.
  BibTeX

• Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev. A framework for increasing program design reliability. Dans : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/05-02/12/05, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L'Université Pédagogique d'Etat), p. 67-70, 2005.
  BibTeX

• Redouane Lbath, Bernard Coulette, Xavier Crégut. A multi-Agent Approach to a SPEM-based Modeling. Dans : The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, 14/07/05-16/07/05, X, p. 0, juillet 2005.
  BibTeX

• El Abbassia Deba. Forming a Context Free Grammar from a Metamodel. Dans : IADIS: International Conference Applied Computing, Carvoeiro, Portugal, 22/02/05-25/02/05, IADIS Press ISBN: 972-99353-6-X, février 2005.
  BibTeX

• El Abbassia Deba. Tree transducer as specification method for model to model transformation. Dans : 3rd International Conference on Computer Science and its Applications (ICCSA-2005), San Diego, California, USA, 28/06/05-30/06/05, US Education Service, US Education Service 8681 Warmwell Drive, San Diego, CA 92119. Phone: (619)461-2607 email: contact@useducationservice.com, juin 2005.
  BibTeX

• Marjorie Couzinier, Louis Féraud. Formal verification of dynamic UML diagrams using TLA+. Dans : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/05-24/06/05, ACTA Press, p. 85-91, juin 2005.
  BibTeX

• Bouchra El Asri, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile. Views, Subjects, Roles and Aspects: A comparison along Software Lifecycle. Dans : International Conference on Enterprise Information Systems (ICEIS 2004), Porto, 14/04/04-17/04/04, INSTICC Press, (support électronique), avril 2004.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/Coulette-etal-ICEIS2004.pdf
  BibTeX

• Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex. Instrumenting a UML method based on OCL. Dans : ICSSEA 2004 - 17th International Conference in Software & Systems Engineering and their Applications, Paris, 30/11/04-02/12/04, GL & IS, 8, rue du parc - 92190 MEUDON, novembre 2004.
  BibTeX

• Raymonde Le Delliou , Nicolas Ploquin, Mariano Belaunde, Reda Bendraou, Louis Féraud. A Model Driven Approach For Information System Migration. Dans : Workshop on ODP for Entreprise Computing, Monterey Californie Etats Unis, 20/09/04-20/09/04, IEEE Computer society, p. 90-97, septembre 2004.
  BibTeX

• El Abbassia Deba. Towards Automation of Model Transformation. Dans : IFIP 18th World Computer Congress - Studen Forum, Toulouse, 22/08/04-27/08/04, Mohamed Kaâniche (Eds.), Kluwer Academic Publishers, p. 155-164, août 2004.
  BibTeX

• Nouhad Amaneddine, Youakim Badr. A Taxonomy of Transformation Methods for Structured Documents. Dans : The Second ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), Tunis- Tunisie, 14/07/03-18/07/03, IEEE, juillet 2003.
  BibTeX

• Nouhad Amaneddine, Youakim Badr. Classification of Transformation Methods in Structured Document Applications. Dans : VIth International Symposium on Programming and System, ISPS, Alger, Algérie, 05/05/03-07/05/03, USTHB & Hilton Pins Maritimes, p. 157-166, mai 2003.
  BibTeX

• May Dehayni, Louis Féraud. Attribute grammars as tools for model-to-model transformations. Dans : International Workshop Model Driven Architecture Foundations and Applications, Université de Twente Enshede, 26/06/03-27/06/03, Université de Twente CTIT-03-27, p. 73-84, juin 2003.
  BibTeX

• May Dehayni, Louis Féraud. An approach of model transformation based on attribute grammars. Dans : 9th international Conference on Object Oriented Information Systems, Geneve, 02/09/03-05/09/03, Springer Verlag (LNCS 2817), p. 412-423, septembre 2003.
  BibTeX

• Samar Tawbi, Bilal Chebaro. 'GenericServ: A generic server for web application development'. Dans : web requirements & e-services, workshop de 1st EURASIA conference for Advances in information & communication technology (EURASIA-ICT), Shiraz-Iran, 29/10/02-31/10/02, l'Austrian computer society, octobre 2002.
  BibTeX

• Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek. Extending OCL for verifying UML models consistency. Dans : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language "UML" 2002 "Modelling Languages, Concepts and Tools", Dresden, Allemagne, 01/10/02, Ludwik Kuzniarz - Gianna Reggio - Jean-Louis Sourrouille - Zbigniew Huzar, p. 75-91, octobre 2002.
  Résumé
  BibTeX

• Abdelaziz Hair, Abdelaziz Kriouile, Bernard Coulette. Une méthode d'analyse et de conception orientée objet intégrant UML et le concept de point de vue. Dans : International Conference Software Systems Engineering and Applications, Paris, 04/12/01-06/12/01, CMSL - CNAM , (support électronique), 2001.
  BibTeX

• Myriam Lamolle, Thierry Millan, Pierre Bazex, Marc Gonzalez. Garbage Collection in Object Oriented Databases - Optimisation of Unreachable Objects Detection. Dans : 2nd International Workshop on Computer Science and Information Technologies, Ufa (Russia), 18/09/00-23/09/00, Computer Science and Information Technologies, p. 38-46, septembre 2000.
  BibTeX

• Thierry Millan, Myriam Lamolle, Frédéric Mulatéro. Federated Database Management Systems : An Architecture to Distribute Persistent Data through Heterogeneous Databases. Dans : 7th European Concurent Engineering Conference : Concurrent Engineering in the Framework of IT Convergence, Leicester (UK), 17/04/00-19/04/00, SCS, The Society for Computer Simulation International, P.O.Box 17900, San Diego, CA 92117, USA, p. 211-214, avril 2000.
  BibTeX

• Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois. Data Design and Transformation. Dans : World Multiconference on Systemics, Cybernetics and Informatics 2000, Orlando (USA), 23/07/00-26/07/00, IIIS, 14269 Lord Barclay Dr., Orlandom FL 32837, USA, p. 587-592, juillet 2000.
  BibTeX

• Salam Majoul, Christian Percebois, Jean-Paul Bodeveix. A Concurrent Object-Based Model and its Use for Coordinating Java Components. Dans : TOOLS - Technology of Object-Oriented Languages and Systems, Santa Barbara, 01/08/99-05/08/99, IEEE, p. 15-25, août 1999.
  BibTeX

• Ileana Ober, Marcel Gandriau, Bernard Coulette. The action semantics problem. Dans : Workshop OOPSLA "Rigorous modeling and analysis of the UML"., Denver, ., novembre 1999.
  BibTeX

• Franck Duluc. Using Multimedia in aeronautical Technical documentation. Dans : DEXA'99 , Florence (Italie), 30/08/99-03/09/99, Springer Verlag, p. 734-746, août 1999.
  BibTeX

• Thierry Millan, Myriam Lamolle, Frédéric Mulatéro. An Adaptation of our Ada95/O2 Binding to provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence. Dans : Ada-Europe'99 , Santander (Espagne), 07/06/99-11/06/99, Springer-Velag , p. 320-331, juin 1999.
  BibTeX

• Christine Rochange, Pascal Sainrat, Louis Féraud, Hugues Cassé. Using Abstract Interpretation Technics for Static Pointer Analysis. Dans : 3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT'3), San Jose, USA, 03/10/99-07/10/99, Pen-Chung Yew, University of Minnesota, octobre 1999.
  Résumé Accès : ftp://ftp.irit.fr/pub/IRIT/APARA/March/A_Interact3.ps.gz
  BibTeX

• Frédéric Mulatéro, Jean-Marc Thévenin, Pierre Bazex. A Global Garbage Collector for Federated Database Management Systems. Dans : DEXA'98, Vienne (Autriche), 24/08/98-28/08/98, Springer-Verlag, p. 596-609, août 1998.
  BibTeX

• Thierry Millan, Frédéric Mulatéro. Coupling between Languages and Object Oriented Database Management Systems to Exchange Data between Applications developped using Heterogeneous Languages. Dans : EXPERSYS'98 , Virginia (Etats-Unis), 16/11/98-17/11/98, IIT International , 24, Rue des Mimosas 93460 GOURNAY sur MARNE, p. 233-239, novembre 1998.
  BibTeX

• Thierry Millan, Myriam Lamolle, Frédéric Mulatéro. Design, Share and Re-use of Data and Applications into a Federate Database System. Dans : 11th International Conference Software & Systems Engineering and their Applications, Paris, 08/12/98-10/12/98, EC2 Developpement , 51-59, Rue le Dru-Rollin 94200 IVRY sur SEINE, p. 1-5, décembre 1998.
  BibTeX

• Franck Duluc. Multimedia and aeronautical technical documentation: new challenge..., and new issues. Dans : Markup Technologies'98 Conference, Chicago (Etats-Unis), 19/11/98-20/11/98, Graphic Communications Association (GCA) and The MIT Press, Chicago, USA, p. 135-143, novembre 1998.
  BibTeX

• Franck Duluc, Maryse Da Ponte, Lofton Henderson. Intelligent Graphics: Towards a viable architecture using the most appropriate standard. Dans : XML'98 Conference, Chicago (Etats-Unis), 16/11/98-18/11/98, Graphic Communications Association (GCA), Chicago, USA, novembre 1998.
  BibTeX

• Jean-Paul Bodeveix, Christian Percebois, Salam Majoul. An object oriented coordination model based on multiset rewriting. Dans : Procs. of ninth International Conference on Parallel and Distributed Computing Systems, Dijon, 25/09/96-27/09/96, isca, p. 1-12, septembre 1996.
  BibTeX

• Jean-Paul Bodeveix, Christian Percebois, Salam Majoul. Multiset Rewriting for Concurrent Object-Oriented Programming. Dans : ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud, J Pouilly, J Sakdavong. Building distributed applications with HECTOR. Dans : ECOOP'96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• J Sakdavong, Jean-Paul Bahsoun, Louis Féraud. A model for designing distributed Object-Oriented Programming. Dans : IWOOS 95 IEEE Proceedings, Malmoe, Sweeden, -, p. 200-210, juillet 1995.
  BibTeX

• Vianney Cote, Jean-François Martin, Bernard Coulette. Un modèle paramètrique pour l'évaluation des interfaces personnes-système. Dans : Journées Internationales Le Génie Logiciel et ses Applications, Paris, 15/11/93-19/11/93, EC2, p. 423-432, 1993.
  BibTeX

• Bernard Coulette, Xavier Crégut. An intelligent didactic environment for HOOD designers. Dans : Ada in Aerospace symposium, Bruxelles, 08/11/93-11/11/93, Springer, p. 179-188, 1993.
  BibTeX

• Xavier Crégut, Bernard Coulette. A methodological process based environement for software applications design. Dans : ACM ERCIM Workshop on Developement and transformation of programs, Nancy, 02/11/93-04/11/93, ACM, p. 151-162, 1993.
  BibTeX

• Bernard Coulette, Xavier Crégut. Intégration du concept hypertexte dans un environnement d'assistance et d'apprentissage. Application à la réalisation d'une interface didactique pour la méthode de conception HOOD.. Dans : Colloque International Informatique Cognitive des Organisations, Montréal, 05/05/93-07/05/93, de boeck université, p. 88-97, 1993.
  BibTeX

• S. Marcaillou, Bernard Coulette, Dp Vo. An approach to viewpoint modelling. Dans : International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 1993), Versailles, 08/03/93-11/03/93, Prentice Hall, p. 151-164, 1993.
  BibTeX

• Bernard Coulette, Rida Medallel. Un modèle didactique pour la construction de didacticiels experts en Génie Logiciel. application : le prototype IPHIGENIE. Dans : Colloque International Informatique Cognitive des Organisations, Montréal, 29/04/01-02/05/01, de boeck université, (support électronique), 1991.
  BibTeX

• Bernard Coulette, Rida Medallel. Modélisation des connaissances méthodologiques en développement de projets logiciels. Dans : Journées Internationales: Le Génie Logiciel et ses Applications, Toulouse, 05/12/88-08/12/88, EC2, (support électronique), 1988.
  BibTeX

• Bernard Coulette. IPHIGENIE : un système expert pour la formation au Génie Logiciel. Dans : Journées Internationales : Les Systèmes experts et leurs Applications, Avignon, 13/05/87-15/05/87, EC2, (support électronique), 1987.
  BibTeX

Conférences et workshops nationaux / National conferences articles

• Younes Lakhrissi, Iulian Ober, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile. Prise en compte des aspects comportementaux dans la démarche de modélisation de VUML.. Dans : Atelier ERTSI, associé à la conférence INFORSID, Fontainebleau, 27/05/08-27/05/08, Hermès, (support électronique), mai 2008.
  BibTeX

• Bastien Amar, Jean-Rémy Falleri, M. Huchard, Clémentine Nebut, Hervé Leblanc. Un framework de traçabilité pour des transformations à caractère impératif. Dans : Conférence sur les Langages et Modèles à Objets (LMO 2008), Montréal (Canada), 05/03/08-07/03/08, Cépaduès Editions, p. 141-154, février 2008.
  BibTeX

• Adil Anwar, Sophie Ebersold, Bernard Coulette, Abdelaziz Kriouile. Une approche MDA pour produire un modèle VUML par intégration de modèles par point de vue. Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, 29/03/07-30/03/07, Hermès, (support électronique), mars 2007.
  BibTeX

• M. Dahchour, H Rayd , Younes Lakhrissi, Abdelaziz Kriouile. Extension d'UML par les rôles. Dans : Maghrebian Conference on Sofware Engineering and Artificial Intelligence (MCSEAI 2006), Agadir, 07/12/06-09/12/06, Université Ibn Zohr, (support électronique), décembre 2006.
  BibTeX

• Bernard Coulette, Younes Lakhrissi, Mahmoud Nassar, Abdelaziz Kriouile. Notion de patrons multivue - Application au profil VUML. Dans : Workshop OCM-SI, associé à INFORSID 2006, Hammamet, 12/05/06-14/05/06, Hermès, (support électronique), mai 2006.
  BibTeX

• Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classes UML à partir de spécifications B. Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2006), Paris, 15/03/06-17/03/06, ENST, p. 9-23, mars 2006.
  BibTeX

• Akram Idani. Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des systèmes d'information : Approche par méta-modélisation. Dans : Congrès Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID 2006), Tunisie, 31/05/06, INFORSID, p. 577-593, mai 2006.
  BibTeX

• Adil Anwar, Mahmoud Nassar, Bernard Coulette, Sophie Ebersold, Abdelaziz Kriouile. Vers la fusion de modèles par points de vues avec le profil VUML. Dans : Workshop OCM-SI, associé à INFORSID 2006, Hammamet, 12/05/06-14/05/06, Hermès, (support électronique), 2006.
  BibTeX

• Bouchra El Asri, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile. Architecture d’assemblage dynamique de composants multivues dans VUML. Dans : Congrès Informatique des Organisations et Systèmes d'Information et de Décision (INFORSID 2006), Hammamet, 01/05/06-03/05/06, Hermès, (support électronique), 2006.
  BibTeX

• Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois. Evaluation du standard SPEM de représentation des processus. Dans : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, p. 25-30, juin 2006.
  BibTeX

• Cédric Bouhours, Hervé Leblanc. Des méta-modèles au banc d'essai des patrons de conception (Ré)utilisation et Intégration. Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2006), Lille, 26/06/06-28/06/06, Laurence Duchien, Cédric Dumoulin (Eds.), Model Driven Engineering (MDE), p. 239-244, juin 2006.
  Accès : http://planetmde.org/idm06/actes.pdf
  BibTeX

• F. Vernadat, Patrick Farail, Alain Rossignol,