Publications de Thierry MILLAN
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
The international Arab journal of information technology, 2018, 15 (6), pp.951-961
Utilisation des bases de données orientées graphe comme référentiels de modèles
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2017, 35 (6), pp.695-719. ⟨10.3166/tsi.35.695-719⟩
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.
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.
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.
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.
Gestion de la persistance au travers d’un système objet
Dans : La lettre Ada, EC2, Vol. -, décembre 1995.
Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Christian Percebois, Thierry Millan, Claude Baron
Implementing and validating SynchSPEM: A solution for synchronizing activities and products within a software engineering process
International Conference on Multimedia Computing and Systems (ICMCS), Apr 2014, Marrakech, Morocco. ⟨10.1109/ICMCS.2014.6911272⟩
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.
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.
L’IDM où en est-on ?
Dans : Journées du GDR GPL, Lille, 09/06/11-10/06/11 (conférencier invité).
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.
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.
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.
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.
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.
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
BibTeXThomas Gely, Thierry Millan, Hervé Leblanc, Cédric Bouhours, Pierre Bazex
Définition dun atelier de validation de modèles
Dans : Journée KERMETA 2006, Rennes, France, 10/10/06.
Validation of UML Models using OCL
Dans : Journée de travail trans-régionales, Lausane (Suisse), 25/09/05 (conférencier invité).
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.).
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/
BibTeXThierry 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.
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.
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, Congrès INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), p. 185-200, juin 2003.
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.
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, .
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.
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.
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.
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.
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.
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.
Ada/O2 coupling : a solution for an efficient management of persistence in Ada 83
Dans : Ada-Europe’96, Montreux, Suisse, -, juin 1996.
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.
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, .
Interface Ada/O2 : Ada persistant et son évolution vers le monde objet
Dans : Réunion groupe de travail BD Objet, O2-Technology, .
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.
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.
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.
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.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.
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.
Thierry Millan, Agusti Canals, Jean-Claude Rault
Outils, test et IDM
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 101, juin 2012.
Agusti Canals, Thierry Millan, Jean-Claude Rault
LIngénierie Dirigée par les Modèles : Bilan et perspectives
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 27, 2011.
Thierry Millan, Agusti Canals, Jean-Claude Rault
LIngé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.
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, Lavoisier, Vol. 12, mai 2007.
Les modèles pourquoi faire ?
Présentation orale. septembre 2011.
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.
Christian Percebois, Pierre Bazex, Thierry Millan
NEPTUNE : vers un atelier de manipulation de modèles
Présentation orale. juin 2007.
Thierry Millan, Thomas Gely, Christian Percebois, Pierre Bazex
Un atelier pour la vérification et la transformation de modèles
Diffusion scientifique. juin 2006.