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 × France
1 × Germany
1 × Ireland
1 × Poland
2 × USA
Collaborated with:
M.Pouzet E.Asarin O.Maler M.Riffiod C.Piala J.Voirin D.Pilaud N.Halbwachs J.Plaice J.Colaço L.Gérard P.Raymond A.Curic A.Maignan C.Sofronis S.Tripakis P.Niebert
Talks about:
synchron (3) lustr (3) industrialis (1) distribut (1) simulink (1) introduc (1) automata (1) approach (1) theorem (1) schedul (1)

Person: Paul Caspi

DBLP DBLP: Caspi:Paul

Contributed to:

LCTES 20092009
DATE 20072007
LCTES 20032003
LICS 19971997
ICFP 19961996
POPL 19871987

Wrote 6 papers:

LCTES-2009-CaspiCGPR #memory management #policy #scheduling
Synchronous objects with scheduling policies: introducing safe shared memory in lustre (PC, JLC, LG, MP, PR), pp. 11–20.
DATE-2007-RiffiodCPV #development
Development and industrialisation (MR, PC, CP, JLV), pp. 1403–1405.
LCTES-2003-CaspiCMSTN #approach #distributed #embedded
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.
LICS-1997-AsarinCM #automaton #theorem
A Kleene Theorem for Timed Automata (EA, PC, OM), pp. 160–171.
ICFP-1996-CaspiP #network
Synchronous Kahn Networks (PC, MP), pp. 226–238.
POPL-1987-CaspiPHP #declarative #named #programming
Lustre: A Declarative Language for Programming Synchronous Systems (PC, DP, NH, JP), pp. 178–188.

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.