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.
147 Publications
2005 | Conference Paper | IST-REx-ID: 4412
Matic, Slobodan, and Thomas A. Henzinger. Trading End-to-End Latency for Composability. IEEE, 2005, pp. 99–110, doi:10.1109/RTSS.2005.43.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, et al. A Programmable Microkernel for Real-Time Systems. ACM, 2005, pp. 35–45, doi:10.1145/1064979.1064986.
View
| DOI
2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005, pp. 1–32, doi:10.1145/1042038.1042039.
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A., et al. Quantifying Similarities between Timed Systems. Vol. 3829, Springer, 2005, pp. 226–41, doi:10.1007/11603009_18.
View
| DOI