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 | Conference Paper | IST-REx-ID: 4413
Convertibility verification and converter synthesis: Two faces of the same coin
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, IEEE, 2002, pp. 132–139.
View
| DOI
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, IEEE, 2002, pp. 132–139.
2002 | Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
2002 | Conference Paper | IST-REx-ID: 4421
A Giotto-based helicopter control system
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, ACM, 2002, pp. 46–60.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, ACM, 2002, pp. 46–60.
2002 | Conference Paper | IST-REx-ID: 4422
Trading probability for fairness
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Springer, 2002, pp. 292–305.
View
| DOI
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Springer, 2002, pp. 292–305.
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
B. Horowitz, J. Liebman, C. Ma, T.J. Koo, T.A. Henzinger, A. Sangiovanni Vincentelli, S. Sastry, in:, Elsevier, 2002.
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
T.A. Henzinger, C. Kirsch, in:, ACM, 2002, pp. 315–326.
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
T.A. Henzinger, C. Kirsch, R. Majumdar, S. Matic, in:, ACM, 2002, pp. 76–92.
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
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Springer, 2002, pp. 644–656.
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
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Springer, 2002, pp. 526–538.
2002 | Journal Article | IST-REx-ID: 4473
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.