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.

102 Publications


2004 | Conference Paper | IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. 2004. Event-driven programming with logical execution times. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2993, 167–170.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications