Travelled to:1 × Canada
1 × Cyprus
1 × France
1 × Spain
2 × USA
Collaborated with:H.N.Tran J.Sansonnet M.Strecker S.Majoul J.Bodeveix I.Ober A.A.Dib L.Féraud M.Castan D.Botella J.Perez I.Futó I.Durand C.Simon B.Bonhoure
Talks about:base (4) graph (3) architectur (2) transform (2) toward (2) prolog (2) direct (2) compon (2) verif (2) level (2)
Person: Christian Percebois
DBLP: Percebois:Christian
Contributed to:
2013
2012
2008
1999
1982
1982
1987Wrote 7 papers:
- SEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification
- Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
- ICST-2012-TranP #framework #graph transformation #towards #verification
- Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
- ECSA-2008-OberDFP #component #development #domain-specific language #product line #towards
- Towards Interoperability in Component Based Development with a Family of DSLs (IO, AAD, LF, CP), pp. 148–163.
- TOOLS-USA-1999-MajoulPB #component #concurrent #coordination #java
- A Concurrent Object-Based Model and its Use for Coordinating Java Components (SM, CP, JPB), p. 332–?.
- ASPLOS-1982-SansonnetCPBP #architecture #execution #lisp
- Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.
- ILPC-1982-PerceboisS82 #prolog
- A Lisp-machine to Implement Prolog (CP, JPS), pp. 45–51.
- CFLP-1987-PerceboisFDSB #architecture #distributed #graph #multi #prolog #simulation
- Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph (CP, IF, ID, CS, BB), pp. 126–139.