Publications on contract-based design

Publications HAL

Search Results –> Url version détaillée , Url version formatée
Criteria : Mot clé(s) : “ContBasedDesign”
Number of occurrences founded : 6.

titre: Synchronous Interfaces and Assume/Guarantee Contracts
auteur: Albert Benveniste, Benoît Caillaud
article: Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools – Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. ⟨10.1007/978-3-319-63121-9_12⟩

titre: Contracts for Schedulability Analysis
auteur: Philipp Reinkemeier, Albert Benveniste, Werner Damm, Ingo Stierand
article: 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, Sriram Sankaranarayanan (University of Colorado at Boulder, USA); Enrico Vicario (University of Florence, Italy), Sep 2015, Madrid, Spain

titre: Contracts for Systems Design: Theory
auteur: Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
article: [Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86

titre: Contracts for Systems Design: Methodology and Application cases
auteur: Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
article: [Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63

titre: Modal Interfaces: Unifying Interface Automata and Modal Specifications.
auteur: Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
article: Proc. 9th International Conference on Embedded Software (EMSOFT’09), Oct 2009, Grenoble, France