- 5
- 4
- 2
- 1
Benoît Caillaud
12
Documents
Affiliations actuelles
- 419153
- 419365
- 105128
- 491207
Publications
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 5
- 1
- 3
|
|
Contracts for Systems Design: Methodology and Application cases[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Rapport
hal-01178469v1
|
|
|
Contracts for Systems Design: Theory[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
Rapport
hal-01178467v1
|
|
|
Contracts for System Design[Research Report] RR-8147, INRIA. 2012, pp.65
Rapport
hal-00757488v1
|
|
|
Ensuring Reachability by Design[Research Report] RR-7928, INRIA. 2012, pp.1-20
Rapport
hal-00696151v1
|
|
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs[Research Report] RR-8030, INRIA. 2012
Rapport
hal-00721049v1
|
|
|
Why are modalities good for Interface Theories?[Research Report] RR-6899, INRIA. 2009
Rapport
inria-00375098v1
|
Ensuring Reachability by Design9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227
Communication dans un congrès
hal-00766735v1
|
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Communication dans un congrès
hal-00766793v1
|
|
Modal Interfaces: Unifying Interface Automata and Modal Specifications.Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Communication dans un congrès
inria-00555742v1
|
|
|
|
Why are modalities good for Interface Theories?The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Communication dans un congrès
inria-00389051v1
|
Contracts for System DesignNow Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Ouvrages
hal-01971429v1
|
A Modal Interface Theory for Component-based DesignFundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
Article dans une revue
inria-00554283v1
|