Paul Caspi

2.2k total citations
31 papers, 935 citations indexed

About

Paul Caspi is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Paul Caspi has authored 31 papers receiving a total of 935 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Hardware and Architecture, 17 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. Recurrent topics in Paul Caspi's work include Embedded Systems Design Techniques (19 papers), Real-Time Systems Scheduling (14 papers) and Formal Methods in Verification (14 papers). Paul Caspi is often cited by papers focused on Embedded Systems Design Techniques (19 papers), Real-Time Systems Scheduling (14 papers) and Formal Methods in Verification (14 papers). Paul Caspi collaborates with scholars based in France, United States and Italy. Paul Caspi's co-authors include Nicolas Halbwachs, Stavros Tripakis, D. Pilaud, John Plaice, Christos Sofronis, Marc Pouzet, Peter Niebert, Albert Benveniste, Aude Maignan and D. J. Jackson and has published in prestigious journals such as IEEE Transactions on Computers, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Paul Caspi

30 papers receiving 817 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Paul Caspi France	15	708	509	209	180	160	31	935
D. Pilaud France	6	981 1.4×	777 1.5×	317 1.5×	319 1.8×	338 2.1×	7	1.4k
Jeroen Voeten Netherlands	13	418 0.6×	268 0.5×	187 0.9×	121 0.7×	107 0.7×	83	610
Massimiliano Chiodo United States	10	1.1k 1.6×	300 0.6×	377 1.8×	61 0.3×	92 0.6×	23	1.2k
Attila Jurecska Italy	9	1.1k 1.5×	304 0.6×	368 1.8×	59 0.3×	92 0.6×	15	1.2k
Michael González Harbour Spain	21	1.8k 2.5×	677 1.3×	889 4.3×	255 1.4×	101 0.6×	78	1.9k
Janick Bergeron United States	7	313 0.4×	140 0.3×	146 0.7×	94 0.5×	151 0.9×	13	541
Jakob Engblom Sweden	15	1.5k 2.2×	378 0.7×	658 3.1×	230 1.3×	171 1.1×	37	1.8k
John Plaice Australia	8	384 0.5×	395 0.8×	191 0.9×	253 1.4×	176 1.1×	29	748
Dionisio de Niz United States	19	988 1.4×	218 0.4×	643 3.1×	155 0.9×	98 0.6×	57	1.2k
Gianpiero Cabodi Italy	14	246 0.3×	481 0.9×	47 0.2×	191 1.1×	336 2.1×	110	709

Countries citing papers authored by Paul Caspi

Since Specialization

Citations

This map shows the geographic impact of Paul Caspi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Paul Caspi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Paul Caspi more than expected).

Fields of papers citing papers by Paul Caspi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Paul Caspi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Paul Caspi. The network helps show where Paul Caspi may publish in the future.

Co-authorship network of co-authors of Paul Caspi

This figure shows the co-authorship network connecting the top 25 collaborators of Paul Caspi. A scholar is included among the top collaborators of Paul Caspi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Paul Caspi. Paul Caspi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Caspi, Paul, et al.. (2009). Flush: an example of development by refinements in SCADE/Lustre. International Journal on Software Tools for Technology Transfer. 11(5). 409–418.

Caspi, Paul, et al.. (2009). Synchronous objects with scheduling policies. 11–20. 11 indexed citations

Tripakis, Stavros, et al.. (2008). Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Transactions on Computers. 57(10). 1300–1314. 59 indexed citations

Behnia, S., et al.. (2008). Industrialising a proof-based verification approach of computerised interlocking systems. WIT transactions on the built environment. I. 143–152. 1 indexed citations

Benveniste, Albert, Benoı̂t Caillaud, Luca P. Carloni, Paul Caspi, & Alberto Sangiovanni‐Vincentelli. (2008). Composing heterogeneous reactive systems. ACM Transactions on Embedded Computing Systems. 7(4). 1–36. 13 indexed citations

Benveniste, Albert, Benoı̂t Caillaud, Luca P. Carloni, et al.. (2006). Communication by sampling in time-sensitive distributed systems. 152–152. 6 indexed citations

Sofronis, Christos, Stavros Tripakis, & Paul Caspi. (2006). A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. 21–21. 35 indexed citations

Jackson, D. J. & Paul Caspi. (2005). Embedded systems education. ACM SIGBED Review. 2(4). 1–4. 34 indexed citations

Caspi, Paul, et al.. (2005). Flush. HAL (Le Centre pour la Communication Scientifique Directe). 27–34. 1 indexed citations

10.

Caspi, Paul, et al.. (2005). Temporal Refinement for Lustre. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations

11.

Caspi, Paul, et al.. (2003). From simulink to SCADE/lustre to TTA. ACM SIGPLAN Notices. 38(7). 153–162. 96 indexed citations

12.

Caspi, Paul, et al.. (2003). From simulink to SCADE/lustre to TTA. 153–162. 47 indexed citations

13.

Caspi, Paul & Marc Pouzet. (1998). A Co-iterative Characterization of Synchronous Stream Functions. Electronic Notes in Theoretical Computer Science. 11. 1–21. 29 indexed citations

14.

Caillaud, Benoı̂t, Paul Caspi, Alain Girault, & Claude Jard. (1997). Distributing Automata for Asynchronous Networks of Processors. HAL (Le Centre pour la Communication Scientifique Directe). 31(3). 503–524. 11 indexed citations

15.

Caspi, Paul & Marc Pouzet. (1996). Synchronous Kahn networks. 226–238. 63 indexed citations

16.

Berry, Gérard, Paul Caspi, Nicolas Halbwachs, et al.. (1993). Projet SYNCHRONE : les formats communs des langages synchrones. HAL (Le Centre pour la Communication Scientifique Directe). 6 indexed citations

17.

Caspi, Paul. (1992). Clocks in dataflow languages. Theoretical Computer Science. 94(1). 125–140. 28 indexed citations

18.

Caspi, Paul, et al.. (1985). Outline of a Real Time Data Flow Language.. OpenGrey (Institut de l'Information Scientifique et Technique). 33–42. 20 indexed citations

19.

Caspi, Paul & Nicolas Halbwachs. (1985). An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. 40–46. 4 indexed citations

20.

Caspi, Paul & Nicolas Halbwachs. (1982). Algebra of events: a model for parallel and real time systems.. Proceedings of the International Conference on Parallel Processing. 150–159. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact