IRIT - UMR 5505

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. Ingénierie dirigée par les modèles. Vers l'usage industriel. Dans : Technique et Science Informatiques, Hermès Science, Vol. 31 N. 7/2012, septembre 2012.
  BibTeX

• Thierry Millan, Agusti Canals, Jean-Claude Rault. Outils, test et IDM. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 101, juin 2012.
  BibTeX

• Agusti Canals, Thierry Millan, Jean-Claude Rault. L’Ingénierie Dirigée par les Modèles : Bilan et perspectives. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 27, 2011.
  BibTeX

• Sophie Ebersold, Thérèse Libourel, Philippe Roose. Réutilisation et Traçabilité des systèmes d'Information. Dans : Information - Interaction - Intelligence, Cépaduès Editions, Vol. 10 N. 2, janvier 2011.
  BibTeX

• Jean-Michel Bruel, Agusti Canals, Sébastien Gérard, Isabelle Perseil. Special Issue on papers from UML&FM. Dans : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, septembre 2008.
  Accès : http://www.springerlink.com/content/xl76082v7751/?p=1792852be10742999b855b18a52bd980&pi=0
  BibTeX

• 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, GL & IS, Meudon - France, 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, 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, GL & IS, Meudon - France, 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, GL & IS, Meudon - France, Vol. 73, juin 2005.
  BibTeX

• Pierre Bazex, Agusti Canals, Jean-Claude Rault. Vérification de modèles. Dans : Génie Logiciel, GL & IS, Meudon - France, 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

• Ileana Ober, Aniruddha Gokhale, Georg Geri, Michael Felderer, Jean-Michel Bruel, David Lugato. Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Innsbruck, Autriche, 02/10/2012 - 02/10/2012, ACM DL, DL 10.1145/2446224.2446225, 2013.
  Accès : http://doi.acm.org/10.1145/2446224.2446225
  BibTeX

• Ileana Ober. MW '12: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, Innsbruck, Autriche, 27/09/2012 - 29/09/2012, ACM DL, DL 10.1145/2448076.2448077, 2012.
  Résumé Accès : http://dl.acm.org/citation.cfm?doid=2448076.2448077
  BibTeX

• Iulian Ober, Stefan Van Baelen, Thomas Weigert, Sébastien Gérard, Huascar Espinoza. 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, Innsbruck, 30/09/2012 - 30/09/2012, ACM DL, décembre 2012.
  Accès : http://dl.acm.org/citation.cfm?id=2432631
  BibTeX

• Brahim Hamid, Carsten Rudolph, Antonio Mana, Simin Nadjm-Tehrani. International Workshop on Security and Dependability for Resource Constrained Embedded Systems (SD4RCES), Naples, Italy, 22/09/2011 - 22/09/2011, ACM DL, septembre 2011.
  BibTeX

• Brahim Hamid, François Terrier. International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE), Oulu, Finland, 01/09/2011 - 02/09/2011, IEEE Computer Society, septembre 2011.
  BibTeX

• Reda Bendraou, Redouane Lbath, Marie-Pierre Gervais, Bernard Coulette. First workshop on Process-based approaches for Model-Driven Engineering, colocated with ECMFA 2011., Birmingham, 07/06/2011 - 07/06/2011, ACM DL, octobre 2011.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/PMDE2011_Birmingham_Proceedings.pdf
  BibTeX

• Ileana Ober. Journées sur l'Ingénierie Dirigée par les Modèles IDM 2011, Lille, 07/06/2011 - 08/06/2011, IRIT, ISBN 978-2-917490-15-0, juin 2011.
  BibTeX

• Ileana Ober, Iulian Ober. SDL 2011 : Integrating System and Software Modeling - 15th International SDL Forum Toulouse, Toulouse, 05/07/2011 - 07/07/2011, Springer, LNCS 7083, juillet 2011.
  Accès : http://www.springeronline.com/978-3-642-25263-1
  BibTeX

• Ileana Ober. 1st International Master Class on Model-Driven Engineering, Oslo, Norway, 30/09/2010 - 02/10/2010, IRIT, septembre 2010.
  BibTeX

• Brahim Hamid, François Terrier. International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE), Tozeur, Tunisia, 29/05/2010 - 30/05/2010, IEEE, mai 2010.
  BibTeX

• Brahim Hamid, Carsten Rudolph, Christoph Ruland. International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES), Vienna, Austria, 14/09/2010 - 14/09/2010, ACM, septembre 2010.
  BibTeX

• Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza. Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems, Denver, Co, USA, 06/10/2009 - 06/10/2009, CEUR Workshop Proceedings, septembre 2009.
  BibTeX

• 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/2008 - 03/10/2008, 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/2008 - 20/06/2008, 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/2007 - 29/03/2007, Hermès, mars 2007.
  BibTeX

• Jean-Michel Bruel. Satellite Events at the MoDELS 2005 Conference, Montego Bay, Jamaica, 02/10/2005 - 07/10/2005, Springer, Lecture Notes in Computer Science 3844, 2006.
  Accès : http://www.springeronline.com/3-540-31780-5
  BibTeX

Articles de revues internationales / International journals articles

• Bastien Amar, Hervé Leblanc, Bernard Coulette, Philippe Dhaussy. Automatic Co-evolution of Models Using Traceability. Dans : Communications in Computer and Information Science, Springer, Vol. 170, p. 125-139, janvier 2013.
  BibTeX

• Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette. Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach. Dans : Concurrency and Computation:Practice and Experience, Wiley, (support électronique), 2013 (à paraître).
  BibTeX

• Komlan Akpédjé Kedji, Redouane Lbath, Bernard Coulette, Mahmoud Nassar. Exploiting Process Events for the Integration of Collaborative Software Development Tools. Dans : Journal of Software Engineering, Science Alert, New York - USA, Vol. Vol. 6, pp79-88, (en ligne), janvier 2013.
  Résumé Accès : http://scialert.net/onlinefirst.php?issn=1819-4311
  BibTeX

• Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho. Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Dans : Procedia Computer Science, Science Direct, Numéro spécial The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT) proceedings, Vol. 10, p. 474-481, août 2012.
  Résumé
  BibTeX

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud. Hybrid possibilistic systems with nondeterministic continous evolutions and switching. Dans : Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics, Košice - Slovak Republic, 2012 (à paraître).
  BibTeX

• Brahim Hamid, Yulin Zhang, Jacob Geisel, David Gonzalez. First Experiment on Modeling Safety LifeCycle Process in Railway Systems. Dans : International Journal of Dependable and Trustworthy Information Systems, IGI Global, Hershey - USA, Vol. 2 N. 2, p. 17-39, novembre 2011.
  BibTeX

• Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror. UML/SysML semantic tunings. Dans : Innovations in Systems and Software Engineering, Springer - ISSE NASA, Vol. 7 N. 4, p. 257-264, novembre 2011.
  Accès : http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s11334-011-0163-2
  BibTeX

• Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel. RELAX: A Language to Address Uncertainty in Self-Adaptive Systems Requirements. Dans : Requirements Engineering Journal, Springer-Verlag, Vol. 15 N. 2, p. 177-196, mars 2010.
  Accès : http://www.springer.com/west/home/computer/programming?SGWID=4-40007-70-1116 135-0&detailsPage=journal|contactProduction
  BibTeX

• Ileana Ober, Louis Féraud, Christian Percebois. Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. Dans : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, p. 21-28, janvier 2010.
  Résumé Accès : http://www.springerlink.com/content/y78373u877564110/
  BibTeX

• Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile. A Rule-Driven Approach for composing Viewpoint-oriented Models. Dans : Journal of Object Technology, ETH Swiss Federal Institute of Technology, Vol. 9 N. 2, p. 89-114, 2010.
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois. Bad smells in design and design patterns. Dans : Journal of Object Technology, ETH Swiss Federal Institute of Technology, Vol. 8 N. 3, p. 43-63, mai 2009.
  Accès : http://www.jot.fm/issues/issue_2009_05/column5/
  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), Vol. 16 N. 2, (support électronique), 2009.
  BibTeX

• 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.
  Accès : http://dx.doi.org/10.1007/s11334-008-0066-z
  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

• Brahim Hamid, Mohamed Mosbah. A Local Enumeration Protocol in Spite of Corrupted Data. Dans : Journal of Computers, Academy Publisher, Finland, Vol. 1 N. 7, p. 9-20, 2006.
  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 : http://www.irit.fr/publis/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

• Mourad Oussalah, Norbert Giambiasi, Redouane Lbath. A framework for modelling and linking the structure and the behavior of a system. Dans : Artificial Intelligence in Scientific Computation, JC Baltzer AG, Scientific Publishing Compagny, Basel - Switzerland, Numéro spécial Towards Second Generation, p. 137-144, 1989.
  BibTeX

Articles de revues nationales / National journals articles

• Mustapha Hain, Abdelaziz Marzak, Bernard Coulette, Mahmoud Nassar. Vers une démarche pour le développement de modèles à base de Composants Multivue. Dans : Revue des Nouvelles Technologies de l'Information, Cépaduès Editions, Vol. L6 - ISBN : 9782705684174, (en ligne), juin 2012.
  Accès : http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=12&ref=RNTI+L.6+%3A+Avanc%E9es+r%E9centes+dans+le+domaine+des+Architectures+Logicielles&prodid=1325
  BibTeX

