Concepedia

Paul Caspi

PC

23

Publications

1.7K

Citations

19

H-Index

1985

Active since

Affiliations

Verimag(Current)

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

Centre National de la Recherche Scientifique

Cadence Design Systems (United States)

University of California, Berkeley

Paul Caspi is an author at Verimag specializing in engineering, computer science, and computer architecture.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer ArchitectureSystem SoftwareComputer EngineeringParallel ComputingFormal VerificationSystems EngineeringProgram Analysis

Publications per year

1985–2010

23

Publications

23

LUSTRE: A declarative language for programming synchronous systems*

Paul Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 461 citations

From simulink to SCADE/lustre to TTA

Paul Caspi, Adrian Curic, Aude Maignan et al. · ACM SIGPLAN Notices · 2003 · 155 citations

Emulation Technique, Engineering, Computer Architecture +16

Translating discrete-time simulink to lustre

Stavros Tripakis, Christos Sofronis, Paul Caspi et al. · ACM Transactions on Embedded Computing Systems · 2005 · 151 citations

Engineering, Hardware Verification Language, Computer Architecture +19

Synchronous Kahn networks

Paul Caspi, Marc Pouzet · 1996 · 130 citations

Engineering, Computer Architecture, Network Analysis +21

Implementing Synchronous Models on Loosely Time Triggered Architectures

Stavros Tripakis, Claudio Pinello, Albert Benveniste et al. · IEEE Transactions on Computers · 2008 · 112 citations

Engineering, Verification, Computer Architecture +19

Rows per page

1–5 of 23