Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




306 Publications

2010 | Journal Article | IST-REx-ID: 3867 | OA
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4369 | OA
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4378 | OA
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
View | DOI | Download Submitted Version (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4380 | OA
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
View | Files available | DOI
 

Search

Filter Publications