IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
    • Séminaires
  • Systèmes SocioTechniques Ambiants
    • Thématiques
    • Equipes
    • Projets
    • Thèses
    • Laboratoires et industriels en lien avec la thématique
    • Evénements
    • News
    • SSTApwd
• Thèmes de recherche
  • Thème 1 - Analyse et synthèse de l’information
    • Equipe SAMoVA
    • Equipe SC
    • Equipe TCI
    • Equipe VORTEX
  • Thème 2 - Indexation et recherche d’informations
    • Equipe PYRAMIDE
    • Équipe SIG
  • Thème 3 - Interaction, Coopération, Adaptation paR l’Expérimentation (ICARE)
    • Equipe ELIPSE
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe ADRIA
    • Equipe LILaC
    • Equipe MELODI
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe IRT
    • Equipe SEPIA
    • Equipe SIERA
    • Equipe T2RS
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe ICS
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Programme FREMIT
  • Laboratoire ILIKS
  • Laboratoire LACII
  • Laboratoire Européen Associé (LEA) LIRP
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets en cours
    • Projets ANR (Agence Nationale de la Recherche)
    • Projets européens
  • Collaborations internationales
    • Carte des relations internationales
    • Consultation de la base des relations internationales
• Evénements
  • Agenda
  • Congrès, séminaires, écoles, thèses, habilitations
    • Congrès, workshops, conférences, écoles
    • Séminaires
    • Thèses et habilitations
    • Archives
    • Rencontres Recherche-Industrie
  • Journal "noir sur blanc"
• Logiciels diffusés
• Publications
• Service documentation

Rechercher

Navigation

Publications

Percebois Christian

 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

• 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

Articles de revues internationales / International journals articles

• 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

• 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

Articles de revues nationales / National journals articles

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

• 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

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

Conférences et workshops internationaux / International conferences articles

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• Erwann Poupart, Guillaume Jolly, Sandra Basnyat, Christian Percebois, Pierre Bazex. Offline interoperability and cost reduction for operational procedures 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), p. 0-0, 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

Conférences et workshops nationaux / National conferences articles

• 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

• 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

• 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

• 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

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

• 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

• 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

• 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

• 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

• 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

Rapports / Reports

• 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

• 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

Autres types de publications / Other publications

• 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