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.

6032 Publications


2002 | Conference Paper | IST-REx-ID: 4423
B. Horowitz et al., “Embedded software design and system integration for rotorcraft UAV using platforms,” presented at the IFAC: World Congress on Automatic Control, 2002, vol. 15, no. 1.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
T. A. Henzinger and C. Kirsch, “The embedded machine: predictable, portable real-time code,” presented at the PLDI: Programming Languages Design and Implementation, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” presented at the EMSOFT: Embedded Software , 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” presented at the ICALP: Automata, Languages and Programming, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | 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,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | 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, pp. 51–64, 2002.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1, pp. 64–81, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” presented at the POPL: Principles of Programming Languages, 2002, pp. 58–70.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 428–441.
View | DOI
 

Search

Filter Publications