Christian Percebois

According to our database, Christian Percebois authored at least 46 papers between 1980 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Two-Level Reasoning About Graph Transformation Programs.

Amani Makhlouf, Christian Percebois, Hanh Nhi Tran

Proceedings of the Graph Transformation - 12th International Conference, 2019

2018

Synchrostate: A SPEM-based solution for synchronizing activities and products through state transitions.

Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron

Int. Arab J. Inf. Technol., 2018

Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach.

Robin Bussenot, Hervé Leblanc, Christian Percebois

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

2017

Les tests dans le développement logiciel, du cycle en V aux méthodes agiles.

Isabelle Blasquez, Hervé Leblanc, Christian Percebois

Tech. Sci. Informatiques, 2017

Contract-based modeling and verification of timed safety requirements within SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Softw. Syst. Model., 2017

2016

Integrating run-time changes into system and software process enactment.

Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnès Front, Claudia Roncancio

J. Softw. Evol. Process., 2016

IDF: A framework for the incremental development and conformance verification of UML active primitive components.

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois

J. Syst. Softw., 2016

A Domain Specific Test Language for Systems Integration.

Robin Bussenot, Hervé Leblanc, Christian Percebois

Proceedings of the Scientific Workshop Proceedings of XP2016, 2016

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.

Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker

Proceedings of the Tests and Proofs - 10th International Conference, 2016

2015

Spoiled patterns: how to extend the GoF.

Cédric Bouhours, Hervé Leblanc, Christian Percebois

Softw. Qual. J., 2015

Impact Analysis of Process Change at Run-Time.

Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Towards a change-aware process environment for system and software process.

Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio

Proceedings of the 2015 International Conference on Software and System Process, 2015

Provably Correct Graph Transformations with Small-tALC.

Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran

Proceedings of the 11th International Conference on ICT in Education, 2015

2014

Safety Contracts for Timed Reactive Components in SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Implementing and validating SynchSPEM: A solution for synchronizing activities and products within a software engineering process.

Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Christian Percebois, Thierry Millan, Claude Baron

Proceedings of the 4th International Conference on Multimedia Computing and Systems, 2014

A Modeling and Formal Approach for the Precise Specification of Security Patterns.

Brahim Hamid, Christian Percebois

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013

Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure.

Christian Percebois, Martin Strecker, Hanh Nhi Tran

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Integrating verifiable Assume/Guarantee contracts in UML/SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Model-Based Specification and Validation of Security and Dependability Patterns.

Brahim Hamid, Christian Percebois

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

2012

Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems.

Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux

Proceedings of the Software Quality. Process Automation in Software Development, 2012

Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations.

Hanh Nhi Tran, Christian Percebois

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A methodology for integration of patterns with validation purpose.

Brahim Hamid, Christian Percebois, Damien Gouteux

Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012

2010

Une approche formelle de l'interopérabilité en modélisation orientée métier.

Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois

Tech. Sci. Informatiques, 2010

Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques.

Ileana Ober, Louis Féraud, Christian Percebois

Innov. Syst. Softw. Eng., 2010

Attribute Computations in the DPoPb Graph Transformation Engine.

Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Sharing bad practices in design to improve the use of patterns.

Cédric Bouhours, Hervé Leblanc, Christian Percebois

Proceedings of the 17th Conference on Pattern Languages of Programs, 2010

2009

Bad Smells in Design and Design Patterns.

Cédric Bouhours, Hervé Leblanc, Christian Percebois

J. Object Technol., 2009

2008

Towards Interoperability in Component Based Development with a Family of DSLs.

Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois

Proceedings of the Software Architecture, Second European Conference, 2008

2007

Towards a Knowledge Base to Improve Reusability of Design Pattern.

Cédric Bouhours, Hervé Leblanc, Christian Percebois

Proceedings of the ICSOFT 2007, 2007

2003

Vérification de modèles UML fondée sur OCL.

Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois

Proceedings of the Actes du XXIème Congrès INFORSID, Nancy, France, 24-27 mai, 2003, 2003

2000

Abstract machine construction through operational semantics refinements.

Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix

Future Gener. Comput. Syst., 2000

1999

A Concurrent Object-Based Model and its Use for Coordinating Java Components.

Salam Majoul, Christian Percebois, Jean-Paul Bodeveix

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

1998

Types versus classes.

Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois

Obj. Logiciel Base données Réseaux, 1998

1991

A Compiler for a Distributed Inference Model.

Christian Percebois, N. Signès, P. Agnoletto

Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991

1988

Parallélisme-OU et assertions Prolog.

Christian Percebois, F. Guerin, G. Orzati

Proceedings of the SPLT'88, 1988

A Multiprocessor Architecture for Inference Systems: Design and Evaluation.

P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois

Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

1987

Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph.

Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986

Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski.

Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure

Proceedings of the SPLT'86, 1986

1985

COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog.

Christian Percebois, Irène Durand, Catherine Simon

Proceedings of the SPLT'85, 1985

1984

Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG.

A. Lartigue, Christian Percebois

Proceedings of the SPLT'84, 1984

1983

Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG.

Christian Percebois, A. Lartigue

Proceedings of the SPLT'83, 1983

1982

Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes.

Christian Percebois, Jean-Paul Sansonnet

Proceedings of the SPLT'82, 1982

A Lisp-machine to Implement Prolog.

Christian Percebois, Jean-Paul Sansonnet

Proceedings of the First International Logic Programming Conference, 1982

A Hardware Support for Interactive Programming Environments.

Jean-Paul Sansonnet, Christian Percebois, D. Botella, J. Perez

Proceedings of the Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, 1982

Direct Execution of Lisp on a List-Directed Architecture.

Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez

Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982

1980

M3L: A List-Directed Architecture.

Jean-Paul Sansonnet, Michel Castan, Christian Percebois

Proceedings of the 7th Annual Symposium on Computer Architecture, 1980