Christian Percebois

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 13

Top Topics

State Transitions

Graph Transformation

Top Venues

Softw. Qual. J.

Publications

Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
Two-Level Reasoning About Graph Transformation Programs. ICGT (2019)
Robin Bussenot, Hervé Leblanc, Christian Percebois
Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach. SoSE (2018)
Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron
Synchrostate: A SPEM-based solution for synchronizing activities and products through state transitions. Int. Arab J. Inf. Technol. 15 (6) (2018)
Isabelle Blasquez, Hervé Leblanc, Christian Percebois
Les tests dans le développement logiciel, du cycle en V aux méthodes agiles. Tech. Sci. Informatiques 36 (1-2) (2017)
Iulia Dragomir, Iulian Ober, Christian Percebois
Contract-based modeling and verification of timed safety requirements within SysML. Softw. Syst. Model. 16 (2) (2017)
Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF (2016)
Robin Bussenot, Hervé Leblanc, Christian Percebois
A Domain Specific Test Language for Systems Integration. XP Workshops (2016)
Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnès Front, Claudia Roncancio
Integrating run-time changes into system and software process enactment. J. Softw. Evol. Process. 28 (9) (2016)
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois
IDF: A framework for the incremental development and conformance verification of UML active primitive components. J. Syst. Softw. 113 (2016)
Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio
Towards a change-aware process environment for system and software process. ICSSP (2015)
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Spoiled patterns: how to extend the GoF. Softw. Qual. J. 23 (4) (2015)
Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio
Impact Analysis of Process Change at Run-Time. WETICE (2015)
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably Correct Graph Transformations with Small-tALC. ICTERI (2015)
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. ICMCS (2014)
Brahim Hamid, Christian Percebois
A Modeling and Formal Approach for the Precise Specification of Security Patterns. ESSoS (2014)
Iulia Dragomir, Iulian Ober, Christian Percebois
Safety Contracts for Timed Reactive Components in SysML. SOFSEM (2014)
Iulia Dragomir, Iulian Ober, Christian Percebois
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACES-MB@MoDELS (2013)
Christian Percebois, Martin Strecker, Hanh Nhi Tran
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM (2013)
Brahim Hamid, Christian Percebois
Model-Based Specification and Validation of Security and Dependability Patterns. FPS (2013)
Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems. SWQD (2012)
Brahim Hamid, Christian Percebois, Damien Gouteux
A methodology for integration of patterns with validation purpose. EuroPLoP (2012)
Hanh Nhi Tran, Christian Percebois
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. ICST (2012)
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois
Une approche formelle de l'interopérabilité en modélisation orientée métier. Tech. Sci. Informatiques 29 (4-5) (2010)
Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
Attribute Computations in the DPoPb Graph Transformation Engine. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Sharing bad practices in design to improve the use of patterns. PLoP (2010)
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Bad Smells in Design and Design Patterns. J. Object Technol. 8 (3) (2009)
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards Interoperability in Component Based Development with a Family of DSLs. ECSA (2008)
Cédric Bouhours, Hervé Leblanc, Christian Percebois
Towards a Knowledge Base to Improve Reusability of Design Pattern. ICSOFT (SE) (2007)
Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois
Vérification de modèles UML fondée sur OCL. INFORSID (2003)
Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix
Abstract machine construction through operational semantics refinements. Future Gener. Comput. Syst. 16 (7) (2000)
Salam Majoul, Christian Percebois, Jean-Paul Bodeveix
A Concurrent Object-Based Model and its Use for Coordinating Java Components. TOOLS (30) (1999)
Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois
Types versus classes. Obj. Logiciel Base données Réseaux 4 (1) (1998)
Christian Percebois, N. Signès, P. Agnoletto
A Compiler for a Distributed Inference Model. EDMCC (1991)
P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois
A Multiprocessor Architecture for Inference Systems: Design and Evaluation. AIMSA (1988)
Christian Percebois, F. Guerin, G. Orzati
Parallélisme-OU et assertions Prolog. SPLT (1988)
Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. TAPSOFT, Vol.2 (1987)
Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. SPLT (1986)
Christian Percebois, Irène Durand, Catherine Simon
COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. SPLT (1985)
A. Lartigue, Christian Percebois
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. SPLT (1984)
Christian Percebois, A. Lartigue
Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG. SPLT (1983)
Jean-Paul Sansonnet, Christian Percebois, D. Botella, J. Perez
A Hardware Support for Interactive Programming Environments. ECICS (1982)
Christian Percebois, Jean-Paul Sansonnet
A Lisp-machine to Implement Prolog. ICLP (1982)
Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez
Direct Execution of Lisp on a List-Directed Architecture. ASPLOS (1982)
Christian Percebois, Jean-Paul Sansonnet
Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes. SPLT (1982)
Jean-Paul Sansonnet, Michel Castan, Christian Percebois
M3L: A List-Directed Architecture. ISCA (1980)