Skip to content

Christian Percebois

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

15

Active years

1980–2016

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2016TAPCombining Dynamic and Static Analysis to Help Develop Correct Graph Transformations.Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
2015ICTERIProvably Correct Graph Transformations with Small-tALC.Nadezhda Baklanova, Jon Hal Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
2015WETICEImpact Analysis of Process Change at Run-Time.Mojtaba Hajmoosaei, Hanh Nhi Tran, Christian Percebois, Agns Front, Claudia Roncancio
2014SOFSEMSafety Contracts for Timed Reactive Components in SysML.Iulia Dragomir, Iulian Ober, Christian Percebois
2013MODELSIntegrating verifiable Assume/Guarantee contracts in UML/SysML.Iulia Dragomir, Iulian Ober, Christian Percebois
2013SEFMRule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure.Christian Percebois, Martin Strecker, Hanh Nhi Tran
2012EuroPLopA methodology for integration of patterns with validation purpose.Brahim Hamid, Christian Percebois, Damien Gouteux
2012ICSTTowards a Rule-Level Verification Framework for Property-Preserving Graph Transformations.Hanh Nhi Tran, Christian Percebois
2010PLOPSharing bad practices in design to improve the use of patterns.Cdric Bouhours, Herv Leblanc, Christian Percebois
2008ECSATowards Interoperability in Component Based Development with a Family of DSLs.Ileana Ober, Ali Abou Dib, Louis Fraud, Christian Percebois
2007ICSoftTowards a Knowledge Base to Improve Reusability of Design Pattern.Cdric Bouhours, Herv Leblanc, Christian Percebois
1988AIMSAA Multiprocessor Architecture for Inference Systems: Design and Evaluation.P. Arratibel, Marie-Pierre Gleizes, Pierre Glize, Christian Percebois
1982ASPLOSDirect Execution of Lisp on a List-Directed Architecture.Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez
1982ICLPA Lisp-machine to Implement Prolog.Christian Percebois, Jean-Paul Sansonnet
1980ISCAM3L: A List-Directed Architecture.Jean-Paul Sansonnet, Michel Castan, Christian Percebois