Christian Percebois

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
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

2015
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

2014
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

2013
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

2012
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

2010
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.
ECEASST, 2010

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

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

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

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

2003
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

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

1999
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

1998
Types versus classes.
L'OBJET, 1998

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

1988
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

1987
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

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

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

1984
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG.
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.
Proceedings of the SPLT'83, 1983

1982
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

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


  Loading...