Christian Percebois

According to our database1, Christian Percebois
  • authored at least 40 papers between 1980 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Contract-based modeling and verification of timed safety requirements within SysML.
Software and System Modeling, 2017

Integrating run-time changes into system and software process enactment.
Journal of Software: Evolution and Process, 2016

IDF: A framework for the incremental development and conformance verification of UML active primitive components.
Journal of Systems and Software, 2016

A Domain Specific Test Language for Systems Integration.
Proceedings of the Scientific Workshop Proceedings of XP2016, 2016

Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.
Proceedings of the Tests and Proofs - 10th International Conference, 2016

Spoiled patterns: how to extend the GoF.
Software Quality Journal, 2015

Impact Analysis of Process Change at Run-Time.
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.
Proceedings of the 2015 International Conference on Software and System Process, 2015

Provably Correct Graph Transformations with Small-tALC.
Proceedings of the 11th International Conference on ICT in Education, 2015

Safety Contracts for Timed Reactive Components in SysML.
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

A Modeling and Formal Approach for the Precise Specification of Security Patterns.
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Integrating verifiable Assume/Guarantee contracts in UML/SysML.
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.
Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems.
Proceedings of the Software Quality. Process Automation in Software Development, 2012

Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A methodology for integration of patterns with validation purpose.
Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012

Une approche formelle de l'interopérabilité en modélisation orientée métier.
Technique et Science Informatiques, 2010

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

Attribute Computations in the DPoPb Graph Transformation Engine.

Sharing bad practices in design to improve the use of patterns.
Proceedings of the 17th Conference on Pattern Languages of Programs, 2010

Bad Smells in Design and Design Patterns.
Journal of Object Technology, 2009

Towards Interoperability in Component Based Development with a Family of DSLs.
Proceedings of the Software Architecture, Second European Conference, 2008

Towards a Knowledge Base to Improve Reusability of Design Pattern.
Proceedings of the ICSOFT 2007, 2007

Vérification de modèles UML fondée sur OCL.
Proceedings of the Actes du XXIème Congrès INFORSID, Nancy, France, 24-27 mai, 2003, 2003

Abstract machine construction through operational semantics refinements.
Future Generation Comp. Syst., 2000

A Concurrent Object-Based Model and its Use for Coordinating Java Components.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Types versus classes.
L'OBJET, 1998

A Compiler for a Distributed Inference Model.
Proceedings of the Distributed Memory Computing, 2nd Euronean Conference, 1991

Parallélisme-OU et assertions Prolog.
Proceedings of the SPLT'88, 1988

A Multiprocessor Architecture for Inference Systems: Design and Evaluation.
Proceedings of the Artificial Intelligence III: Methodology, Systems, Applications, 1988

Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski.
Proceedings of the SPLT'86, 1986

COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog.
Proceedings of the SPLT'85, 1985

Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG.
Proceedings of the SPLT'84, 1984

Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG.
Proceedings of the SPLT'83, 1983

Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes.
Proceedings of the SPLT'82, 1982

A Lisp-machine to Implement Prolog.
Proceedings of the First International Logic Programming Conference, 1982

Direct Execution of Lisp on a List-Directed Architecture.
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems, 1982

M3L: A List-Directed Architecture.
Proceedings of the 7th Annual Symposium on Computer Architecture, May 1980, 1980