Benoı̂t Caillaud
Institut de Recherche en Informatique et Systèmes Aléatoires(FR)Inria Rennes - Bretagne Atlantique Research Centre(FR)Université de Rennes(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Modeling and Simulation Systems, Simulation Techniques and Applications, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Contracts for System Design(2018)231 cited
- → Multiple Viewpoint Contract-Based Specification and Design(2008)190 cited
- → Concurrent Secrets(2007)137 cited
- → Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation(2000)131 cited
- → Learning procedural skills with a virtual reality simulator: An acceptability study(2019)122 cited
- → A Modal Interface Theory for Component-based Design(2011)99 cited
- → From Synchrony to Asynchrony(1999)