Concepedia

P. Caspi

PC

Statistics

Publications

11

Citations

3.5K

H-Index

11

Active since

1987

Affiliations

Verimag(Current)

Université Joseph Fourier

Institut national de recherche en sciences et technologies du numérique

P. Caspi is an author at Verimag specializing in computer science, computing, and formal methods.

Publications per year

1987–2005

11

Publications

11

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +15

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

Computing, Computer Engineering, Computer Science +15

LUSTRE: a declarative language for real-time programming

P. Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 557 citations · Full text

Computing, Computer Engineering, Computer Science +17

Defining and translating a "safe" subset of simulink/stateflow into lustre

Norman Scaife, Christos Sofronis, P. Caspi et al. · 2004 · 112 citations

Computing, Computer Engineering, Computer Science +12

A Kleene theorem for timed automata

Eugène Asarin, P. Caspi, Oded Maler · 2002 · 103 citations

Computing, Computer Science, Formal Methods +16

1–5 of 11