Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
89 Publications
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” Proceedings of the 4th International Workshop on Hybrid Systems, vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 166–84, doi:10.1007/3-540-45449-7_12.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. “Some Lessons from the HYTECH Experience.” Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View
| DOI
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., editor. EMSOFT: Embedded Software. Vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View
| DOI