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 |

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.” In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.

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

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

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011. https://doi.org/10.1142/S0129054111008441.

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

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

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science. Elsevier, 2011. https://doi.org/10.1016/j.tcs.2010.10.022.

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

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

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011. https://doi.org/10.1145/1985342.1985345.

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

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

Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.

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

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

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2011. https://doi.org/10.1145/1970398.1970404.

View | Files available | DOI | WoS

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

Fisher, Jasmin, David Harel, and Thomas A Henzinger. “Biology as Reactivity.” Communications of the ACM. ACM, 2011. https://doi.org/10.1145/2001269.2001289.

View | DOI | WoS

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

Alur, Rajeev, and Pavol Cerny. “Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs,” 46:599–610. ACM, 2011. https://doi.org/10.1145/1926385.1926454.

View | DOI | WoS

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

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design. Springer, 2011. https://doi.org/10.1007/s10703-011-0131-3.

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

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

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.

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

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

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.

[Published Version] View | Files available | DOI

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

Singh, Vasu. “Runtime Verification for Software Transactional Memories.” edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010. https://doi.org/10.1007/978-3-642-16612-9_32.

View | DOI

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

Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.

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

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

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.