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.




385 Publications

2010 | Published | 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 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2010 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2010 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
[Submitted Version] View | Files available | DOI | arXiv
 
2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4390 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Book Chapter | IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
[Published Version] View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 533
Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
View | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
[Published Version] View | Files available | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
[Published Version] View | Files available | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
[Submitted Version] View | Files available | DOI
 
2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed