default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristian Percebois
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c34]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) - [c33]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. Softw. Syst. Model. 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. Tech. Sci. 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. J. Syst. Softw. 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. J. Softw. Evol. Process. 28(9): 762-782 (2016) - [c32]Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker:
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF 2016: 183-190 - [c31]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. Softw. Qual. J. 23(4): 661-694 (2015) - [c30]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 - [c29]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 - [c28]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
- [c27]Brahim Hamid, Christian Percebois:
A Modeling and Formal Approach for the Precise Specification of Security Patterns. ESSoS 2014: 95-112 - [c26]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: 1071-1076 - [c25]Iulia Dragomir, Iulian Ober, Christian Percebois:
Safety Contracts for Timed Reactive Components in SysML. SOFSEM 2014: 211-222 - 2013
- [c24]Brahim Hamid, Christian Percebois:
Model-Based Specification and Validation of Security and Dependability Patterns. FPS 2013: 65-82 - [c23]Iulia Dragomir, Iulian Ober, Christian Percebois:
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACES-MB@MoDELS 2013 - [c22]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
- [c21]Brahim Hamid, Christian Percebois, Damien Gouteux:
A methodology for integration of patterns with validation purpose. EuroPLoP 2012: 8:1-8:14 - [c20]Hanh Nhi Tran, Christian Percebois:
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. ICST 2012: 946-953 - [c19]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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 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. Innov. Syst. Softw. Eng. 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. Tech. Sci. Informatiques 29(4-5): 453-478 (2010) - [c18]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. J. Object Technol. 8(3): 43-63 (2009) - 2008
- [c17]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
- [c16]Cédric Bouhours, Hervé Leblanc, Christian Percebois:
Towards a Knowledge Base to Improve Reusability of Design Pattern. ICSOFT (SE) 2007: 421-424 - 2003
- [c15]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 Gener. Comput. Syst. 16(7): 753-769 (2000)
1990 – 1999
- 1999
- [c14]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. Obj. Logiciel Base données Réseaux 4(1) (1998) - 1991
- [c13]Christian Percebois, N. Signès, P. Agnoletto:
A Compiler for a Distributed Inference Model. EDMCC 1991: 412-421
1980 – 1989
- 1988
- [c12]P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois:
A Multiprocessor Architecture for Inference Systems: Design and Evaluation. AIMSA 1988: 213-221 - [c11]Christian Percebois, F. Guerin, G. Orzati:
Parallélisme-OU et assertions Prolog. SPLT 1988: 455-470 - 1987
- [c10]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: 126-139 - 1986
- [c9]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: 553-570 - 1985
- [c8]Christian Percebois, Irène Durand, Catherine Simon:
COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. SPLT 1985 - 1984
- [c7]A. Lartigue, Christian Percebois:
Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. SPLT 1984 - 1983
- [c6]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
- [c5]Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez:
Direct Execution of Lisp on a List-Directed Architecture. ASPLOS 1982: 132-139 - [c4]Jean-Paul Sansonnet, Christian Percebois, D. Botella, J. Perez:
A Hardware Support for Interactive Programming Environments. ECICS 1982: 125-135 - [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).
Privacy notice: By enabling the option above, your browser will contact the API of 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, opencitations.net, and semanticscholar.org to load article reference 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, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and 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 and semanticscholar.org 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 as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
