ISTA Research Explorer

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.

Mahyar Karimi

Stefanie Muroya Lei

Fabian Kresse

Konstantin Kueffner

Filip Cano Cordoba

K. S. Thejaswini

Pavol Kebis

Ana Oliveira da Costa

Thomas Henzinger

Anmol Tomar

Luka Zeleznik

Jan Otop

Samuel Pastva

Duc Hiep Chu

Ali Sezgin

Cezara Dragoi

Hui Kong

Oliveira da Costa, Ana

Guy Avni

Joost Katoen

Kaushik Mallik

Anna Lukina

Ashutosh Gupta

Abhinav Verma

Dejan Nickovic

Emily Yu

Jakob Ruess

Arjun Radhakrishna

Pavol Cerny

Miriam García Soto

Singh, Anmol

Mathias Lechner

Mirco Giacobbe

Damien Zufferey

Roopsha Samanta

N. Ege Saraç

Andrey Kupriyanov

Halalai, Raluca

Tatjana Petrov

Sergiy Bogomolov

Thomas Wies

Nicolas Mazzocchi

Jan Kretinsky

Fabian Mühlböck

Bernhard Kragl

Udi Boker

Przemyslaw Daca

Marek Chalupa

Adrian Elgyütt

Vasu Singh

Thomas Ferrère

Christian Schilling

Thorsten Tarrach

Jessica Davies

426 Publications

Search / Filter

2011 | Published | Conference Paper | IST-REx-ID: 3316 |

Specification-centered robustness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.

[Published Version] View | DOI | Download Published Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 3381 |

Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, IJFCS: International Journal of Foundations of Computer Science 22 (2011) 823–841.

[Submitted Version] View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3364 |

Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, Theoretical Computer Science 412 (2011) 2128–2141.

[Submitted Version] View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3353 |

A theory of synchronous relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).

[Submitted Version] View | Files available | DOI | WoS

2011 | Published | Conference Paper | IST-REx-ID: 3361 |

The complexity of quantitative information flow problems
P. Cerny, K. Chatterjee, T.A. Henzinger, in:, IEEE, 2011, pp. 205–217.

[Submitted Version] View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3354

Qualitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 12 (2011).

View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 3352

Biology as reactivity
J. Fisher, D. Harel, T.A. Henzinger, Communications of the ACM 54 (2011) 72–82.

View | DOI | WoS

2011 | Published | Conference Paper | IST-REx-ID: 3325

Streaming transducers for algorithmic verification of single pass list processing programs
R. Alur, P. Cerny, in:, ACM, 2011, pp. 599–610.

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 531 |

Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2011 | Published | Conference Paper | IST-REx-ID: 3356 |

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.

[Submitted Version] View | Files available | DOI | WoS

2011 | Published | Technical Report | IST-REx-ID: 5385 |

Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.

[Published 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: 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.