• Pierre Bazex, Agusti Canals. Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental. Dans : Techniques de l'ingénieur, Techniques de l'Ingénieur, Paris, France, Vol. H3880, (en ligne), août 2011.
  Accès : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/genie-logiciel-42306210/modelisation-en-uml-ocl-des-langages-de-programma
  BibTeX

• Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. Le calcul hautes performances: un nouveau champ d'application pour l'ingénierie de modèles. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 97, p. 41-46, juin 2011.
  BibTeX

• Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Alain Le Guennec, David Lesens, Piotr Nienaltowski, Iulian Ober. Modèles système, modèles logiciel et modèles de code dans les applications spatiales. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 1, N. 97, p. 9-15, juin 2011.
  BibTeX

• Brahim Hamid, Nicolas Desnos, Christophe Jouvray. Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 97, p. 53-58, mai 2011.
  BibTeX

• Bastien Amar, Hervé Leblanc, Bernard Coulette. Traçabilité des transformations et co-évolution de modèles. Dans : Information - Interaction - Intelligence, Cépaduès Editions, Numéro spécial Réutilisation et Traçabilité des systèmes d'Information, Vol. 10, N. 2, (en ligne), janvier 2011.
  Accès : http://www.revue-i3.org/
  BibTeX

• Rahma Bouaziz, Brahim Hamid, Nicolas Desnos. Droits d'accès aux services offerts par des composants logiciels-- Profil UML à base de patrons de sécurité. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 94, p. 6-11, septembre 2010.
  BibTeX

• Samba Diaw, Redouane Lbath, Bernard Coulette. Etat de l'art sur le développement logiciel basé sur les transformations de modèles. Dans : Technique et Science Informatiques, Hermès Science, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 29, N. 4-5/2010, p. 505-536, juin 2010.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/Diaw_et_al-Diaw-et-al2010.pdf
  BibTeX

• Xavier Dumas, Sébastien Gabel, Julien Honore, Maurice Heitz, Iulian Ober. Une implémentation TOPCASED supportant un processus multi-formalisme de développement par transformation de modèles. Dans : Revue de l'Electricité et de l'Electronique, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (SEE), Paris, Vol. 2009, N. 2, p. 45-51, février 2009.
  Accès : http://www.see.asso.fr/htdocs/main.php/ree2009.php/1496/
  BibTeX

• 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

• Jean-Michel Bruel. Composition logicielle à l'aide de machine à états. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 80, p. 2-6, mars 2007.
  Résumé
  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, 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, 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, GL & IS, Meudon - France, 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

• Hervé Leblanc, Thierry Millan, Agusti Canals, Alain Rossignol. Anti-patterns pour la modèlisation des processus de développement. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 77, p. 11-16, juin 2006.
  BibTeX

• Nicolas Belloir, Jean-Michel Bruel. Développement basé composant : une approche centrée composition. Dans : Ing¿nierie des Systèmes d'Information, Hermès Science, Numéro spécial Méthodes Avancées de Développement des SI, Vol. 10, N. 6, p. 59-80, octobre 2005.
  Résumé Accès : http://isi.revuesonline.com/article.jsp?articleId=7659
  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, 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, GL & IS, Meudon - France, Vol. 19, p. 57-63, 1990.
  BibTeX

• Redouane Lbath, Norbert Giambiasi. Moteurs d'inférences et environnements de programmation. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 1, N. 2, 1985.
  BibTeX

Contributions à des ouvrages de synthèse / Books parts

• David Lugato, Jean-Michel Bruel, Ileana Ober. MODEL-DRIVEN ENGINEERING FOR HIGH-PERFORMANCE COMPUTING APPLICATIONS. Dans : Modeling Simulation and Optimization - Focus on Applications. Cakaj Shkelzen (Eds.), IN-TECH, p. 19-33, mars 2010.
  BibTeX

• Iulian Ober. UML-based modelling and verification of real-time systems. Dans : Ecole d'Ete Temps Réel ETR'2009. Laurent Pautet, Béatrice Berard, Serge Haddad (Eds.), Télécom ParisTech, p. 113-126, septembre 2009.
  BibTeX

• Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert. Model Based Architecting and Construction of Embedded Systems. Dans : Models in Software Engineering, Workshops and Symposia at MODELS 2008. Michel Chaudron (Eds.), Springer, p. 1-4, Vol. 5421, LNCS, avril 2009.
  BibTeX

• Iulian Ober. MODELS Research Projects Symposium. Dans : Models in Software Engineering, Workshops and Symposia at MODELS 2008. Michel Chaudron (Eds.), Springer, p. 400-401, Vol. 5421, LNCS, avril 2009.
  BibTeX

• 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, Franck Barbier, Nicolas Belloir, Fabien Romeo. Test de composants logiciels. Dans : Ingénierie des Composants : Concepts, techniques et outils. Mourad Oussalah (Eds.), Vuibert, 8, p. 229-245, juin 2005.
  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

• Susanne 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

• Mourad Oussalah, Norbert Giambiasi, Redouane Lbath. Knowledge Based Tool for Structural and Behavioral modelling. Dans : Systems and Control Encyclopedia. M. G. Singh (Eds.), Elsevier/Pergamon, p. 382-388, Vol. 1, 1990.
  BibTeX

• Claude Delorme, Redouane Lbath. THESEE : un système expert d'aide à la génération de vecteurs de test. Dans : Systèmes experts en maintenance. J.C. Rault, M. Gabriel (Eds.), Masson Éditeur, 1987.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez. Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns (regular paper). Dans : System Design Languages Forum, Montreal, Canada, 26/06/2013-28/06/2013, Springer, LNCS, p. 73-91, juin 2013.
  BibTeX

• Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Adil Anwar, Mahmoud Nassar. A process for defining a unique correspondence model to relate heterogeneous models (short paper). Dans : International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Angers - France, 04/07/2013-06/07/2013, SciTePress, (support électronique), 2013 (à paraître).
  BibTeX

• Rahma Bouaziz, Slim Kallel, Bernard Coulette. An engineering process for security patterns application in component based models (regular paper). Dans : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2013), Hammamet, 17/06/2013-20/06/2013, IEEE Computer Society, (support électronique), 2013 (à paraître).
  BibTeX

• Iulia Dragomir, Iulian Ober, David Lesens. A Case Study in Formal System Engineering with SysML (regular paper). Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2012), Paris, 18/07/2012-20/07/2012, IEEE, p. 189-198, 2013.
  BibTeX

• Hanh Nhi Tran, Christian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations (regular paper). Dans : Verification and validation Of model Transformations (VOLT 2012), Montreal (Canada ), 21/04/2012, IEEE Computer Society, p. 946-953, juin 2012.
  BibTeX

• Adil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette. A Graphical Specification of Model Composition with Triple Graph Grammars (regular paper). Dans : International Workshop on Model Based Methodologies for Pervasive and Embedded Software, Colocated with ASE 2012, Essen, Germany, 04/09/2012-04/09/2012, Springer-Verlag, (support électronique), 2012.
  BibTeX

• Rahma Bouaziz, Bernard Coulette. Secure Component Based Applications Through Security Patterns (regular paper). Dans : Workshop on Security of Systems and Software Resiliency (3SL 2012), Besançon, France, 20/11/2012-22/11/2012, IEEE Computer Society, (support électronique), 2012.
  BibTeX

• Rahma Bouaziz, Bernard Coulette. Applying Security Patterns for Component Based Applications Using UML profile (regular paper). Dans : International Conference on Computational Science and Engineering (CSE 2012), Paphos, Cyprus, 05/12/2012-07/12/2012, IEEE Computer Society, (support électronique), décembre 2012.
  BibTeX

• Brahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez. Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain (regular paper). Dans : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/2012-28/09/2012, Vol. 7527, Springer, LNCS, p. 63-75, septembre 2012.
  BibTeX

• Yulin Zhang, Christelle Urtado, Sylvain Vauttier, Lei Zhang, Marianne Huchard, Bernard Coulette. Dedal-CDL: Modeling First-class Architectural Changes in Dedal (short paper). Dans : Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA/ECSA 2012), Helsinki, Finland, 20/08/2012-24/08/2012, IEEE Computer Society, (en ligne), août 2012.
  Accès : http://www.computer.org/portal/site/cscps/index.jsp
  BibTeX

• Adel Ziani, Brahim Hamid, Jean-Michel Bruel. A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design (regular paper). Dans : Euromicro conference on Software Engineering and Advanced Applications, Cesme, Izmir, Turkey, 05/09/2012-08/09/2012, IEEE, p. 166-169, septembre 2012.
  BibTeX

• Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel. Towards a Verification Approach for Reconfigurable Embedded Systems (short paper). Dans : IEEE International Symposium on Computers and Communications (ISCC 2012), Cappadocia, 01/07/2012-04/07/2012, IEEE, p. 750-752, juillet 2012.
  BibTeX

• Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel. Design-Time Verification of Reconfigurable Real-Time Embedded Systems (regular paper). Dans : IEEE International Conference on Embedded Software and Systems, Liverpool, 25/06/2012-27/06/2012, IEEE Computer Society, p. 1487-1494, 2012.
  BibTeX

• Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila. An MDE-Based Approach for Reconfigurable DRE Systems (regular paper). Dans : Workshop on Knowledge Media Networking - IEEE Ninth International Workshops on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE 2012), Toulouse, 25/06/2012-27/06/2012, IEEE Communications Society, p. 78-83, juin 2012.
  BibTeX

