[{"language":[{"iso":"eng"}],"doi":"10.1007/3-540-45828-X_9","conference":{"location":"Grenoble, France","start_date":"2002-10-07","end_date":"2002-10-09","name":"EMSOFT: Embedded Software "},"quality_controlled":"1","publication_identifier":{"isbn":["9783540443070"]},"month":"10","volume":2491,"date_created":"2018-12-11T12:09:51Z","date_updated":"2023-06-02T10:00:32Z","author":[{"full_name":"De Alfaro, Luca","last_name":"De Alfaro","first_name":"Luca"},{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Stoelinga, Mariëlle","first_name":"Mariëlle","last_name":"Stoelinga"}],"publisher":"ACM","publication_status":"published","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.","year":"2002","extern":"1","publist_id":"76","date_published":"2002-10-24T00:00:00Z","page":"108 - 122","citation":{"chicago":"De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.","mla":"De Alfaro, Luca, et al. “Timed Interfaces.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.","short":"L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, 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.","apa":"De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9","ieee":"L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 108–122.","ama":"De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9"},"publication":"Proceedings of the 2nd International Conference on Embedded Software","article_processing_charge":"No","day":"24","oa_version":"None","intvolume":" 2491","title":"Timed interfaces","status":"public","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","_id":"4631","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"}],"alternative_title":["LNCS"],"type":"conference"}]