Institut de Recherche en Informatique de Toulouse

Publications

Thierry Millan

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.

Ouvrages de synthèse / Edited volumes

• 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

• 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

• 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

• Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron, Abderrahmane Ayadi. SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions. Dans : The International Arab Journal of Information Technology, Zarqa University, Jordanie, 2017 (à paraître).
  Résumé
  BibTeX

• Thierry Millan. Utilisation des bases de données orientées graphe comme référentiels de modèles. Dans : Revue des Sciences et Technologies de l'Information, Technique et Science Informatiques, Hermès Science, Vol. 35, N. 6, p. 695-719, 2016.
  Résumé
  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

• 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

• Michelle Sibilla, André Barros De Sales, Philippe Vidal, Thierry Millan, François Jocteur-Monrozier. L'approche Modelware : exploitation des modèles au c¿ur des systèmes - apports et besoins pour la vérification. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 69, p. 9-16, juin 2004.
  BibTeX

• Thierry Millan. Gestion de la persistance au travers d'un système objet. Dans : La lettre Ada, EC2, Vol. -, décembre 1995.
  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

• 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/11-07/12/11, 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/11-07/12/11, IEEExplore digital library, p. 471-476, décembre 2011.
  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/10-26/11/10, Ali Beklen, Jorge Ejarque, Wolfgang Gentzsch, Teemu Kanstren, Yong Woo Lee (Eds.), IARIA, (support électronique), novembre 2010.
  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/09-23/02/09 (conférencier invité), WSEAS Press, p. 144-150, 2009.
  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/09-08/02/09, 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

• Sylvain Rougemaille, Frédéric Migeon, Thierry Millan, Marie-Pierre Gleizes. Methodology Fragments Definition in SPEM for Designing Adaptive Methodology : a First Step. Dans : Workshop on Agent Oriented Software Engineering (AOSE 2008), Estoril, Portugal, 12/05/08-13/05/08, Springer, p. 213-224, mai 2008.
  Résumé
  BibTeX

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

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

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

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

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

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

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

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

• Thierry Millan, Pierre Bazex. Ada/O2 coupling : a solution for an efficient management of persistence in Ada 83. Dans : Ada-Europe'96, Montreux, Suisse, -, juin 1996.
  BibTeX

• Thierry Millan. Modélisation de la persistance Ada au travers d'un Système de Gestion de Bases de Données orienté objet. Dans : Huitièmes journées internationales du Génie Logiciel, Paris, -, novembre 1995.
  BibTeX

• Thierry Millan, Frédéric Mulatéro. Ada and persistance : realization with OODBMS O2. Dans : Ada Belgium seminary in cooperation with ACM/SIG Ada, Bruxelles, Belgique, ., janvier 1994.
  BibTeX

• Frédéric Mulatéro, P Telechea, Thierry Millan. Inter-opérabilité entre SGBD objet : proposition d'une architecture. Dans : 12th IASTED International conference, Annecy, ., janvier 1994.
  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/05-01/07/05, 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

• 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/04, Jean-Claude Rault (Eds.), GL&IS, 8, rue du parc 92190 MEUDON - France, p. 45-50, juin 2004.
  Résumé
  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/03-06/06/03, INFORSID (actes électroniques), p. 185-200, juin 2003.
  Résumé
  BibTeX

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

• Thierry Millan, Christian Percebois, Pierre Bazex. NEPTUNE : vers un atelier de manipulation de modèles. Dans : Workshop OPEES, Paris, 28/06/07-29/06/07.
  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/06-16/05/06, Pierre Bazex, Agusti Canals , Jean-Claude Rault (Eds.).
  Accès : http://neptune.irit.fr/Public/AnglaisV2/workshop_2006.html
  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/06.
  BibTeX

• Thierry Millan. Validation of UML Models using OCL. Dans : Journée de travail trans-régionales, Lausane (Suisse), 25/09/05 (conférencier invité).
  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/05-21/11/05, Erwan Poupart (Eds.).
  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

• P Telechea, Frédéric Mulatéro, Thierry Millan. Exécution parallèle de transactions concurrentes dans un environnement de bases de données. Dans : Journées sur le parallélisme de l'IRIT, Toulouse, .
  BibTeX

• Thierry Millan. Interface Ada/O2 : Ada persistant et son évolution vers le monde objet. Dans : Réunion groupe de travail BD Objet, O2-Technology, .
  BibTeX

• Thierry Millan, Hervé Leblanc, Christian Percebois. A Dynamic Type System for OCL. Rapport de recherche, IRIT/RR--2017--02--FR, IRIT, janvier 2017.
  Résumé Accès : https://www.irit.fr/publis/MACAO/Rapport-Interne-IRIT_RR--2017--02--FR.pdf
  BibTeX

• Marie-Pierre Gleizes, Thierry Millan, Gauthier Picard. ADELFE, Using SPEM Notation to Unify Agent Engineering Processes and Methodology. Rapport de recherche, IRIT/2003-10-R, IRIT, 2003.
  Accès : https://www.irit.fr/publis/SMAC/DOCUMENTS/RAPPORTS/RapportIrit2003-10-R.pdf
  BibTeX

• Thierry Millan. La persistance dans les langages. Application à la persistance en Ada au travers des Systèmes de Gestion de Bases de Données Objets. Thèse de doctorat, Université Paul Sabatier, septembre 1995.
  BibTeX

• 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

• 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