• Damien Gouteux, Brahim Hamid, Christian Percebois. A Proven Pattern Integration Process (regular paper). Dans : European Conference on Pattern Language of Programs (EuroPlop 2012), Kloster Irsee, Germany, 11/07/2012-15/07/2012, 2012 (à paraître).
  BibTeX

• Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux. Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems (regular paper). Dans : Software Quality Days (SWQD 2012), Vienna, 17/01/2012-19/01/2012, Springer, p. 193-204, janvier 2012.
  BibTeX

• Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid. A middleware for reconfigurable distributed real-time embedded systems (regular paper). Dans : International Conference on Software Engineering Research, Management and Applications (SERA 2012), Shanghai, China, 30/05/2012-01/06/2012, Vol. 430, Springer, p. 81-96, mai 2012 (selected paper).
  BibTeX

• El Arbi Aboussoror, Ileana Ober, Iulian Ober. Seeing Errors: Model Driven Simulation Trace Visualization (regular paper). Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Autriche, 30/09/2012-05/10/2012, Robert France, Jürgen Kazmeier (Eds.), Springer, LNCS 7590, p. 480-496, octobre 2012.
  Accès : http://dx.doi.org/10.1007/978-3-642-33666-9_31
  BibTeX

• Komlan Akpédjé Kedji, Redouane Lbath, Bernard Coulette, Mahmoud Nassar, Laurent Baresse, Florin Racaru. Supporting collaborative development using process models: an integration-focused approach (regular paper). Dans : International Conference on Software and System Process (co-located with ICSE) (ICSSP 2012), Zürich, 02/06/2012-03/06/2012, IEEExplore digital library, (support électronique), 2012.
  BibTeX

• Eric Conquet, François-Xavier Dormoy, Iulia Dragomir, Susanne Graf, David Lesens, Piotr Nienaltowski, Iulian Ober. Formal Model Driven Engineering for Space Onboard Software (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2012), Toulouse, 01/02/2012-03/02/2012, Society of Automobile Engineers (SAE), (support électronique), janvier 2012.
  BibTeX

• Komlan Akpédjé Kedji, Bernard Coulette, Redouane Lbath, Mahmoud Nassar. Modeling Ad-hoc Collaboration for Automated Process Support (short paper). Dans : Software Quality Days (SWQD 2012), Vienna, 17/01/2012-19/01/2012, Springer, (support électronique), janvier 2012.
  BibTeX

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud. Possibilistic modeling of a special class of hybrid systems (regular paper). Dans : International scientific conference "Dynamical system modeling and stability investigation" (DMSI 2011), Kiev Ukraine, 25/05/2011-27/05/2011, Proceedings DMSI'2011, p. 90-95, mai 2011.
  BibTeX

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud. Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings (regular paper). Dans : International scientific conference INFORMATICS'2011, Roznava Slovakia, 16/11/2011-18/11/2011, Faculty of Electrical Engineering and Informatics, p. 14-25, novembre 2011.
  BibTeX

• Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Thierry Millan, Christian Percebois, Claude Baron. Towards a Synchronization Model Between Activities and Products Within a Software Development Process (regular paper). Dans : IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE 2011), Penang, Malaysia, 04/12/2011-07/12/2011, IEEExplore digital library, p. 477-482, décembre 2011.
  BibTeX

• Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Thierry Millan, Christian Percebois, Claude Baron. SynchSPEM: A Synchronization Metamodel Between Activities and Products Within a SPEM-based Software Development Process (regular paper). Dans : IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE 2011), Penang, Malaysia, 04/12/2011-07/12/2011, IEEExplore digital library, p. 471-476, décembre 2011.
  BibTeX

• Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos. Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (regular paper). Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), wellington, 16/10/2011-21/10/2011, Vol. 6981, Jon Whittle (Eds.), Springer, p. 319-333, octobre 2011.
  BibTeX

• Dan Chiorean, Ileana Ober, Vladiela Petrascu. Avoiding OCL specification pitfalls (regular paper). Dans : Educators' Symposium@MODELS 2011 - Software Modeling in Education, Wellington, Nouvelle Zeelande, 18/10/2011-18/10/2011, Vol. 2, Marion Brandsteidl, Andreas Winter (Eds.), Université de Oldenburg, p. 7-17, septembre 2011 (best paper).
  BibTeX

• Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (regular paper). Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, 16/10/2011-21/10/2011, Vol. 6981, Jon Whittle, Tony Clark, Thomas Kühne (Eds.), Springer, LNCS, p. 213-227, septembre 2011.
  BibTeX

• Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Redouane Lbath, Hanh Nhi Tran, Mahmoud Nassar. A tool-supported approach for process modeling: application to collaborative processes (regular paper). Dans : Asia-Pacific Software Engineering Conference (APSEC 2011), Hochiminh City, 05/12/2011-08/12/2011, IEEE Computer Society - Conference Publishing Services, (support électronique), décembre 2011.
  BibTeX

• Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. MDE4HPC : An Approach for Using Model-Driven Engineering in High-Performance Computing (regular paper). Dans : International Conference on System Design Languages, Toulouse, 05/07/2011-07/07/2011, Ileana Ober, Iulian Ober (Eds.), Springer, LNCS 7083, p. 245-259, octobre 2011.
  BibTeX

• Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato. Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing (regular paper). Dans : International Conference on System Design Languages, Toulouse, 05/07/2011-07/07/2011, Ileana Ober, Iulian Ober (Eds.), IRIT, p. 33-42, 2011.
  BibTeX

• Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. MDE4HPC: An approach for Using Model-Drieven-Engineering in High Performance Computing (regular paper). Dans : International Conference on System Design Languages, Toulouse, 05/07/2011-07/07/2011, Ileana Ober, Iulian Ober (Eds.), IRIT, p. 213-228, juin 2011.
  BibTeX

• Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel. Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems (regular paper). Dans : European Conference on Software Architecture (ECSA 2011), Essen, Germany, 13/09/2011-16/09/2011, Springer, p. 295-302, septembre 2011.
  BibTeX

• Adel Ziani, Brahim Hamid, Salvador Trujillo. Towards a Unified Meta-model for Resources-Constrained Embedded Systems (regular paper). Dans : Euromicro conference on Software Engineering and Advanced Applications, Oulu, Finland, 30/08/2011-02/09/2011, IEEE Computer Society, p. 485-492, septembre 2011.
  BibTeX

• Komlan Akpédjé Kedji, Bernard Coulette, Mahmoud Nassar, Redouane Lbath, Minh Tu Ton That. Collaborative Processes in the Real World: Embracing their Essential Nature (regular paper). Dans : International Workshop on Process Based Model Driven Engineering, Birmingham, 06/06/2011-07/06/2011, IRIT, (support électronique), juin 2011.
  BibTeX

• Stefan Van Baelen, Iulian Ober, Huascar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard. Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010) (regular paper). Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Oslo, 02/10/2011-08/10/2011, Jürger Dingel, Soldberg Solberg (Eds.), Springer, LNCS 6627, p. 70-74, 2011.
  Accès : http://dx.doi.org/10.1007/978-3-642-21210-9_7
  BibTeX

• Samba Diaw, Redouane Lbath, Bernard Coulette. Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes (regular paper). Dans : International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), Miami - USA, 07/07/2011-09/07/2011, Knowledge Systems Institute , p. 646-653, juillet 2011.
  BibTeX

• Rahma Bouaziz, Brahim Hamid, Nicolas Desnos. Towards a Better Integration of Patterns in Secure Component-Based Systems Design (regular paper). Dans : International Conference on Computational Science and Applications (ICCSA 2011), University of Cantabria, 20/06/2011-23/06/2011, Vol. 5, Springer, p. 607-621, juin 2011.
  BibTeX

• Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier. Trust in MDE components: the DOMINO experiment (regular paper). Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienne, Autriche, 14/09/2010, ACM DL, (en ligne), 2011.
  Accès : http://portal.acm.org/citation.cfm?id=1868436
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois. Sharing bad practices in design to improve the use of patterns (regular paper). Dans : International Conference on Pattern Languages of Programs 2010 (PLoP 2010), Reno, Nevada (USA), 16/10/2010-18/10/2010, ACM DL, (en ligne), 2011.
  Accès : http://www.hillside.net/plop/2010/papers/bouhours.pdf
  BibTeX

• Taoufiq Dkaki, Adil Anwar, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar. A Formal Approach to Model Composition Applied to VUML Language (regular paper). Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2011), Las Vegas, 27/04/2011-29/04/2011, IEEE Computer Society, (support électronique), avril 2011.
  BibTeX

• Hanh Nhi Tran, Bernard Coulette, Thu Tran Dan, My Hang Vu. Automatic Reuse of Process Patterns in Process Modeling (regular paper). Dans : Annual ACM Symposium on Applied Computing (SAC 2011), Tungha iUniversity, Taichung, Taiwan, 21/03/2011-25/03/2011, ACM, (support électronique), mars 2011.
  BibTeX

• Iulian Ober, Iulia Dragomir. Unambiguous UML composite structures: the OMEGA2 experience (regular paper). Dans : International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), Nový Smokovec (Slovakia), 22/01/2011-28/01/2011, Královi& Královi&, Rastislav 269; (Eds.), Springer, LNCS, p. 1-12, janvier 2011.
  BibTeX

• Iulia Dragomir. System to software level model refinement in embedded system design (short paper). Dans : International Master Class on Model-Driven Engineering, 1st International Master Class on Model-Driven Engineering, 30/09/2010-02/10/2010, Ileana OBER (Eds.), IRIT, IRIT/RR-2010-20-FR, p. 19-20, septembre 2010.
  BibTeX

