{"_id":"4631","status":"public","volume":2491,"quality_controlled":"1","publication_status":"published","article_processing_charge":"No","alternative_title":["LNCS"],"type":"conference","date_published":"2002-10-24T00:00:00Z","title":"Timed interfaces","date_created":"2018-12-11T12:09:51Z","acknowledgement":"This research was supported in part by the NSF CAREER award CCR-0132780, the NSF grant CCR-9988172 the AFOSR MURI grant F49620-00-1-0327, the DARPA PCES grant F33615-00-C-1693, the MARCO GSRC grant 98-DT-660, and the ONR grant N00014-02-1-0671.","citation":{"ama":"De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: <i>Proceedings of the 2nd International Conference on Embedded Software</i>. Vol 2491. ACM; 2002:108-122. doi:<a href=\"https://doi.org/10.1007/3-540-45828-X_9\">10.1007/3-540-45828-X_9</a>","chicago":"De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In <i>Proceedings of the 2nd International Conference on Embedded Software</i>, 2491:108–22. ACM, 2002. <a href=\"https://doi.org/10.1007/3-540-45828-X_9\">https://doi.org/10.1007/3-540-45828-X_9</a>.","mla":"De Alfaro, Luca, et al. “Timed Interfaces.” <i>Proceedings of the 2nd International Conference on Embedded Software</i>, vol. 2491, ACM, 2002, pp. 108–22, doi:<a href=\"https://doi.org/10.1007/3-540-45828-X_9\">10.1007/3-540-45828-X_9</a>.","apa":"De Alfaro, L., Henzinger, T. A., &#38; Stoelinga, M. (2002). Timed interfaces. In <i>Proceedings of the 2nd International Conference on Embedded Software</i> (Vol. 2491, pp. 108–122). Grenoble, France: ACM. <a href=\"https://doi.org/10.1007/3-540-45828-X_9\">https://doi.org/10.1007/3-540-45828-X_9</a>","ieee":"L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in <i>Proceedings of the 2nd International Conference on Embedded Software</i>, Grenoble, France, 2002, vol. 2491, pp. 108–122.","ista":"De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 108–122.","short":"L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122."},"author":[{"full_name":"De Alfaro, Luca","first_name":"Luca","last_name":"De Alfaro"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"first_name":"Mariëlle","last_name":"Stoelinga","full_name":"Stoelinga, Mariëlle"}],"month":"10","year":"2002","language":[{"iso":"eng"}],"extern":"1","day":"24","date_updated":"2023-06-02T10:00:32Z","intvolume":"      2491","publication_identifier":{"isbn":["9783540443070"]},"publist_id":"76","conference":{"end_date":"2002-10-09","start_date":"2002-10-07","location":"Grenoble, France","name":"EMSOFT: Embedded Software "},"doi":"10.1007/3-540-45828-X_9","publication":"Proceedings of the 2nd International Conference on Embedded Software","oa_version":"None","page":"108 - 122","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","abstract":[{"text":"We present a theory of timed interfaces, which is capable of specifying both the timing of the inputs a component expects from the environment, and the timing of the outputs it can produce. Two timed interfaces are compatible if there is a way to use them together such that their timing expectations are met. Our theory provides algorithms for checking the compatibility between two interfaces and for deriving the composite interface; the theory can thus be viewed as a type system for real-time interaction. Technically, a timed interface is encoded as a timed game between two players, representing the inputs and outputs of the component. The algorithms for compatibility checking and interface composition are thus derived from algorithms for solving timed games.","lang":"eng"}],"publisher":"ACM"}