Benoı̂t Caillaud

2.4k total citations
59 papers, 978 citations indexed

About

Benoı̂t Caillaud is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Computer Networks and Communications. According to data from OpenAlex, Benoı̂t Caillaud has authored 59 papers receiving a total of 978 indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Computational Theory and Mathematics, 20 papers in Hardware and Architecture and 17 papers in Computer Networks and Communications. Recurrent topics in Benoı̂t Caillaud's work include Formal Methods in Verification (27 papers), Embedded Systems Design Techniques (18 papers) and Parallel Computing and Optimization Techniques (10 papers). Benoı̂t Caillaud is often cited by papers focused on Formal Methods in Verification (27 papers), Embedded Systems Design Techniques (18 papers) and Parallel Computing and Optimization Techniques (10 papers). Benoı̂t Caillaud collaborates with scholars based in France, United States and Italy. Benoı̂t Caillaud's co-authors include Albert Benveniste, Dumitru Potop‐Butucaru, Éric Badouel, Philippe Darondeau, Jean-Baptiste Raclet, Roberto Passerone, Paul Le Guernic, Marek A. Bednarczyk, Alberto Sangiovanni‐Vincentelli and Axel Legay and has published in prestigious journals such as Proceedings of the IEEE, Automatica and Theoretical Computer Science.

In The Last Decade

Benoı̂t Caillaud

54 papers receiving 938 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Benoı̂t Caillaud France 19 571 386 279 231 168 59 978
Mark Trakhtenbrot Israel 5 340 0.6× 232 0.6× 92 0.3× 282 1.2× 340 2.0× 17 775
Michael R. Hansen Denmark 13 214 0.4× 100 0.3× 123 0.4× 190 0.8× 80 0.5× 42 498
Angelo Gargantini Italy 16 405 0.7× 94 0.2× 157 0.6× 347 1.5× 837 5.0× 123 1.1k
Harry Hsieh United States 14 440 0.8× 1.6k 4.1× 602 2.2× 116 0.5× 148 0.9× 51 1.8k
Natarajan Shankar United States 20 768 1.3× 376 1.0× 217 0.8× 732 3.2× 379 2.3× 53 1.3k
Cinzia Bernardeschi Italy 13 144 0.3× 183 0.5× 123 0.4× 171 0.7× 78 0.5× 80 540
Allen C.-H. Wu Taiwan 11 200 0.4× 1.4k 3.6× 669 2.4× 88 0.4× 64 0.4× 42 1.7k
Bruno Dutertre United States 15 298 0.5× 191 0.5× 417 1.5× 379 1.6× 211 1.3× 43 903
Pavel Panchekha United States 12 225 0.4× 211 0.5× 182 0.7× 160 0.7× 102 0.6× 28 545
David B. Stewart United States 15 95 0.2× 406 1.1× 197 0.7× 184 0.8× 40 0.2× 39 747

Countries citing papers authored by Benoı̂t Caillaud

Since Specialization
Citations

This map shows the geographic impact of Benoı̂t Caillaud'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 Benoı̂t Caillaud with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Benoı̂t Caillaud more than expected).

Fields of papers citing papers by Benoı̂t Caillaud

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Benoı̂t Caillaud. 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 Benoı̂t Caillaud. The network helps show where Benoı̂t Caillaud may publish in the future.

Co-authorship network of co-authors of Benoı̂t Caillaud

