Please note that IST 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.

5761 Publications


2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation 173, no. 1 (2002): 64–81. https://doi.org/10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction,” 58–70. ACM, 2002. https://doi.org/10.1145/503272.503279.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces,” 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules,” 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems,” 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View | DOI
 

Search

Filter Publications