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
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 76–92). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_7
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer. https://doi.org/10.1007/3-540-45465-9_55
View
| DOI
2002 |
Published |
Conference Paper |
IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_45
View
| DOI
2002 |
Published |
Journal Article |
IST-REx-ID: 4473
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/509705.509707
View
| DOI
2002 |
Published |
Journal Article |
IST-REx-ID: 4474 |
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. https://doi.org/10.1006/inco.2001.3085
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 |
Published |
Conference Paper |
IST-REx-ID: 4476
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 58–70). Portland, OR, USA: ACM. https://doi.org/10.1145/503272.503279
View
| DOI