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: Caspi:Paul
Contributed to:
2009
20072003
1997
1996
1987Wrote 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.