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: 4404
Alur, Rajeev, et al. Synthesis of Interface Specifications for Java Classes. ACM, 2005, pp. 98–109, doi:1542.
View | DOI
 

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
 

Filters and Search Terms

year=2005

Search

Filter Publications