41
Publications
1.7K
Citations
23
H-Index
1997
Active since
Benoı̂t Caillaud is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringSystems EngineeringFormal MethodsComputer ScienceFormal VerificationParallel ComputingAutomated ReasoningComputer EngineeringSystem SoftwareParallel Programming
Publications per year
1997–2020
41
41
Albert Benveniste, Benoı̂t Caillaud, Dejan Ničković et al. · Foundations and Trends® in Electronic Design Automation · 2018 · 230 citations · Full text
Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski et al. · Discrete Event Dynamic Systems · 2007 · 137 citations
A Modal Interface Theory for Component-based Design
Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · Fundamenta Informaticae · 2011 · 99 citations · Full text
Rows per page
1–5 of 41