Accéder directement au contenu

Benoît Caillaud

5
Documents
Affiliations actuelles
  • 419153
  • 419365
  • 105128
  • 491207

Publications

"jean-pierretalpin"
Image document

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

 Jean-Pierre Talpin , Dumitru Potop-Butucaru , Julien Ouy , Benoit Caillaud
[Research Report] PI 1730, 2005, pp.22
Rapport inria-00000175v1
Image document

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

 Jean-Pierre Talpin , Dumitru Potop-Butucaru , Julien Ouy , Benoit Caillaud
[Research Report] RR-5610, INRIA. 2005, pp.22
Rapport inria-00070397v1
Image document

BDL: A Semantics Backbone for UML Dynamic Diagrams

 Benoit Caillaud , Jean-Pierre Talpin , Jean-Marc Jézéquel , Albert Benveniste , Claude Jard
[Research Report] RR-4003, INRIA. 2000
Rapport inria-00072641v1
Image document

Hierarchic Normal Forms for Desynchronization

 Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Paul Le Guernic
[Research Report] RR-3822, INRIA. 1999
Rapport inria-00072836v1
Image document

BDl, A Language of Distributed Reactive Objects

 Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Claude Jard , Zakaria Bouziane
[Research Report] RR-3353, INRIA. 1998
Rapport inria-00073336v1