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.

9096 Publications


2007 | Conference Paper | IST-REx-ID: 4402
R. Alur, P. Cerny, and S. Chaudhuri, “Model Checking on Trees with Path Equivalences,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, pp. 664–678.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. 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, vol. 4444, Springer, 2007, pp. 273–292.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
T. A. Henzinger and C. Kirsch, “The embedded machine: Predictable, portable real-time code,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393. ACM, 2007.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
T. A. Henzinger, “Games, time, and probability: Graph models for system design and analysis,” presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, 2007, vol. 4362, pp. 103–110.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
T. A. Henzinger, “Quantitative generalizations of languages,” presented at the DLT: Developments in Language Theory, 2007, vol. 4588, pp. 20–22.
View | DOI
 

Search

Filter Publications