Christian Percebois
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – today
- 2019
- [c32]Amani Makhlouf, Christian Percebois, Hanh Nhi Tran:
Two-Level Reasoning About Graph Transformation Programs. ICGT 2019: 111-127 - 2018
- [j12]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): 951-961 (2018) - [c31]Robin Bussenot, Hervé Leblanc, Christian Percebois:
Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach. SoSE 2018: 431-437 - 2017
- [j11]Iulia Dragomir, Iulian Ober, Christian Percebois:
Contract-based modeling and verification of timed safety requirements within SysML. Software and Systems Modeling 16(2): 587-624 (2017) - [j10]Isabelle Blasquez, Hervé Leblanc, Christian Percebois:
Les tests dans le développement logiciel, du cycle en V aux méthodes agiles. Technique et Science Informatiques 36(1-2): 7-50 (2017) - 2016
- [j9]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. Journal of Systems and Software 113: 275-295 (2016) - [j8]Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnès Front, Claudia Roncancio
:
Integrating run-time changes into system and software process enactment. Journal of Software: Evolution and Process 28(9): 762-782 (2016) - [c30]Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker:
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP 2016: 183-190 - [c29]Robin Bussenot, Hervé Leblanc, Christian Percebois:
A Domain Specific Test Language for Systems Integration. XP Workshops 2016: 16 - 2015
- [j7]Cédric Bouhours, Hervé Leblanc, Christian Percebois:
Spoiled patterns: how to extend the GoF. Software Quality Journal 23(4): 661-694 (2015) - [c28]Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Provably Correct Graph Transformations with Small-tALC. ICTERI 2015: 78-93 - [c27]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: 32-41 - [c26]Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio
:
Impact Analysis of Process Change at Run-Time. WETICE 2015: 156-161 - 2014
- [c25]Brahim Hamid, Christian Percebois:
A Modeling and Formal Approach for the Precise Specification of Security Patterns. ESSoS 2014: 95-112 - [c24]Iulia Dragomir, Iulian Ober, Christian Percebois:
Safety Contracts for Timed Reactive Components in SysML. SOFSEM 2014: 211-222 - 2013
- [c23]Brahim Hamid, Christian Percebois:
Model-Based Specification and Validation of Security and Dependability Patterns. FPS 2013: 65-82 - [c22]Iulia Dragomir, Iulian Ober, Christian Percebois:
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACESMB@MoDELS 2013 - [c21]Christian Percebois, Martin Strecker, Hanh Nhi Tran:
Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM 2013: 106-121 - 2012
- [c20]Brahim Hamid, Christian Percebois, Damien Gouteux:
A methodology for integration of patterns with validation purpose. EuroPLoP 2012: 8:1-8:14 - [c19]Hanh Nhi Tran, Christian Percebois:
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. ICST 2012: 946-953 - [c18]Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux:
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems. SWQD 2012: 193-204 - 2010
- [j6]Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev:
Attribute Computations in the DPoPb Graph Transformation Engine. ECEASST 32 (2010) - [j5]Ileana Ober, Louis Féraud, Christian Percebois:
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. ISSE 6(1-2): 21-28 (2010) - [j4]Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois:
Une approche formelle de l'interopérabilité en modélisation orientée métier. Technique et Science Informatiques 29(4-5): 453-478 (2010) - [c17]Cédric Bouhours, Hervé Leblanc, Christian Percebois:
Sharing bad practices in design to improve the use of patterns. PLoP 2010: 22:1-22:24
2000 – 2009
- 2009
- [j3]Cédric Bouhours, Hervé Leblanc, Christian Percebois:
Bad Smells in Design and Design Patterns. Journal of Object Technology 8(3): 43-63 (2009) - 2008
- [c16]Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois:
Towards Interoperability in Component Based Development with a Family of DSLs. ECSA 2008: 148-163 - 2007
- [c15]Cédric Bouhours, Hervé Leblanc, Christian Percebois:
Towards a Knowledge Base to Improve Reusability of Design Pattern. ICSOFT (SE) 2007: 421-424 - 2003
- [c14]Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois:
Vérification de modèles UML fondée sur OCL. INFORSID 2003: 185-202 - 2000
- [j2]Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix:
Abstract machine construction through operational semantics refinements. Future Generation Comp. Syst. 16(7): 753-769 (2000)
1990 – 1999
- 1999
- [c13]Salam Majoul, Christian Percebois, Jean-Paul Bodeveix:
A Concurrent Object-Based Model and its Use for Coordinating Java Components. TOOLS (30) 1999: 332- - 1998
- [j1]Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois:
Types versus classes. L'OBJET 4(1) (1998) - 1991
- [c12]Christian Percebois, N. Signès, P. Agnoletto:
A Compiler for a Distributed Inference Model. EDMCC 1991: 412-421
1980 – 1989
- 1988
- [c11]P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois:
A Multiprocessor Architecture for Inference Systems: Design and Evaluation. AIMSA 1988: 213-221 - [c10]Christian Percebois, F. Guerin, G. Orzati:
Parallélisme-OU et assertions Prolog. SPLT 1988: 455-470 - 1987
- [c9]Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure:
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. TAPSOFT, Vol.2 1987: 126-139 - 1986
- [c8]Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure:
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. SPLT 1986: 553-570 - 1985
- [c7]Christian Percebois, Irène Durand, C. Simon:
COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. SPLT 1985 - 1984
- [c6]A. Lartigue, Christian Percebois:
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. SPLT 1984 - 1983
- [c5]Christian Percebois, A. Lartigue:
Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG. SPLT 1983 - 1982
- [c4]Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez:
Direct Execution of Lisp on a List-Directed Architecture. ASPLOS 1982: 132-139 - [c3]Christian Percebois, Jean-Paul Sansonnet:
A Lisp-machine to Implement Prolog. ICLP 1982: 45-51 - [c2]Christian Percebois, Jean-Paul Sansonnet:
Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes. SPLT 1982 - 1980
- [c1]Jean-Paul Sansonnet, Michel Castan, Christian Percebois:
M3L: A List-Directed Architecture. ISCA 1980: 105-112
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-10-08 22:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint