Christian Percebois

46 papers A* 2A 1B 6C 2Misc 3Journal 12Unranked 20

Year	Rank	Type	Title / Venue / Authors
2019	B	`conf`	Two-Level Reasoning About Graph Transformation Programs. ICGT Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
2018	—	`conf`	Orchestration of Domain Specific Test Languages with a Behavior Driven Development approach. SoSE Robin Bussenot, Hervé Leblanc, Christian Percebois
2018	J	`jnl`	Synchrostate: A SPEM-based solution for synchronizing activities and products through state transitions. Int. Arab J. Inf. Technol. Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron
2017	J	`jnl`	Contract-based modeling and verification of timed safety requirements within SysML. Softw. Syst. Model. Iulia Dragomir, Iulian Ober, Christian Percebois
2017	J	`jnl`	Les tests dans le développement logiciel, du cycle en V aux méthodes agiles. Tech. Sci. Informatiques Isabelle Blasquez, Hervé Leblanc, Christian Percebois
2016	—	`conf`	A Domain Specific Test Language for Systems Integration. XP Workshops Robin Bussenot, Hervé Leblanc, Christian Percebois
2016	—	`conf`	Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
2016	J	`jnl`	IDF: A framework for the incremental development and conformance verification of UML active primitive components. J. Syst. Softw. Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois
2016	J	`jnl`	Integrating run-time changes into system and software process enactment. J. Softw. Evol. Process. Hanh Nhi Tran, Mojtaba Hajmoosaei, Christian Percebois, Agnès Front, Claudia Roncancio
2015	C	`conf`	Impact Analysis of Process Change at Run-Time. WETICE Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio
2015	Misc	`conf`	Provably Correct Graph Transformations with Small-tALC. ICTERI Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
2015	J	`jnl`	Spoiled patterns: how to extend the GoF. Softw. Qual. J. Cédric Bouhours, Hervé Leblanc, Christian Percebois
2015	B	`conf`	Towards a change-aware process environment for system and software process. ICSSP Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agnès Front, Claudia Roncancio
2014	—	`conf`	A Modeling and Formal Approach for the Precise Specification of Security Patterns. ESSoS Brahim Hamid, Christian Percebois
2014	—	`conf`	Implementing and validating SynchSPEM: A solution for synchronizing activities and products within a software engineering process. ICMCS Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Christian Percebois, Thierry Millan, Claude Baron
2014	B	`conf`	Safety Contracts for Timed Reactive Components in SysML. SOFSEM Iulia Dragomir, Iulian Ober, Christian Percebois
2013	—	`conf`	Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACES-MB@MoDELS Iulia Dragomir, Iulian Ober, Christian Percebois
2013	—	`conf`	Model-Based Specification and Validation of Security and Dependability Patterns. FPS Brahim Hamid, Christian Percebois
2013	B	`conf`	Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure. SEFM Christian Percebois, Martin Strecker, Hanh Nhi Tran
2012	Misc	`conf`	A methodology for integration of patterns with validation purpose. EuroPLoP Brahim Hamid, Christian Percebois, Damien Gouteux
2012	A	`conf`	Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations. ICST Hanh Nhi Tran, Christian Percebois
2012	—	`conf`	Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems. SWQD Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux
2010	J	`jnl`	Attribute Computations in the DPoPb Graph Transformation Engine. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev
2010	J	`jnl`	Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. Innov. Syst. Softw. Eng. Ileana Ober, Louis Féraud, Christian Percebois
2010	C	`conf`	Sharing bad practices in design to improve the use of patterns. PLoP Cédric Bouhours, Hervé Leblanc, Christian Percebois
2010	J	`jnl`	Une approche formelle de l'interopérabilité en modélisation orientée métier. Tech. Sci. Informatiques Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois
2009	J	`jnl`	Bad Smells in Design and Design Patterns. J. Object Technol. Cédric Bouhours, Hervé Leblanc, Christian Percebois
2008	B	`conf`	Towards Interoperability in Component Based Development with a Family of DSLs. ECSA Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
2007	—	`conf`	Towards a Knowledge Base to Improve Reusability of Design Pattern. ICSOFT (SE) Cédric Bouhours, Hervé Leblanc, Christian Percebois
2003	—	`conf`	Vérification de modèles UML fondée sur OCL. INFORSID Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois
2000	J	`jnl`	Abstract machine construction through operational semantics refinements. Future Gener. Comput. Syst. Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix
1999	—	`conf`	A Concurrent Object-Based Model and its Use for Coordinating Java Components. TOOLS (30) Salam Majoul, Christian Percebois, Jean-Paul Bodeveix
1998	J	`jnl`	Types versus classes. Obj. Logiciel Base données Réseaux Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois
1991	—	`conf`	A Compiler for a Distributed Inference Model. EDMCC Christian Percebois, N. Signès, P. Agnoletto
1988	Misc	`conf`	A Multiprocessor Architecture for Inference Systems: Design and Evaluation. AIMSA P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois
1988	—	`conf`	Parallélisme-OU et assertions Prolog. SPLT Christian Percebois, F. Guerin, G. Orzati
1987	—	`conf`	Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. TAPSOFT, Vol.2 Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure
1986	—	`conf`	Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. SPLT Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure
1985	—	`conf`	COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog. SPLT Christian Percebois, Irène Durand, Catherine Simon
1984	—	`conf`	Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG. SPLT A. Lartigue, Christian Percebois
1983	—	`conf`	Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG. SPLT Christian Percebois, A. Lartigue
1982	—	`conf`	A Hardware Support for Interactive Programming Environments. ECICS Jean-Paul Sansonnet, Christian Percebois, D. Botella, J. Perez
1982	B	`conf`	A Lisp-machine to Implement Prolog. ICLP Christian Percebois, Jean-Paul Sansonnet
1982	A*	`conf`	Direct Execution of Lisp on a List-Directed Architecture. ASPLOS Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez
1982	—	`conf`	Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes. SPLT Christian Percebois, Jean-Paul Sansonnet
1980	A*	`conf`	M3L: A List-Directed Architecture. ISCA Jean-Paul Sansonnet, Michel Castan, Christian Percebois