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.
192 Publications
2007 | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,” 664–78. Springer, 2007. https://doi.org/1544.
View
| DOI
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.” In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007. https://doi.org/10.1007/978-3-540-71322-7_13.
View
| DOI
2007 | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007. https://doi.org/10.1145/1286821.1286824.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,” 4362:103–10. Springer, 2007. https://doi.org/10.1007/978-3-540-69507-3_7.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. “Quantitative Generalizations of Languages,” 4588:20–22. Springer, 2007. https://doi.org/10.1007/978-3-540-73208-2_2.
View
| DOI