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.
106 Publications
2002 |
Published |
Conference Paper |
IST-REx-ID: 4476
Henzinger, Thomas A., et al. “Lazy Abstraction.” Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4562
Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4563
Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software Modules.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4565
Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid Systems.” Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View
| DOI
2002 |
Published |
Journal Article |
IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4631
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.
View
| DOI