Publications of
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
In : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (on line), 2010.
URL : http://journal.ub.tu-berlin.de/eceasst/article/view/511
BibTeXIleana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
In : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, pp. 21-28, January 2010.
Abstract URL : http://www.springerlink.com/content/y78373u877564110/
BibTeXCédric Bouhours, Hervé Leblanc, Christian Percebois
Bad smells in design and design patterns
In : Journal of Object Technology, ETH Swiss Federal Institute of Technology, Vol. 8 N. 3, pp. 43-63, May 2009.
URL : http://www.jot.fm/issues/issue_2009_05/column5/
BibTeXThierry Millan, Laurent Sabatier, Pierre Bazex, Christian Percebois
NEPTUNE II Une plate-forme pour la vérification et la transformation de modèles
In : Génie Logiciel, GL & IS, Meudon – France, Special issue Une plate-forme pour la vérification et la transformation de modèles, Vol. 85, pp. 30-34, June 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
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, pp. 24-31, June 2007.
Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois
Types versus Classes
In : L’Objet, Hermes, Vol. 4, N. 1, pp. 3-25, 1998.
Christian Percebois, Martin Strecker, Hanh Nhi Tran
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (regular paper)
In : Software Engineering and Formal Methods, Madrid, Spain, 25/09/13-27/09/13, Vol. 8137, Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (Eds.), Springer, Lecture Notes in Computer Science, pp. 106-121, September 2013.
Iulia Dragomir, Iulian Ober, Christian Percebois
Safety contracts for timed reactive components (regular paper)
In : Journées nationales du GDR CNRS Programmation et Logiciel, Nancy, 03/04/13-05/04/13, Laurence Duchien (Eds.), Université de Lorraine, pp. 37-46, April 2013.
URL : http://hal.inria.fr/docs/00/82/05/53/PDF/20130322_actes-gdr-gpl.pdf
BibTeXBrahim Hamid, Christian Percebois
Model-based Specification and Validation of Security and Dependability Patterns (regular paper)
In : International Symposium on Foundations & Practice of Security (FPS 2013), La Rochelle, France, 21/10/13-22/10/13, Springer, pp. 1-18, October 2013.
Iulia Dragomir, Iulian Ober, Christian Percebois
Integrating verifiable Assume/Guarantee contracts in UML/SysML (regular paper)
In : International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2013), Miami, USA, 29/09/13-29/09/13, Vol. 1084, CEUR-WS : Workshop proceedings, (on line), September 2013.
Abstract URL : http://ceur-ws.org/Vol-1084/paper8.pdf – https://oatao.univ-toulouse.fr/12666/
BibTeXHanh Nhi Tran, Christian Percebois
Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations (regular paper)
In : Verification and validation Of model Transformations (VOLT 2012), Montreal (Canada ), 21/04/12, IEEE Computer Society, pp. 946-953, June 2012.
Brahim Hamid, Christian Percebois, Damien Gouteux
A Methodology for Integration of Patterns with Validation Purpose (regular paper)
In : European Conference on Pattern Language of Programs (EuroPlop 2012), Kloster Irsee, Germany, 11/07/12-15/07/12, ACM Digital Library, pp. 1-14, 2012.
Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems (regular paper)
In : Software Quality Days (SWQD 2012), Vienna, 17/01/12-19/01/12, Springer, pp. 193-204, January 2012.
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)
In : IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE 2011), Penang, Malaysia, 04/12/11-07/12/11, IEEExplore digital library, pp. 477-482, December 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)
In : IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE 2011), Penang, Malaysia, 04/12/11-07/12/11, IEEExplore digital library, pp. 471-476, December 2011.
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)
In : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienne, Autriche, 14/09/10, ACM Digital Library, (on line), 2011.
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Sharing bad practices in design to improve the use of patterns (regular paper)
In : International Conference on Pattern Languages of Programs 2010 (PLoP 2010), Reno, Nevada (USA), 16/10/10-18/10/10, ACM Digital Library, (on line), 2011.
URL : http://www.hillside.net/plop/2010/papers/bouhours.pdf
BibTeXCédric Bouhours, Hervé Leblanc, Christian Percebois, Thierry Millan
Detection of Generic Micro-architectures on Models (regular paper)
In : 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, (electronic medium), November 2010.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper)
In : UML&FM, Rio de Janeiro, 08/12/09-08/12/09, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, pp. 17-23, December 2009.
Thierry Millan, Laurent Sabatier, Thanh Thanh Le Thi, Pierre Bazex, Christian Percebois
An OCL extension for checking and transforming UML Models
In : WSEAS – International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2009), Cambridge, United Kingdom, 21/02/09-23/02/09 (invited speaker), WSEAS Press, pp. 144-150, 2009.
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards interoperability in component based development with a family of DSLs
In : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/08-01/10/08, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, pp. 148-163, September 2008.
Abstract URL : http://www.springer.com/computer/programming/book/978-3-540-88029-5
BibTeXErwann 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
In : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), (electronic medium), 2008.
Erwann Poupart, Guillaume Jolly, Sandra Basnyat, Christian Percebois, Pierre Bazex
Offline interoperability and cost reduction for operational procedures using meta-modeling technology
In : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), pp. 0-0, 2008.
Ali Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober
Towards a Rigorous Framework for dealing with Domain Specific Language Families
In : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/08-11/04/08, IEEE Computer Society, (electronic medium), April 2008 (First Best Paper Award).
Thierry Millan, Christian Percebois, Pierre Bazex
NEPTUNE : vers un atelier de manipulation de modèles
In : Workshop OPEES, Paris, 28/06/07-29/06/07.
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Alternative Models for a Design Review Activity
In : Workshop on Quality in Modeling – ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, NASHVILLE, TN (USA), 30/09/07-05/10/07, Ludwig KUZNIARZ, Jean-Louis SOURROUILLE, Miroslaw STARON (Eds.), Springer, pp. 65-79, October 2007.
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Towards a knowledge base to improve reusability of design pattern
In : International Conference on Software and Data Technologies (ICSOFT 2007), Barcelone (Espagne), 22/07/07-25/07/07, Vol. 2, Joaquin Filipe, Markus Helfert, Boris Shishkov (Eds.), Institute for Systems and Technologies for Information, Control and Communication, pp. 421-424, July 2007.
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Structural Variants Detection for Design Pattern Instantiation
In : International Workshop on Design Pattern Detection for Reverse Engineering (DPD4RE 2006), Benevento, Italy, 24/10/06-24/10/06, Francesca Arcelli, Claudia Raibulet, Guiliano Antoniol, Yann-Gaël Guéhéneuc, Jason McC Smith (Eds.), IEEE Computer Society, (on line), 2006.
URL : http://www.irit.fr/recherches/DCL/MACAO/docs/DPD4RE-MACAO.pdf
BibTeXChristian 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
In : Journée KERMETA 2006, Rennes, France, 10/10/06.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
In : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, pp. 25-30, June 2006.
Arlette Sebatware, Ali Abou Dib, Pierre Bazex, Christian Percebois
Vers la modélisation UML de la syntaxe et de la sémantique dun langage de programmation
In : Séminaire Interopérabilité pour les procédures opérationnelles, IAS, Toulouse, France, 12/04/06.
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
In : Data Systems In Aerospace (DASIA 2006), Berlin, Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (electronic medium), May 2006.
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
In : Conférence d’Ingénierie Système (AFIS 2006), Toulouse, France, 02/03/06-04/03/06, Association Française d’Ingénierie Système (AFIS), pp. 33-38, March 2006.
Pierre Bazex, Christian Percebois
Modèles, Méta-modèles et Transformation de modèles
In : Journée transformation de modèles vers VHDL-AMS du LAAS, TOULOUSE, 07/02/06.
Thierry Millan, Hervé Leblanc, Ileana Ober, Christian Percebois, Pierre Bazex, Ralph Sobek
Tooling a UML method based on OCL
In : New concepts and technologies for ground system software : Why and How?, Toulouse, 21/11/05-21/11/05, Erwan Poupart (Eds.).
Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex
Instrumenting a UML method based on OCL
In : 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, November 2004.
Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex
Projet NEPTUNE : vérification statique de modèles
In : 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, pp. 45-50, June 2004.
Pierre Bazex, Jean-Paul Bodeveix, Christophe Le Camus, Thierry Millan, Christian Percebois
Vérification de modèles UML fondée sur OCL
In : INFORSID, Nancy, 03/06/03-06/06/03, Congrès INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), pp. 185-200, June 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
In : 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, pp. 75-91, October 2002.
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois
Data Design and Transformation
In : 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, pp. 587-592, July 2000.
Salam Majoul, Christian Percebois, Jean-Paul Bodeveix
A Concurrent Object-Based Model and its Use for Coordinating Java Components
In : TOOLS – Technology of Object-Oriented Languages and Systems, Santa Barbara, 01/08/99-05/08/99, IEEE, pp. 15-25, August 1999.
Salam Majoul, Christian Percebois, Jean-Paul Bodeveix
Reasoning about Negative Conditions in a Concurrent Rewriting System
In : 2nd France-Japan Workshop on Object-Based Parallel and Distributed Computation, Toulouse, .
Jean-Paul Bodeveix, Christian Percebois, Salam Majoul
An object oriented coordination model based on multiset rewriting
In : Procs. of ninth International Conference on Parallel and Distributed Computing Systems, Dijon, 25/09/96-27/09/96, isca, pp. 1-12, September 1996.
Jean-Paul Bodeveix, Christian Percebois, Salam Majoul
Multiset Rewriting for Concurrent Object-Oriented Programming
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, July 1996.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.
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.
Christian Percebois, Pierre Bazex, Thierry Millan
NEPTUNE : vers un atelier de manipulation de modèles
Présentation orale. June 2007.
Thierry Millan, Thomas Gely, Christian Percebois, Pierre Bazex
Un atelier pour la vérification et la transformation de modèles
Diffusion scientifique. June 2006.