This figure shows the co-authorship network connecting the top 25 collaborators of Benoı̂t Caillaud. A scholar is included among the top collaborators of Benoı̂t Caillaud 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 Benoı̂t Caillaud. Benoı̂t Caillaud is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Rouquette, Nicolas, Albert Benveniste, Benoı̂t Caillaud, et al.. (2024). Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. ACM Transactions on Cyber-Physical Systems. 9(1). 1–35.
2.
Bracq, Marie-Stéphanie, Estelle Michinov, Bruno Arnaldi, et al.. (2019). Learning procedural skills with a virtual reality simulator: An acceptability study. Nurse Education Today. 79. 153–160. 83 indexed citations
3.
Benveniste, Albert, Benoı̂t Caillaud, Dejan Ničković, et al.. (2018). Contracts for System Design. VBN Forskningsportal (Aalborg Universitet). 12(2-3). 124–400. 103 indexed citations
4.
Benveniste, Albert, et al.. (2018). Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proceedings of the IEEE. 106(9). 1568–1592. 6 indexed citations
5.
Gouranton, Valérie, et al.. (2016). Synthesis and Simulation of Surgical Process Models.. PubMed. 220. 63–70. 4 indexed citations
6.
Caillaud, Benoı̂t. (2013). Surgical Process Mining with Test and Flip Net Synthesis ⋆. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations
7.
Raclet, Jean-Baptiste, Éric Badouel, Albert Benveniste, et al.. (2011). A Modal Interface Theory for Component-based Design. Fundamenta Informaticae. 108(1-2). 119–149. 41 indexed citations
8.
Benveniste, Albert, Timothy Bourke, Benoı̂t Caillaud, & Marc Pouzet. (2011). Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences. 78(3). 877–910. 35 indexed citations
9.
Caillaud, Benoı̂t, et al.. (2011). Constraint Markov Chains. Theoretical Computer Science. 412(34). 4373–4404. 20 indexed citations
10.
Delahaye, Benoît, Benoı̂t Caillaud, & Axel Legay. (2010). Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design. 38(1). 1–32. 12 indexed citations
11.
Raclet, Jean-Baptiste, Éric Badouel, Albert Benveniste, Benoı̂t Caillaud, & Roberto Passerone. (2009). Why Are Modalities Good for Interface Theories?. HAL (Le Centre pour la Communication Scientifique Directe). 4085. 119–127. 25 indexed citations
12.
Benveniste, Albert, et al.. (2008). Other Grants and Activities - Speeds: Speculative and Exploratory Design in Systems Engineering. 166(4). 985–7. 1 indexed citations
13.
Potop‐Butucaru, Dumitru & Benoı̂t Caillaud. (2007). Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundamenta Informaticae. 78(1). 131–159. 21 indexed citations
14.
Benveniste, Albert, Benoı̂t Caillaud, Luca P. Carloni, et al.. (2006). Communication by sampling in time-sensitive distributed systems. 152–152. 6 indexed citations
15.
Potop‐Butucaru, Dumitru & Benoı̂t Caillaud. (2006). Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. 48–57. 26 indexed citations
16.
Talpin, Jean-Pierre, et al.. (2002). BDL, a language of distributed reactive objects. 196–205. 7 indexed citations
17.
Benveniste, Albert, Benoı̂t Caillaud, & Paul Le Guernic. (2000). Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Information and Computation. 163(1). 125–171. 80 indexed citations
18.
Talpin, Jean-Pierre, Albert Benveniste, Benoı̂t Caillaud, & Paul Le Guernic. (1999). Hierarchic Normal Forms for Desynchronization. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations
19.
Hélouët, Loı̈c, Claude Jard, & Benoı̂t Caillaud. (1998). An Effective Equivalence for Sets of Scenarios Represented by HMSCs. Ticks and Tick-borne Diseases. 11(6). 101508–101508. 1 indexed citations
20.
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

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

Breakdown of academic impact, for papers by Mark Trakhtenbrot Breakdown of academic impact, for papers by Michael R. Hansen Breakdown of academic impact, for papers by Angelo Gargantini Breakdown of academic impact, for papers by Harry Hsieh Breakdown of academic impact, for papers by Natarajan Shankar Breakdown of academic impact, for papers by Cinzia Bernardeschi Breakdown of academic impact, for papers by Allen C.-H. Wu Breakdown of academic impact, for papers by Bruno Dutertre Breakdown of academic impact, for papers by Pavel Panchekha Breakdown of academic impact, for papers by David B. Stewart
Rankless by CCL
2026