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: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” in Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Malaga, Spain, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1. ACM, pp. 51–64, 2002.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4474 | OA
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, OR, USA, 2002, pp. 58–70.
View | DOI
 

Filters and Search Terms

year=2002

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed