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
Embedded software design and system integration for rotorcraft UAV using platforms
B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Elsevier, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
The embedded machine: predictable, portable real-time code
T.A. Henzinger, C. Kirsch, in:, ACM, 2002, pp. 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Time-safety checking for embedded programs
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, ACM, 2002, pp. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Springer, 2002, pp. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Springer, 2002, pp. 526–538.
View | DOI
 

Search

Filter Publications