• Marc Palyart. MDE4HPC Model Driven Engineering for High Performance Computing (poster). Dans : International Master Class on Model-Driven Engineering - Poster Session Companion, Oslo, 30/09/2010-02/10/2010, Ileana OBER (Eds.), IRIT, p. 31-31, septembre 2010.
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois, Thierry Millan. Detection of Generic Micro-architectures on Models (regular paper). Dans : International Conferences on Pervasive Patterns and Applications (PATTERNS 2010), Lisbonne (Portugal), 21/11/2010-26/11/2010, Ali Beklen, Jorge Ejarque, Wolfgang Gentzsch, Teemu Kanstren, Yong Woo Lee (Eds.), IARIA, (support électronique), novembre 2010.
  BibTeX

• Younes Lakhrissi, Iulian Ober, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile. Event Probes: A new Mechanism to support View-based Behavioral Modeling (regular paper). Dans : International Conference on Models of Information and Communication Systems (MICS 2010), Rabat, 02/11/2010-04/11/2010, ICST, (en ligne), novembre 2010.
  Accès : http://www.icst-alliance.org/papers/files/159.pdf
  BibTeX

• Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev. Attribute Computations in the DPoPb Graph Transformation Engine (regular paper). Dans : International Workshop on Graph Based Tools (GRABATS 2010), University of Twente, Enschede, The Netherlands, 28/09/2010-28/09/2010, University of Twente, (support électronique), septembre 2010.
  BibTeX

• Brahim Hamid, Adel Ziani. An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES (regular paper). Dans : IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2010), Hong Kong SAR, China, 11/12/2010-13/12/2010, IEEE Computer Society - Conference Publishing Services, p. 60-67, décembre 2010.
  BibTeX

• Salvador Trujillo, Antonio Perez, David Gonzalez, Brahim Hamid. Towards the Integration of Advanced Engineering Paradigms into RCES: Raising the issues for the Safety-Critical Model-Driven Product-Line Case (short paper). Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienna, 14/09/2010-14/09/2010, ACM, p. 1-4, septembre 2010.
  BibTeX

• Brahim Hamid, Nicolas Desnos, Cyril Grepet, Christophe Jouvray. Model-Based Security and Dependability Patterns in RCES – the TERESA Approach (short paper). Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienna, 14/09/2010-14/09/2010, Brahim Hamid, Carsten Rudolph, Christoph Ruland (Eds.), ACM, p. 1-4, septembre 2010.
  BibTeX

• Bastien Amar, Hervé Leblanc, Bernard Coulette, Clémentine Nebut. Using Aspect-Oriented Programming to Trace Imperative Transformations (regular paper). Dans : Enterprise Distributed Object Computing Conferece, Vitoria (Brésil), 25/10/2010-29/10/2010, IEEE Computer Society - Conference Publishing Services, p. 143-152, octobre 2010.
  BibTeX

• Anna Medve, László Kozma, Ileana Ober. General Modelling Approach Based on the Intensive Use of Architectural and Design Patterns (regular paper). Dans : IADIS Applied Computing, Timisoara, Romania, 14/10/2010-17/10/2010, Hans Weghorn, Pedro Isaías, Radu Vasiu (Eds.), IADIS, p. 251-255, septembre 2010.
  BibTeX

• Bastien Amar, Hervé Leblanc, Philippe Dhaussy, Bernard Coulette. Transformation Reuse to Guide Co-evolution of Models (regular paper). Dans : International Conference on Software and Data Technologies (ICSOFT 2010), Athènes (Grèce), 22/07/2010-24/07/2010, Vol. 2, José Cordeiro, Maria Virvou, Boris Shisshkov (Eds.), Institute for Systems and Technologies for Information, Control and Communication, p. 73-81, juillet 2010.
  BibTeX

• Dan Chiorean, Vladiela Petrascu, Ileana Ober. Testing-Oriented Improvements of OCL Specification Patterns (regular paper). Dans : IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2010), Cluj Napoca, Roumanie, 28/05/2010-30/05/2010, Vol. II, Paolo Prinetto, Paula Raica, Dorina Capatina (Eds.), IEEE Computer Society, p. 143-148, mai 2010.
  BibTeX

• Brahim Hamid, Fatma Krichen. Model-Based Engineering for Dynamic Reconfiguration in DRTES (regular paper). Dans : Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010), Copenhagen, Denmark, 23/08/2010-24/08/2010, ACM, p. 269-276, août 2010.
  BibTeX

• Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira. A UML based deployment and management modeling for cooperative and distributed applications (regular paper). Dans : International Conference on Software Engineering Research, Management and Applications (SERA 2010), Monreal, Canada, 24/05/2010-26/05/2010, Springer, p. 87-101, mai 2010.
  BibTeX

• Samba Diaw, Redouane Lbath, Vinh Le Thai, Bernard Coulette. SPEM4MDE: a Metamodel for MDE Software Processes Modeling and Enactment. (regular paper). Dans : Workshop on Model-Driven Tool & Process Integration - Associated to ECMFA (European Conference on Modelling Foundations and Applications), Paris, 15/06/2010-18/06/2010, Springer, (support électronique), juin 2010.
  BibTeX

• Adel Ziani, Brahim Hamid. Clock Synchronization Modeling in DRTES (regular paper). Dans : Hands-on Platforms and tools for model-based engineering of Embedded Systems (workshop at ECMFA 2010) (HoPES 2010), Paris, 15/06/2010-16/06/2010, CEA LIST, p. 51-56, 2010.
  BibTeX

• Fatma Krichen. Position paper: Advances in Reconfigurable Distributed Real Time Embedded Systems (regular paper). Dans : International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE 2010), Tozeur, Tunisie, 30/05/2010-30/05/2010, IEEE Computer Society, p. 273-278, juin 2010.
  BibTeX

• Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette. Designing Dynamic Reconfiguration of Distributed Real Time Embedded Systems (regular paper). Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisie, 31/05/2010-02/06/2010, IEEE Computer Society, p. 249-254, juin 2010.
  BibTeX

• Iulian Ober, Iulia Dragomir. OMEGA2: A new version of the profile and the tools (regular paper). Dans : UML&AADL'2009 - 14th IEEE International Conference on Engineering of Complex Computer Systems, Oxford, Royaume Uni, 24/03/2010-25/03/2010, IEEE, p. 373-378, 2010.
  BibTeX

• Ileana Ober, Louis Féraud, Christian Percebois. Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper). Dans : UML&FM, Rio de Janeiro, 08/12/2009-08/12/2009, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, p. 17-23, décembre 2009.
  BibTeX

• Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev. Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper). Dans : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/2009-14/10/2009, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
  BibTeX

• El Arbi Aboussoror, Ileana Ober, Michelle Sibilla. Towards Model Based Development of Managed Networked Embedded Systems. Dans : System Design Languages Forum, Bochum, Germany, 22/09/2009-24/09/2009, Rick Reed, Reinhard Gotzhein, Attila Bilgic (Eds.), Springer-Verlag, LNCS 5719, p. 55-65, septembre 2009.
  BibTeX

• Thierry Millan, Laurent Sabatier, Thanh Thanh Le Thi, Pierre Bazex, Christian Percebois. An OCL extension for checking and transforming UML Models. Dans : WSEAS - International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2009), Cambridge, United Kingdom, 21/02/2009-23/02/2009 (conférencier invité), WSEAS Press, p. 144-150, 2009.
  BibTeX

• Ana Moreira, Jean-Michel Bruel, Joao Araujo. Adding Behavior Description Support to COTS Components through the use of Aspects. Dans : International Workshop on Models for Non-functional Aspects of Component-Based Software, Toulouse, 05/09/2005-05/09/2005, Vol. IRIT-RR-2005-01-FR, IRIT, p. 9-19, septembre 2009.
  BibTeX

• Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel. RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems (regular paper). Dans : IEEE International Requirements Engineering conference (RE 2009), Atlanta, Goergia, USA, 31/08/2009-04/09/2009, IEEE Computer Society, p. 79-88, 2009.
  Résumé Accès : http://www.re09.org/
  BibTeX

• Thanh Thanh Le Thi, Pierre Bazex, Thierry Millan. MODELING OF LANGUAGES’ GRAMMARS IN UML/OCL: APPLYING TO A MODEL DRIVEN SOFTWARE DEVELOPMENT PROCESS. Dans : International Conference on Theories and Applications of Computer Science (ICTACS 2009), Nha Tra ng Vietnam, 06/02/2009-08/02/2009, Vol. 46, Dat H. Nguyen, Duc A. Duong, Thu D. Tran, Thuc D. Nguyen, Thuy B. T. Dong (Eds.), Vietnam Academy of Science and Technology, p. 25-46, février 2009.
  BibTeX

• Dania Harb, Cédric Bouhours, Hervé Leblanc. Using an Ontology to Suggest Design Patterns Integration. Dans : Workshops and Symposia at Models 2008, Toulouse, 28/09/2008-03/10/2008, Vol. 5421/2009, M.R.V. Chaudron (Eds.), Springer-Verlag, p. 318-331, 2009 (Best paper).
  BibTeX

• Mahmoud Nassar, Adil Anwar, Sophie Ebersold, Bouchra El Asri, Bernard Coulette, Abdelaziz Kriouile. Code Generation in VUML Profile: a Model Driven Approach. Dans : ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, 10/05/2009-13/05/2009, IEEE Computer Society, (support électronique), mai 2009.
  BibTeX

• Anna Medve, Ileana Ober. From Models to Components: Filling the Gap with SDL Macro-patterns. Dans : Innovation In Software Engineering, Vienna, 10/12/2008-12/12/2008, IEEE, p. 57-72, décembre 2008.
  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 at MoDELS 2008, Toulouse, 28/09/2008, Vol. 395, Fernando Silva Parreiras, Jeff Z. Pan, Uwe Assmann, Jakob Henriksson (Eds.), CEUR Workshop Proceedings, (en ligne), octobre 2008.
  Accès : http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-395/paper01.pdf
  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/2008-21/04/2008, 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/2008-05/09/2008, 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 (regular paper). Dans : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri Island, Italy, 01/10/2008-03/10/2008, Vol. 5287, Springer-Verlag, Lecture Notes in Computer Science, p. 9-20, octobre 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/2008-03/10/2008, 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/2008-12/06/2008, 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/2008-01/10/2008, 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/2008-19/09/2008, 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. Towards a generic approach for model composition. Dans : International Conference on Software Engineering Advances (ICSEA 2008), Sliema (Malte), 26/10/2008-31/10/2008, 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/2008-22/08/2008, 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/2008-16/05/2008, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 2008.
  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/2008-11/04/2008, 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/2008-16/06/2008, 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/2008-16/06/2008, INSTICC Press, p. 94-103, juin 2008.
  BibTeX

• Redouane Lbath, Mohammed 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/2008-11/05/2008, 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/2008-20/06/2008, 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/2008-01/02/2008, SIA/3AF/SEE, (support électronique), janvier 2008.
  BibTeX

• Nicolas Belloir, Jean-Michel Bruel. Component based development: a composition oriented approach. Dans : IEEE International Conference on Research, Innovation and Vision for the Futur (RIVF 2007), Hanoi, Vietnam, 07/03/2007-09/03/2007, IEEE Computer Society, p. 101-106, 2007.
  Accès : http://www.rivf.org/
  BibTeX

• Fabien Romeo, Franck Barbier, Jean-Michel Bruel. Observability and controllability of wireless software components. Dans : IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2007), Paphos, Cyprus, 06/06/2007-08/06/2007, Springer, LNCS 4531, p. 48-61, 2007.
  Accès : http://web.univ-pau.fr/~fromeo/pub/ROMEO_DAIS07.pdf
  BibTeX

• Fabien Romeo, Franck Barbier, Jean-Michel Bruel. Autonomic management of component-based embedded software. Dans : IFIP/IEEE International Symposium on Integrated Network Management (IM 2007), Munich, Germany, 21/05/2007-25/05/2007, IEEE Computer Society, p. 860-863, 2007.
  Accès : http://web.univ-pau.fr/~fromeo/pub/ROMEO_DAIS07.pdf
  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/2007-01/05/2007, 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/2007-06/05/2007, 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/2007-31/08/2007, 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/2007-30/11/2007, 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 (ICSEA 2007), France, 25/08/2007-31/08/2007, 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/2007-09/11/2007, 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/2007-11/07/2007, 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 (ICSEA 2007), Cap Estérel, 25/08/2007-31/08/2007, IEEE Computer Society, (support électronique), août 2007.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/HNTran-etal-ICSEA2007.pdf
  BibTeX

• Mohammed 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/2007-04/09/2007, 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/2007-05/10/2007, 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/2007-03/10/2007, 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/2007-25/07/2007, 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

• Mohammed Kabbaj, Redouane Lbath. Towards Dynamic Adaptation of Software Development Processes - Doctoral Symposium. Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2006), Genova, Italy, 01/10/2006-06/10/2006, Springer-Verlag, (support électronique), octobre 2006.
  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/2006-09/06/2006, 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/2006-16/06/2006, 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/2006-28/04/2006, 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/2006-14/06/2006, 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/2006-05/08/2006, World Scientific , (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/2006-16/06/2006, 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/2006-27/10/2006, 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/2006-24/10/2006, Francesca Arcelli, Claudia Raibulet, Guiliano Antoniol, Yann-Gaël Guéhéneuc, Jason McC Smith (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/2006-16/06/2006, Agder University College - Faculty of Engineering and ScienceE, p. 8-28, 2006.
  BibTeX

• François 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/2006-25/05/2006, 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/2006-04/05/2006, Association Française d'Ingénierie Système (AFIS), p. 1-8, 2006.
  Résumé
  BibTeX

• Brahim Hamid, Mohamed Mosbah. A formal model for fault-tolerance in distributed systems. Dans : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2005), Fredrikstad, Norway, 26/09/2005-30/09/2005, Vol. 3688, Springer, LNCS, p. 108-121, septembre 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/2005-25/05/2005, 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/2005-05/07/2005, 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/2005, 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/2005-04/11/2005, 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/2005-28/05/2005, 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/2005-02/06/2005, 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/2005-30/06/2005, 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/2005-02/12/2005, 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/2005-16/07/2005, 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/2005-25/02/2005, 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/2005-30/06/2005, 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/2005-24/06/2005, 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/2004-17/04/2004, 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/2004-02/12/2004, 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/2004-20/09/2004, 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/2004-27/08/2004, 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/2003-18/07/2003, 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/2003-07/05/2003, 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/2003-27/06/2003, 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/2003-05/09/2003, 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/2002-31/10/2002, 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/2002, 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/2001-06/12/2001, 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/2000-23/09/2000, 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/2000-19/04/2000, 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/2000-26/07/2000, 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/1999-05/08/1999, 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/1999-03/09/1999, 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/1999-11/06/1999, 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/1999-07/10/1999, Pen-Chung Yew, University of Minnesota, octobre 1999.
  Résumé Accès : http://www.irit.fr/publis/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/1998-28/08/1998, 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/1998-17/11/1998, 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/1998-10/12/1998, 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/1998-20/11/1998, 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/1998-18/11/1998, 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/1996-27/09/1996, 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-Christophe Sakdavong. Building distributed applications with HECTOR. Dans : ECOOP'96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• J-Christophe 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/1993-19/11/1993, 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/1993-11/11/1993, 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/1993-04/11/1993, 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/1993-07/05/1993, 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/1993-11/03/1993, Prentice Hall, p. 151-164, 1993.
  BibTeX

• Lucile Torres, Redouane Lbath. ORL : A Tool for Knowledge Programming (regular paper). Dans : IASTED International Conference on Expert Systems, theory and applications, Zurich, Switzerland, septembre 1991.
  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/2001-02/05/2001, 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/1988-08/12/1988, EC2, (support électronique), 1988.
  BibTeX

• Mourad Oussalah, Redouane Lbath, Norbert Giambiasi. A general framework for hierarchical/multi-views modeling (regular paper). Dans : International Symposium on Applied Simulation and Modelling (ASM ), Santa Barbara, California, USA, p. 112-118, mai 1987.
  BibTeX

• Redouane Lbath, Norbert Giambiasi, Claude Delorme. FRaHM : A Framework for Reasoning about Hierarchical/Multi-vues Models (regular paper). Dans : System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Rhodes, Greece, 26/08/1987-28/08/1987, Vol. 2, Spyros Tzafestas, Singh Madan, Günther Schmidt (Eds.), Kluwer Academic Publishers, p. 29-41, août 1987.
  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/1987-15/05/1987, EC2, (support électronique), 1987.
  BibTeX

• Claude Delorme, Redouane Lbath. A CAD Framework for Digital Circuits Incorporating Hierarchical Models. (regular paper). Dans : COMPINT'86, Montréal, Canada, IEEE, 1986.
  BibTeX

• Redouane Lbath, Brendan Mcgee. An Adaptive and Evolutive Tool for Test generation based on frames and demons (regular paper). Dans : International Symposium on Fault-Tolerant Computing (FTCS ), Ann Arbor, Michigan, USA, 1985.
  BibTeX

Conférences et workshops nationaux / National conferences articles

• Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold, Mahmoud Nassar. Établissement de liens entre modèles hétérogènes. Illustration par un cas d'étude (short paper). Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, 19/06/2012-21/06/2012, IRISA, (support électronique), 2012.
  BibTeX

• Fatma Krichen, Amal Gassara, Bechir Zalila, Brahim Hamid, Mohamed Jmaiel. Modélisation et vérification des systèmes embarqués temps réel reconfigurables (regular paper). Dans : Conférence Francophone sur les Architectures Logicielles (CAL 2012), Montpellier, 29/05/2012-31/05/2012, 2012 (à paraître).
  BibTeX

• Ileana Ober, Sébastien Gérard. Modeling Wizards : École d'automne dédiée à la modélisation (regular paper). Dans : Journées nationales du GDR CNRS Programmation et Logiciel, Lille, France, 08/06/2011-10/06/2011, Yves Ledru, Anne-Françoise Le Meur, Olivier Caron (Eds.), Université de Lille, p. 77-81, 2011.
  BibTeX

• Marc Palyart. HPCML - un langage dédié au calcul scientifique (regular paper). Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), Lille, 07/06/2011-08/06/2011, Ileana Ober (Eds.), IRIT, p. 31-36, juin 2011.
  BibTeX

• Bernard Coulette, Komlan Akpédjé Kedji, Mahmoud Nassar, Redouane Lbath. Vers un méta-modèle pour la description des processus IDM collaboratifs (regular paper). Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), Lille, 07/06/2011-08/06/2011, Hermès, (support électronique), juin 2011.
  BibTeX

• Mustapha Hain, Abdelaziz Marzak, Bernard Coulette. Vers une démarche pour le développement de PIM à base de Composants Multivue (regular paper). Dans : Conférence Francophone sur les Architectures Logicielles (CAL 2011), Lille, 07/06/2011-08/06/2011, Hermès, (support électronique), juin 2011.
  BibTeX

• Samba Diaw, Redouane Lbath, Bernard Coulette. Spécification dans une vision IDM des procédés de développement logiciel (regular paper). Dans : Colloque National sur la Recherche en Informatique et ses Applications (CNRIA 2010), Saint-Louis, Sénégal, 28/04/2010-30/04/2010, Laboratoire d'Analyse Numérique et d'Informatique (LANI), (support électronique), avril 2010.
  BibTeX

• Rahma Bouaziz, Brahim Hamid, Nicolas Desnos. Droits d’accès aux services offerts par des composants logiciels (regular paper). Dans : Sécurité des Systèmes d'Information et les Environnements Collaboratifs - INFORSID 2010 (SEC-SY 2010), Marseilles, 25/05/2010-25/05/2010, IRIT, p. 13-25, mai 2010.
  BibTeX

• Samba Diaw, Redouane Lbath, Bernard Coulette. SPEM4MDE : un métamodèle basé sur SPEM2 pour la spécification des procédés MDE (regular paper). Dans : MAnifestation des Jeunes Chercheurs STIC (MajecStic 2009), Avignon, 16/11/2009-18/11/2009, Laboratoire Informatique d'Avignon, (support électronique), novembre 2009.
  BibTeX

• Bernard Coulette. Points de vue sur la réutilisation : du produit logiciel au processus (regular paper). Dans : Atelier ERTSI, associé à la conférence INFORSID, Toulouse, 26/05/2009-26/05/2009 (conférencier invité), Association INFORSID, (support électronique), mai 2009.
  BibTeX

• Adil Anwar, Sophie Ebersold, Bernard Coulette. Approches de composition de modèles : une vue représentative de l’existant (regular paper). Dans : Atelier ERTSI, associé à la conférence INFORSID, Toulouse, 26/05/2009-29/05/2009, Hermès, (support électronique), mai 2009.
  BibTeX

• Mohamed-Lamine Boukhanoufa, Brahim Hamid, Agnes Lanusse, Ansgar Radermacher. Démarche de développement à base de composant d'applications embarquées tolérantes aux fautes (regular paper). Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2009), Nancy, France, 25/03/2009-26/03/2009, Hermès, p. 65-72, 2009.
  BibTeX

• Nicolas Belloir, Jean-Michel Bruel, Natacha Hoang, Congduc Pham. Utilisation de SysML pour la modélisation des réseaux de capteurs sans fil (regular paper). Dans : Conférence sur les Langages et Modèles à Objets (LMO 2008), Montréal, Canada, 03/03/2008-07/03/2008, Cépaduès Editions, p. 171-186, mars 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/MACAO/LMO08.pdf
  BibTeX

• 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/2008-27/05/2008, 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/2008-07/03/2008, Cépaduès Editions, p. 141-154, février 2008.
  BibTeX

• Nicolas Belloir, Jean-Michel Bruel, Eric Cariou. Implémentation d'un modèle UML de composition hiérarchique. Dans : Conférence sur les Langages et Modèles à Objets (LMO 2007), Toulouse, 27/03/2007-29/03/2007, Hermès, p. 35-47, 2007.
  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/2007-30/03/2007, Hermès, (support électronique), mars 2007.
  BibTeX

• Mohammed Dahchour, Hamza 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/2006-09/12/2006, 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/2006-14/05/2006, 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/2006-17/03/2006, 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/2006, Association 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/2006-14/05/2006, 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/2006-03/05/2006, 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/2006, 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/2006-28/06/2006, Laurence Duchien, Cédric Dumoulin (Eds.), Model Driven Engineering (MDE), p. 239-244, juin 2006.
  Accès : http://planetmde.org/idm06/actes.pdf
  BibTeX

• François Vernadat, Patrick Farail, Alain Rossignol, Christian Percebois, R. Vingerhoeds, Jean-Pierre Talpin. Le projet TOPCASED : A Toolkit in OPen-source for Critical Applications and SystEm Development. Dans : Conférence d'Ingénierie Système (AFIS 2006), Toulouse, France, 02/03/2006-04/03/2006, Association Française d'Ingénierie Système (AFIS), p. 33-38, mars 2006.
  BibTeX

• Hervé Leblanc, Thierry Millan, Ileana Ober. Démarche de développement orienté modèles : de la vérification de modèles à l'outillage de la démarche. Dans : Ingénierie Dirigée par les Modèles, Paris, 30/06/2005-01/07/2005, Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Müller, Xavier Blanc (Eds.), CEA List - ISBN 2-7261-1284-6, p. 125-140, juin 2005.
  Accès : http://idm.imag.fr/idm05/
  BibTeX

• Xavier Crégut, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette. Un patron de génération de code pour le profil VUML. Dans : Objets, Composants et Modèles (OCM), Berne, Suisse, 09/03/2005-11/03/2005, ., p. 5-12, mars 2005.
  BibTeX

• Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex. Projet NEPTUNE : vérification statique de modèles. Dans : NEPTUNE 2004 -génie logiciel juin 2004 numéro 69 Vérification de modèles, Paris, 24/06/2004, Jean-Claude Rault (Eds.), GL&IS, 8, rue du parc 92190 MEUDON - France, p. 45-50, juin 2004.
  Résumé
  BibTeX

• Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix. Vers une transformation avancée de données structurées. Dans : MAJESTIC, Calais, France, 13/10/2004-15/10/2004, Maison de la Recherche Blaise Pascal, octobre 2004.
  BibTeX

• Marjorie Couzinier. Sur quelques approches de la sémantique en Object-Z des diagrammes dynamiques en UML. Dans : JOCM 2004, Lille, 16/03/2004, GDR ALP, p. 7-12, mars 2004.
  BibTeX

• Redouane Lbath, Bernard Coulette. An Agent Approach to Process Modeling and Enactment in the Process-centered Software Engineering Environment RHODES (regular paper). Dans : COPSTIC, Rabat, Maroc, 11/12/2003-13/12/2003, ENSIAS, p. 35-40, décembre 2003.
  BibTeX

• Pierre Bazex, Jean-Paul Bodeveix, Christophe Le Camus, Thierry Millan, Christian Percebois. Vérification de modèles UML fondée sur OCL. Dans : INFORSID, Nancy, 03/06/2003-06/06/2003, INFORSID (actes électroniques), p. 185-200, juin 2003.
  Résumé
  BibTeX

• Ileana Ober, Bernard Coulette, Marcel Gandriau. Action language for UML. Dans : Langages et Modèles à Objets, Mont Saint Hilaire, 26/01/2000-28/01/2000, Hermès Science Publication, p. 227-291, janvier 2000.
  BibTeX

• Franck Duluc, Michel Domeon. SGML et HYPERMEDIA : la Documentation Aeronautique. Dans : Journée SGML User's Group France, Paris, 18/06/1998, SGML User's Group France, juin 1998.
  BibTeX

• Norbert Giambiasi, Redouane Lbath, Claude Touzet. Une approche connexionniste pour calculer l'implication floue dans les systèmes à base de règles (regular paper). Dans : Conference Neuro-Nimes'89, , novembre 1989.
  BibTeX

• Redouane Lbath, Claude Delorme. Un système à base de connaissances pour la génération de séquences de test (regular paper). Dans : Colloque International sur la Fiabilit¿ et la Maintenabilit¿, Biarritz, France, 06/10/1986-10/10/1986, octobre 1986.
  BibTeX

• Redouane Lbath, Eugène Chouraqui. Architecture d'un système expert d'aide au diagnostic de pannes (regular paper). Dans : Colloque International sur la Fiabilit¿ et la Maintenabilit¿, Lanion, France, octobre 1984.
  BibTeX

Conférences sans actes publiés / Conference articles without published proceedings

• Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Bernard Coulette, Mahmoud Nassar. Maintien de la cohérence de modèles hétérogènes par synchronisation des changements. Dans : Groupe de travail RIMEL, GDR GPL, Nîmes, 17/12/2012-17/12/2012.
  BibTeX

• Thierry Millan, Agusti Canals. L'IDM où en est-on ? Dans : Journées du GDR GPL, Lille, 09/06/2011-10/06/2011 (conférencier invité).
  BibTeX

• Samba Diaw, Vinh Thai Le , Hanh Nhi Tran, Redouane Lbath, Bernard Coulette. Feedback on Using TOPCASED Components for Developing a MDE Process-centered Environment. Dans : TOPCASED Days, Toulouse, 02/02/2011-04/02/2011.
  BibTeX

• Redouane Lbath. Software Process Modeling and Enactment, Process Deviations Management, and Model-Driven Development. Dans : Journée Processus et IDM, Université UPMC, Paris, 23/06/2010.
  BibTeX

• Brahim Hamid. Alternative Paths to Components and Systems: Challenge objectives and Success Stories. Dans : International Networking Event on Med-EU ICT Co-operation, Hammamet, Tunisia, 08/11/2010-10/11/2010 (conférencier invité).
  BibTeX

• Jean-Michel Bruel, Nicolas Belloir, Manzoor Ahmad. SPAS : un profil SysML pour les systèmes auto-adaptatifs. Dans : 15ème Colloque National de la Recherche en IUT (CNRIUT), Lille, 08/06/2009-10/06/2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/MACAO/Bruel-etal-CNRIUT2009.pdf
  BibTeX

• Manzoor Ahmad, Jean-Michel Bruel, Antoine Beugnard. From Composition to Connectors. Dans : MDD4DRES 2009, Aussois, France, 20/04/2009-24/04/2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/MACAO/Ahmad-etal-MDD4DRES2009.pdf
  BibTeX

• Younes Lakhrissi, Adil Anwar, Bernard Coulette, Sophie Ebersold, Iulian Ober. VUML (View-based UML) : Composition de modèles par points de vue. Dans : LMO 2009 - Poster, Nancy, 25/03/2009-27/03/2009.
  BibTeX

• Younes Lakhrissi, Iulian Ober, Bernard Coulette. Spécification et composition du comportement par point de vue. Dans : Journées GDR GPL - Atelier COSMAL, Toulouse, 27/01/2009-30/01/2009.
  BibTeX

• Cédric Bouhours. Une activité de revue de design pour améliorer les modèles à objets. Dans : 1er Workshop Paterns & Architectures 2008, Telecom - Bretagne (Rennes), 15/05/2008 (conférencier invité).
  BibTeX

• Younes Lakhrissi, Iulian Ober, Bernard Coulette, Mahmoud Nassar, Abdelaziz Kriouile. Vers la notion de machine à états multivue dans le profil VUML. Dans : Atelier WOTIC 2007, Rabat, 05/07/2007-06/07/2007.
  BibTeX

• Abdelaziz Nassar, Bouchra El Asri, Abdelaziz Kriouile, Bernard Coulette. Prise en compte des dépendances inter-acteurs dans VUML. Dans : Atelier WOTIC 2007, Rabat, 05/07/2007-06/07/2007.
  BibTeX

• Thierry Millan, Christian Percebois, Pierre Bazex. NEPTUNE : vers un atelier de manipulation de modèles. Dans : Workshop OPEES, Paris, 28/06/2007-29/06/2007.
  BibTeX

• Brahim Hamid. Distributed maintenance of spanning trees using graph relabeling systems. Dans : Workshop on Graph Computation Models (GCM'06), a satellite event of the The third International Conference on Graph Transformation (ICGT'06), Natal, Brazil, 18/09/2006-18/09/2006.
  BibTeX

• Hervé Leblanc, Thierry Millan, Agusti Canals, Alain Rossignol. Anti-patterns pour la modèlisation des processus de développement. Dans : NEPTUNE'2006, Paris, 16/05/2006-16/05/2006, Pierre Bazex, Agusti Canals , Jean-Claude Rault (Eds.).
  Accès : http://neptune.irit.fr/Public/AnglaisV2/workshop_2006.html
  BibTeX

• Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud. Modélisation en UML et OCL de langages dédiés. Dans : Journée KERMETA 2006, Rennes, France, 10/10/2006.
  BibTeX

• Thomas Gely, Thierry Millan, Hervé Leblanc, Cédric Bouhours, Pierre Bazex. Définition d’un atelier de validation de modèles. Dans : Journée KERMETA 2006, Rennes, France, 10/10/2006.
  BibTeX

• Arlette Sebatware, Ali Abou Dib, Pierre Bazex, Christian Percebois. Vers la modélisation UML de la syntaxe et de la sémantique d’un langage de programmation. Dans : Séminaire Interopérabilité pour les procédures opérationnelles, IAS, Toulouse, France, 12/04/2006.
  BibTeX

• Pierre Bazex, Christian Percebois. Modèles, Méta-modèles et Transformation de modèles. Dans : Journée transformation de modèles vers VHDL-AMS du LAAS, TOULOUSE, 07/02/2006.
  BibTeX

• Brahim Hamid. A formal model for snap-stabilization in distributed systems. Dans : The Poster Session of the symposium on self-stabilizing systems (SSS'05), Barcelona, Spain, 25/10/2005-27/10/2005.
  BibTeX

• Brahim Hamid, Mohamed Mosbah. A model for self-stabilization using relabeling systems. Dans : Cinquième journées scientifiques des jeunes chercheurs en génie électrique et informatique (GEI'05), Sousse, Tunisie, 25/03/2005-27/03/2005.
  BibTeX

• Thierry Millan. Validation of UML Models using OCL. Dans : Journée de travail trans-régionales, Lausane (Suisse), 25/09/2005 (conférencier invité).
  BibTeX

• El Abbassia Deba, Pierre Bazex. Mapping in model engineering. Dans : EWMT'2005, First European Workshop in Model Transformation, Rennes, France, 26/09/2005.
  Accès : http://www-valoria.univ-ubs.fr/ewmt05/pdf/final_articles/Deba-EWMT05-final.PDF
  BibTeX

• Thierry Millan, Hervé Leblanc, Ileana Ober, Christian Percebois, Pierre Bazex, Ralph Sobek. Tooling a UML method based on OCL. Dans : New concepts and technologies for ground system software : Why and How?, Toulouse, 21/11/2005-21/11/2005, Erwan Poupart (Eds.).
  BibTeX

• Marjorie Couzinier, Louis Féraud. Une approche formelle des diagrammes dynamiques d'UML via TLA+. Dans : FAC'05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/2005-10/03/2005.
  Accès : http://www.cert.fr/francais/deri/michel/FAC
  BibTeX

• Brahim Hamid, Mohamed Mosbah. Détection de pannes dans un système distribué par échange local de messages,. Dans : Journées Scientifiques Francophones (JSF'03), Tozeur, Tunisie, 20/12/2003-21/12/2003.
  BibTeX

• El Abbassia Deba. Transformation de Modèles de Données. Dans : Colloque Doctoral : EDIT¿03, Toulouse, France, 14/04/2003-15/04/2003.
  BibTeX

• Sergei Soloviev, Louis Féraud. Désenvoûter le numérique. Dans : Journées PRESCOT, Toulouse, .
  BibTeX

• Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan. Modélisation et transformations de données. Dans : Journées sur les technologies applicables à la valorisation de données, Toulouse, .
  BibTeX

• Franck Duluc. Intégrer le Multimédia à la documentation technique. Dans : Colloque ANRT-INA "Les thèses Cifre dans le domaine de l'audiovisuel" , Paris, 23/09/1999.
  BibTeX

• Patrice Cros, Louis Féraud. Interoperability and granularity : some limits of CORBA. Dans : Ecole ISYPAR, IRIT-Toulouse, .
  BibTeX

• Frédéric Mulatéro, Pierre Bazex, Jean-Marc Thévenin. A Global Garbage Collector for Federated Database management systems. Dans : BDA'98, HAMMAMET (Tunisie), 26/10/1998-30/10/1998.
  BibTeX

• Franck Duluc. Multimédia et documentation technique. Dans : Congrès RSI (Ré-ingénierie des Systèmes d'Informations), LYON, 01/04/1998-02/04/1998.
  BibTeX

• Salam Majoul, Christian Percebois, Jean-Paul Bodeveix. Reasoning about Negative Conditions in a Concurrent Rewriting System. Dans : 2nd France-Japan Workshop on Object-Based Parallel and Distributed Computation, Toulouse, .
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud, J Pouilly. Programmation Orientée Objet Distribuée : les perspectives du modèle HECTOR. Dans : Actes des Journées du GDR programamtion, Lille, .
  BibTeX

• Jean-Paul Bahsoun, Jean-Pierre Briot, Louis Féraud, Denis Caromel, O Nierstrasz, P Wegner. How could object-oriented concepts and parallelism cohabit? Dans : Actes de IEEE ICCL'94, -, .
  BibTeX

Rapports / Reports

• Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar, Adil Anwar. Etat de l’art sur la gestion de la cohérence de modèles hétérogènes.. Rapport de recherche, IRIT/RR-2012-14-FR, Université de Toulouse-le-Mirail, novembre 2012.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/RapportIRIT-MEH-et-al.pdf
  BibTeX

• Komlan Akpédjé Kedji, Bernard Coulette. Definition of collaborative processes for model driven engineering - State of the art. Rapport de recherche, IRIT/RR-2011-3-EN, IRIT, février 2011.
  BibTeX

• Ileana Ober. Modeling Wizards 1st International Master Class on Model-Driven Engineering Poster Session Companion. Rapport de recherche, IRIT/RR-2010-20-FR, IRIT, septembre 2010.
  BibTeX

• Mohammed Kabbaj, Redouane Lbath, Bernard Coulette. Etat de l’art sur l’adaptation dynamique des procédés de développement de logiciels. Rapport de recherche, RR--2009-1--FR, IRIT, janvier 2009.
  BibTeX

• Mohammed Kabbaj. État de l'art sur l'adaptation dynamique des procédés de développement de logiciels. Rapport de recherche, IRIT/RR--2009-1--FR, Université de Toulouse, février 2009.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/RapportIRIT-Kabbaj.pdf
  BibTeX

• Lars Pareto, Dehlen Vegard, Mohagheghi Parastoo, Cédric Bouhours, Miroslaw Staron, Franck Weil, Cecilia Bastarrica, Sebastian Rivas, Pedro O. Rossel, Christian Lange, Ludwik Kuzniarz. Towards a Unified Quality Model for Models. Rapport de recherche, ISSN : 1654-4870, University of GOTEBORG, Goteborg, Sweden, 2008.
  BibTeX

• Younes Lakhrissi, Bernard Coulette, Iulian Ober, Mahmoud Nassar, Abdelaziz Kriouile. Démarche VUML statique et dynamique - Application à une étude de cas. Rapport de recherche, IRIT/RR-2008-1-FR, IRIT, février 2008.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/RapportIRITLakhrissi-etal.pdf
  BibTeX

• Cédric Bouhours, Hervé Leblanc, Christian Percebois. Alternative Models for Structural Design Patterns. Rapport de recherche, IRIT/RR--2007-1--FR, IRIT, décembre 2007.
  Accès : http://www.irit.fr/recherches/DCL/MACAO/docs/AlternativeModelsForStructuralDesignPatterns.pdf
  BibTeX

• Redouane Lbath. CASP / PMM - An Agent-based System for Computer-Aided Software Process Modeling and Enactment: the Process Meta-Model (Version 1.0). Rapport de recherche, GRIMM-ISYCOM-2005-4, GRIMM-ISYCOM, Université de Toulouse II, décembre 2005.
  BibTeX

• Jan Oyvind Aagedal, Geri Georg, Raffaela Mirandola, Ileana Ober, Dorina Petriu. Proceedings of the 2nd International Workshop on Models for Non-functional Aspects of Component-Based Software. Rapport de recherche, IRIT-RR-2005-01-FR, IRIT, septembre 2005.
  BibTeX

• Hanh Nhi Tran, Bernard Coulette. Etatd de l'art sur les patrons de procédés. Rapport de recherche, IRIT/2005-11-R, Université de Toulouse-le-Mirail, 2005.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/RapportIRIT-Tran-Coulette.doc.pdf
  BibTeX

• Jean-Michel Bruel, Georg Geri, Hussmann Heinrich, Ileana Ober, Pohl Christoph , Whittle Jon , Zschaler Steffen . Proceedings of the 1st International Workshop on Models for Non-functional Aspects of Component-based Software. Rapport de recherche, TUD-FI04-12-Sept.2004, Université Technique de Dresde, Allemagne, septembre 2004.
  BibTeX

• Hatim Kharraz Aroussi , Catherine Comparot, Bernard Coulette. Utilisation de XML pour la représentation de classes multivues. application au cas SED (Système d'Enseignement à Distance). Rapport de recherche, IRIT/02-26-R, Université de Toulouse-le-Mirail, 2002.
  BibTeX

• Mahmoud Nassar, Bernard Coulette. Vers un langage de modélisation unifié supportant les vues. Rapport de recherche, IRIT/02-29-R, Université de Toulouse-le-Mirail, 2002.
  BibTeX

• Didier Plaindoux, F. Cabestre, N Signès, Jean-Paul Bodeveix, Christian Percebois. Introduction au Langage SLOOP. Rapport de recherche, 94-15-R, IRIT, mai 1994.
  BibTeX

• Didier Plaindoux, F. Cabestre, Jean-Paul Bodeveix, Christian Percebois, N Signès. Les Objets SLOOP : Granularité et Concurrence. Rapport de recherche, 94-12-R, IRIT, avril 1994.
  BibTeX

• Djamel Bousebha, Redouane Lbath. Logiques temporelles : étude de synthèse. Rapport de recherche, EERIE-LERI-1990-7, LERI - Ecole EERIE, Nîmes, 1990.
  BibTeX

• Mohamed Smaili, Redouane Lbath. Modèles de l'imprécis et de l'incertain: étude de synthèse. Rapport de recherche, EERIE-LERI-1988-3, LERI - Ecole EERIE, Nîmes, 1988.
  BibTeX

Thèses et habilitations / Thesis and HDR

• Marc Palyart. Une approche basée sur les modèles pour le développement d'applications de simulation numérique haute-performance. Thèse de doctorat, Université Paul Sabatier, décembre 2012.
  Résumé
  BibTeX

• Samba Diaw. SPEM4MDE : Un métamodèle et un environnement pour la modélisation et la mise en oeuvre assistée de processus IDM. Thèse de doctorat, Université de Toulouse-le-Mirail, octobre 2011.
  BibTeX

• Thanh Thanh Le Thi. Modélisation en UML/OCL des Langages de Programmation et de leurs Propriétés, et Processus IDM. Thèse de doctorat, Université Paul Sabatier, septembre 2011.
  BibTeX

• Bastien Amar. Traçabilité des transformations et coévolution de modèles : une approche par les aspects et la composition. Thèse de doctorat, Université Paul Sabatier, octobre 2011.
  BibTeX

• Iulian Ober. Observer pour vérifier, contraindre et interagir. Applications de l'observation à la construction et à la validation des systèmes logiciels. Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2010.
  BibTeX

• Hong-Viet Luong. Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification. Thèse de doctorat, Université Paul Sabatier, octobre 2010.
  BibTeX

• Ileana Ober. Modélisation, formalisation et techniques métier. Applications au développement de systèmes hétérogènes et temps-réel. Habilitation à diriger des recherches, Université Paul Sabatier, novembre 2010.
  BibTeX

• Younes Lakhrissi. Intégration de la modélisation comportementale dans la conception par points de vue. Thèse de doctorat, Université de Toulouse-le-Mirail, juillet 2010.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/TheseLakhrissi [02-07-2010].pdf
  BibTeX

• Cédric Bouhours. Détection, Explications et Restructuration de défauts de conception : les patrons abîmés. Thèse de doctorat, Université de Toulouse, février 2010.
  Accès : http://bouhours.cedric.free.fr/publications/PhD.pdf
  BibTeX

• Ali Abou Dib. Une approche formelle de l'interopérabilité pour une famille de langages dédiés. Thèse de doctorat, Université Paul Sabatier, décembre 2009.
  Résumé
  BibTeX

• Adil Anwar. Formalisation par une approche IDM de la composition de modèles dans le profil VUML. Thèse de doctorat, Université de Toulouse-le-Mirail, décembre 2009.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/These_Anwar_finale_11dec-2009.pdf
  BibTeX

• Mohammed Kabbaj. Gestion des déviations lors de la mise en oeuvre des procédés logiciels. Thèse de doctorat, Université de Toulouse-le-Mirail, octobre 2009.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/Thèse_Kabbaj_finale_25-10-2009.pdf
  BibTeX

• Nicolas Ferry. Formalisation des modèles de la méthode Macao et réalisation d'un outil de génie logiciel pour la création d'interfaces homme machine. Thèse de doctorat, Université de Toulouse-le-Mirail, juin 2008.
  BibTeX

• El Abbassia Deba. Transformation de modèles de données : Intégration de la métamodélisation et de l'approche grammaticale. Thèse de doctorat, Université Paul Sabatier, décembre 2007.
  BibTeX

• Hanh Nhi Tran. Modélisation de procédés logiciels à base de patrons réutilisables. Thèse de doctorat, Université de Toulouse-le-Mirail, novembre 2007.
  Accès : ftp://ftp.irit.fr/IRIT/MACAO/TheseHNTran_nov2007.pdf
  BibTeX

• Mahmoud Nassar. Analyse/conception par objets et points de vue : le profil VUML. Thèse de doctorat, Institut National Polytechnique de Toulouse, septembre 2005.
  BibTeX

• May Dehayni. Une approche de la transformation de modèles fondée sur les grammaires attribuées. Thèse de doctorat, Université Paul Sabatier, juin 2004.
  BibTeX

• Liana Razmerita. Modèle Utilisateur et Modélisation Utilisateur dans les systèmes de Gestion des connaissances : une approche fondée sur les ontologies. Thèse de doctorat, Université Paul Sabatier, décembre 2003.
  BibTeX

• Hugues Cassé. Analyse des références mémoires en C par interprétation abstraite. Thèse de doctorat, Université Paul Sabatier, mars 2001.
  BibTeX

• Ileana Ober. Harmonisation des langages de modélisation avec des extensions orientées-objet et une sémantique exécutable. Thèse de doctorat, Institut National Polytechnique de Toulouse, avril 2001.
  BibTeX

• Salam Majoul. Etude et mise en oeuvre d'un modèle de coordination basé sur la réécriture. Thèse de doctorat, Université Paul Sabatier, décembre 2000.
  BibTeX

• Redouane Lbath. Un système expert d'aide à la génération de séquences de test de systèmes digitaux complexes. Thèse de doctorat, Université d'Aix-Marseille III, juin 1987.
  BibTeX

• Bernard Coulette. Logiciels croisés pour microprocesseurs. Thèse de doctorat, Université Paul Sabatier, juin 1982.
  BibTeX

Autres types de publications / Other publications

• Thierry Millan. Les modèles pourquoi faire ?. Présentation orale. septembre 2011.
  BibTeX

• Thanh Thanh Le Thi, Thierry Millan, Erwann Poupart, Laurent Sabatier, Jean-Charles Dalbin. Modélisation des langages de programmation et Processus de développement de logiciels. Diffusion scientifique. janvier 2009.
  BibTeX

• Christian Percebois, Pierre Bazex, Thierry Millan. NEPTUNE : vers un atelier de manipulation de modèles. Présentation orale. juin 2007.
  BibTeX

• Pierre Bazex. Domaines et processus méthodologiques. Présentation orale. 2007.
  BibTeX

• Thierry Millan, Thomas Gely, Christian Percebois, Pierre Bazex. Un atelier pour la vérification et la transformation de modèles. Diffusion scientifique. juin 2006.
  BibTeX