Paul Caspi - Concepedia

Author

Paul Caspi

Verimag

Also Known As

Caspi, Paul, P. Caspi, Paul Caspi

Publications

2.2K

Citations

H-Index

Concepts

All Affiliations

Verimag 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	21	1.2K
2	Computer Science	17	19	1.1K
3	Computer Engineering	14	14	805
4	Education	1	1	49
5	Data Science	1	1	39

Paul Caspi

Publications

1.7K

Citations

H-Index

Page 1

	Year	Citations
LUSTRE: A declarative language for programming synchronous systems* Paul Caspi, D. Pilaud, Nicolas Halbwachs,	1987	461
From simulink to SCADE/lustre to TTA Paul Caspi, Adrian Curic, Aude Maignan, ACM SIGPLAN Notices Emulation TechniqueEngineeringComputer ArchitectureSoftware EngineeringReal-time Data	2003	155
Translating discrete-time simulink to lustre Stavros Tripakis, Christos Sofronis, Paul Caspi, ACM Transactions on Embedded Computing Systems EngineeringHardware Verification LanguageComputer ArchitectureFormal VerificationDiscrete-time Simulink	2005	151
Synchronous Kahn networks Paul Caspi, Marc Pouzet EngineeringComputer ArchitectureNetwork AnalysisFormal VerificationNetwork Dynamic	1996	130
Implementing Synchronous Models on Loosely Time Triggered Architectures Stavros Tripakis, Claudio Pinello, Albert Benveniste, IEEE Transactions on Computers EngineeringVerificationComputer ArchitectureConcurrent SystemSynchronous Systems	2008	112
From simulink to SCADE/lustre to TTA Paul Caspi, Adrian Curic, Aude Maignan, Emulation TechniqueEngineeringComputer ArchitectureSoftware EngineeringReal-time Data	2003	67
Clocks in dataflow languages Paul Caspi Theoretical Computer Science EngineeringData FlowFormal MethodsComputer ArchitectureComputer Science	1992	60
A Co-iterative Characterization of Synchronous Stream Functions Paul Caspi, Marc Pouzet Electronic Notes in Theoretical Computer Science EngineeringStreaming AlgorithmAsynchronous SystemsFunctional AnalysisStreaming Data	1998	58
A functional model for describing and reasoning about time behaviour of computing systems Paul Caspi, Nicolas Halbwachs Acta Informatica EngineeringFormal ModelingAutomated ReasoningProgram AnalysisFormal Methods	1986	55
Embedded systems education D. J. Jackson, Paul Caspi ACM SIGBED Review Summary Panel DiscussionSystems EducationSystem Engineering EducationEngineeringComputer Engineering	2005	49

Page 1