BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Percebois:Christian

Contributed to:

SEFM 20132013
ICST 20122012
ECSA 20082008
TOOLS USA 19991999
ASPLOS 19821982
ILPC 19821982
TAPSOFT, Vol.2: CFLP 19871987

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.