Publications de
Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnes Front, Claudia Roncancio
Integrating run-time changes into system and software process enactment
Dans : Journal of Software: Evolution and Process, Wiley Interscience Publications, Vol. 28 N. 9, p. 762-782, 2016.
Résumé Accès : https://doi.org/10.1002/smr.1783 – https://oatao.univ-toulouse.fr/22311/
BibTeXThomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois
IDF: A framework for the incremental development and conformance verification of UML active primitive components
Dans : Journal of Systems and Software (JSS), Elsevier, Vol. 113, p. 275-295, mars 2016.
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Spoiled patterns: how to extend the GoF
Dans : Software Quality Journal, Springer USA, Vol. 23 N. 4, p. 661-694, août 2014.
Résumé Accès : http://dx.doi.org/10.1007/s11219-014-9249-z – https://oatao.univ-toulouse.fr/13216/
BibTeXHanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine
Dans : Electronic Communications of the EASST (ECEASST), Electronic Communications of the EASST, Berlin – Germany, Vol. 32, (en ligne), 2010.
Accès : 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
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/
BibTeXCé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/
BibTeXThierry 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.
Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois
Types versus Classes
Dans : L’Objet, Hermes, Vol. 4, N. 1, p. 3-25, 1998.
Nadezhda Baklanova, Jon Haël Brenas, Amani Makhlouf, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Coding, Executing and Verifying Graph Transformations with small-tALCQe (regular paper)
Dans : International Workshop Graph Computation Models – Held as Part of STAF 2016 (GCM 2016), Vienna (Austria), 04/07/16, Université de Vienne (Autriche) – Complang Group, (en ligne), juillet 2016.
Résumé Accès : http://gcm2016.inf.uni-due.de/papers/baklanova-et-al.pdf – https://oatao.univ-toulouse.fr/26151/
BibTeXAmani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations (regular paper)
Dans : Tests and Proofs (TAP 2016), Vienna (Austria), 05/07/16-07/07/16, Springer, p. 183-190, 2016.
Résumé Accès : http://dx.doi.org/10.1007/978-3-319-41135-4_11 – https://oatao.univ-toulouse.fr/22312/
BibTeXRobin Bussenot, Hervé Leblanc, Christian Percebois
A Domain Specific Test Language for Systems Integration (regular paper)
Dans : XP2016 Workshops, Edinburgh, Scotland, UK, 24/05/16-27/05/16, ACM : Association for Computing Machinery, XP ’16 Workshops, (en ligne), 2016.
Accès : http://doi.acm.org/10.1145/2962695.2962711 – https://oatao.univ-toulouse.fr/17211/
BibTeXNadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably correct graph transformations with small-tALC (regular paper)
Dans : ICT in Education, Research, and Industrial Applications, Lviv, Ukraine, 14/05/15-16/05/15, Vol. 1356, Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola Nikitchenko, Grygoriy Zholtkevych (Eds.), CEUR-WS : Workshop proceedings, p. 78-93, 2015.
Accès : http://ceur-ws.org/Vol-1356 – https://oatao.univ-toulouse.fr/17018/
BibTeXMojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnes Front, Claudia Roncancio
Towards a change-aware process environment for system and software process (regular paper)
Dans : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015), Larnaca, Cyprus, 15/06/15-17/06/15, IEEE Communications Society, p. 156-161, 2015.
Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnes Front, Claudia Roncancio
Towards a change-aware process environment for system and software process (regular paper)
Dans : International Conference on Software and System Process (co-located with ICSE) (ICSSP 2015), Tallinn, Estonia, 24/08/15-26/08/15, Dietmar Pfahl, Reda Bendraou, Richard Turner, Marco Kuhrmann, Regina Hebig (Eds.), ACM : Association for Computing Machinery, p. 32-41, août 2015.
Accès : http://doi.acm.org/10.1145/2785592.2785596 – https://oatao.univ-toulouse.fr/17015/
BibTeXIulia Dragomir, Iulian Ober, Christian Percebois
Safety contracts for timed reactive components (regular paper)
Dans : International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2014), Nový Smokovec, Slovakia, 25/01/14-30/01/14, Vol. 8327, Springer, LNCS, p. 211-222, janvier 2014.
Brahim Hamid, Christian Percebois
A Modeling and Formal Approach for the Precise Specification of Security Patterns (regular paper)
Dans : International Symposium on Engineering Secure Software and Systems (Essos 2014), Munich, Germany, 26/02/14-28/02/14, Vol. 8364, Springer, p. 95-112, février 2014.
Christian Percebois, Martin Strecker, Hanh Nhi Tran
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (regular paper)
Dans : 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, p. 106-121, septembre 2013.
Iulia Dragomir, Iulian Ober, Christian Percebois
Safety contracts for timed reactive components (regular paper)
Dans : Journées nationales du GDR CNRS Programmation et Logiciel, Nancy, 03/04/13-05/04/13, Laurence Duchien (Eds.), Université de Lorraine, p. 37-46, avril 2013.
Accès : 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)
Dans : International Symposium on Foundations & Practice of Security (FPS 2013), La Rochelle, France, 21/10/13-22/10/13, Springer, p. 1-18, octobre 2013.
Iulia Dragomir, Iulian Ober, Christian Percebois
Integrating verifiable Assume/Guarantee contracts in UML/SysML (regular paper)
Dans : 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, (en ligne), septembre 2013.
Résumé Accès : 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)
Dans : Verification and validation Of model Transformations (VOLT 2012), Montreal (Canada ), 21/04/12, IEEE Computer Society, p. 946-953, juin 2012.
Brahim Hamid, Christian Percebois, Damien Gouteux
A Methodology for Integration of Patterns with Validation Purpose (regular paper)
Dans : European Conference on Pattern Language of Programs (EuroPlop 2012), Kloster Irsee, Germany, 11/07/12-15/07/12, ACM Digital Library, p. 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)
Dans : Software Quality Days (SWQD 2012), Vienna, 17/01/12-19/01/12, Springer, p. 193-204, janvier 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)
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.
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/10, ACM Digital Library, (en ligne), 2011.
Accès : http://portal.acm.org/citation.cfm?id=1868436
BibTeXCé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/10-18/10/10, ACM Digital Library, (en ligne), 2011.
Accès : 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)
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.
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/09-08/12/09, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, p. 17-23, décembre 2009.
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.
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/08-01/10/08, 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
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
Dans : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 2008.
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/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), p. 0-0, 2008.
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/08-11/04/08, IEEE Computer Society, (support électronique), avril 2008 (First Best Paper Award).
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.
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/07-05/10/07, Ludwig KUZNIARZ, Jean-Louis SOURROUILLE, Miroslaw STARON (Eds.), Springer, p. 65-79, octobre 2007.
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/07-25/07/07, Vol. 2, Joaquin Filipe, Markus Helfert, Boris Shishkov (Eds.), Institute for Systems and Technologies for Information, Control and Communication, p. 421-424, juillet 2007.
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/06-24/10/06, 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
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
Dans : 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
Dans : 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, p. 25-30, juin 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
Dans : 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
Dans : Data Systems In Aerospace (DASIA 2006), Berlin, Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), mai 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
Dans : 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), p. 33-38, mars 2006.
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/06.
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.).
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.
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, 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.
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/99-05/08/99, IEEE, p. 15-25, août 1999.
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, .
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/96-27/09/96, isca, p. 1-12, septembre 1996.
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.
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.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.
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.