CV Accueil - Archive ouverte HAL

	Application of Interface Theories to the Separate Compilation of Synchronous Programs Albert Benveniste , Benoît Caillaud , Jean-Baptiste Raclet [Research Report] RR-8030, INRIA. 2012 Rapport hal-00721049v1
	Contracts for System Design Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet [Research Report] RR-8147, INRIA. 2012, pp.65 Rapport hal-00757488v1
	Why are modalities good for Interface Theories? Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone [Research Report] RR-6899, INRIA. 2009 Rapport inria-00375098v1

	Application of Interface Theories to the Separate Compilation of Synchronous Programs Albert Benveniste , Benoit Caillaud , Jean-Baptiste Raclet 51st 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
	Why are modalities good for Interface Theories? Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany Communication dans un congrès inria-00389051v1

Benoît Caillaud