ISTA Research Explorer

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.

404 Publications

Search / Filter

2010 | Published | Conference Paper | IST-REx-ID: 4361 |

Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.

[Submitted Version] View | Files available | DOI

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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 |

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: 3719 |

Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.

[Submitted Version] View | Files available | arXiv

2010 | Published | Journal Article | IST-REx-ID: 3834 |

Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.

[Published Version] View | Files available | DOI