Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank Unifying theories of reactive design contracts. (English) Zbl 1436.68195 Theor. Comput. Sci. 802, 105-140 (2020). MSC: 68Q60 68Q55 68V15 PDF BibTeX XML Cite \textit{S. Foster} et al., Theor. Comput. Sci. 802, 105--140 (2020; Zbl 1436.68195) Full Text: DOI
Le Coënt, Adrien; Fribourg, Laurent; Markey, Nicolas; De Vuyst, Florian; Chamoin, Ludovic Compositional synthesis of state-dependent switching control. (English) Zbl 1405.93098 Theor. Comput. Sci. 750, 53-68 (2018). MSC: 93B50 93C30 93C55 93B03 93C95 93B35 PDF BibTeX XML Cite \textit{A. Le Coënt} et al., Theor. Comput. Sci. 750, 53--68 (2018; Zbl 1405.93098) Full Text: DOI
Le Coënt, Adrien; dit Sandretto, Julien Alexandre; Chapoutot, Alexandre; Fribourg, Laurent An improved algorithm for the control synthesis of nonlinear sampled switched systems. (English) Zbl 1428.93053 Form. Methods Syst. Des. 53, No. 3, 363-383 (2018). MSC: 93C30 93B03 93C15 93B50 93C10 PDF BibTeX XML Cite \textit{A. Le Coënt} et al., Form. Methods Syst. Des. 53, No. 3, 363--383 (2018; Zbl 1428.93053) Full Text: DOI
Broy, Manfred Theory and methodology of assumption/commitment based system interface specification and architectural contracts. (English) Zbl 1392.68238 Form. Methods Syst. Des. 52, No. 1, 33-87 (2018). MSC: 68Q60 68M07 68M14 68M20 PDF BibTeX XML Cite \textit{M. Broy}, Form. Methods Syst. Des. 52, No. 1, 33--87 (2018; Zbl 1392.68238) Full Text: DOI
Westman, Jonas; Nyberg, Mattias Conditions of contracts for separating responsibilities in heterogeneous systems. (English) Zbl 1390.68442 Form. Methods Syst. Des. 52, No. 2, 147-192 (2018). MSC: 68Q60 PDF BibTeX XML Cite \textit{J. Westman} and \textit{M. Nyberg}, Form. Methods Syst. Des. 52, No. 2, 147--192 (2018; Zbl 1390.68442) Full Text: DOI
Millo, Jean-Vivien; de Simone, Robert Explicit routing schemes for implementation of cellular automata on processor arrays. (English) Zbl 1334.68142 Nat. Comput. 12, No. 3, 353-368 (2013). MSC: 68Q80 68M07 PDF BibTeX XML Cite \textit{J.-V. Millo} and \textit{R. de Simone}, Nat. Comput. 12, No. 3, 353--368 (2013; Zbl 1334.68142) Full Text: DOI