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.

Thomas Henzinger

Leonard Brice

Filip Cano Cordoba

Pavol Kebis

Fabian Kresse

Konstantin Kueffner

Stefanie Muroya Lei

Ana Oliveira da Costa

Anton Varonka

Hao Wu

Guy Avni

Sergiy Bogomolov

Udi Boker

Pavol Cerny

Marek Chalupa

Duc Hiep Chu

Przemyslaw Daca

Jessica Davies

Cezara Dragoi

Adrian Elgyütt

Thomas Ferrère

Miriam García Soto

Mirco Giacobbe

Ashutosh Gupta

Mahyar Karimi

Joost Katoen

Hui Kong

Bernhard Kragl

Jan Kretinsky

Andrey Kupriyanov

Mathias Lechner

Anna Lukina

Kaushik Mallik

Nicolas Mazzocchi

Fabian Mühlböck

Dejan Nickovic

Jan Otop

Samuel Pastva

Tatjana Petrov

Arjun Radhakrishna

Jakob Ruess

Roopsha Samanta

N. Ege Saraç

Christian Schilling

Ali Sezgin

Vasu Singh

Thorsten Tarrach

K. S. Thejaswini

Anmol Tomar

Abhinav Verma

Thomas Wies

Emily Yu

Luka Zeleznik

Damien Zufferey

Oliveira da Costa, Ana

Singh, Anmol

Halalai, Raluca

439 Publications

Search / Filter

2015 | Published | Conference Paper | IST-REx-ID: 1606

L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, “Runtime verification for hybrid analysis tools,” in 6th International Conference, Vienna, Austria, 2015, vol. 9333, pp. 281–286.

View | DOI | WoS

K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” in 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, 2015, vol. 9135, no. Part II, pp. 121–133.

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted automata,” in Proceedings - Symposium on Logic in Computer Science, Kyoto, Japan, 2015, vol. 2015–July.

K. Chatterjee, Z. Komárková, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes.” IEEE, pp. 244–256, 2015.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1658

S. Bogomolov, T. A. Henzinger, A. Podelski, J. Ruess, and C. Schilling, “Adaptive moment closure for parameter inference of biochemical reaction networks,” vol. 9308. Springer, pp. 77–89, 2015.

View | Files available | DOI | WoS

2015 | Published | Conference Paper | IST-REx-ID: 1659 |

U. Boker, T. A. Henzinger, and J. Otop, “The target discounted-sum problem,” in LICS, Kyoto, Japan, 2015, pp. 750–761.

[Submitted Version] View | Files available | DOI

2015 | Published | Conference Paper | IST-REx-ID: 1670 |

S. Bogomolov, D. Magazzeni, S. Minopoli, and M. Wehrle, “PDDL+ planning with hybrid automata: Foundations of translating must behavior,” presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel, 2015, pp. 42–46.

View | Download None (ext.)

2015 | Published | Journal Article | IST-REx-ID: 1680

J. Michaliszyn, J. Otop, and E. Kieroňski, “On the decidability of elementary modal logics,” ACM Transactions on Computational Logic, vol. 17, no. 1. ACM, 2015.

View | DOI | WoS

M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2015 | Published | Conference Paper | IST-REx-ID: 1690

S. Bak, S. Bogomolov, and T. Johnson, “HYST: A source transformation and translation tool for hybrid automaton models,” presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States, 2015, pp. 128–133.

View | DOI

2015 | Published | Conference Paper | IST-REx-ID: 1692

G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, and A. Podelski, “Eliminating spurious transitions in reachability with support functions,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 149–158.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 1698 |

Y. Velner, K. Chatterjee, L. Doyen, T. A. Henzinger, A. Rabinovich, and J. Raskin, “The complexity of multi-mean-payoff and multi-energy games,” Information and Computation, vol. 241, no. 4. Elsevier, pp. 177–196, 2015.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2015 | Published | Journal Article | IST-REx-ID: 1846 |

N. Beneš, J. Kretinsky, K. Larsen, M. Möller, S. Sickert, and J. Srba, “Refinement checking on parametric modal transition systems,” Acta Informatica, vol. 52, no. 2–3. Springer, pp. 269–297, 2015.

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

2015 | Published | Journal Article | IST-REx-ID: 1856 |

K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “Measuring and synthesizing systems in probabilistic environments,” Journal of the ACM, vol. 62, no. 1. ACM, 2015.

2015 | Published | Journal Article | IST-REx-ID: 1861

J. Ruess and J. Lygeros, “Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks,” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2. ACM, 2015.

View | DOI | WoS

2015 | Published | Journal Article | IST-REx-ID: 1866

T. A. Henzinger and J. Raskin, “The equivalence problem for finite automata: Technical perspective,” Communications of the ACM, vol. 58, no. 2. ACM, pp. 86–86, 2015.

View | DOI | WoS

2015 | Published | Conference Paper | IST-REx-ID: 1882 |

U. Fahrenberg, J. Kretinsky, A. Legay, and L. Traonouez, “Compositionality for quantitative specifications,” presented at the FACS: Formal Aspects of Component Software, Bertinoro, Italy, 2015, vol. 8997, pp. 306–324.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2015.

[Published Version] View | Files available | DOI

U. Boker, T. A. Henzinger, and J. Otop, The target discounted-sum problem. IST Austria, 2015.

[Published Version] View | Files available | DOI

2015 | Research Data | IST-REx-ID: 5549 |

A. Fellner, “Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” Institute of Science and Technology Austria, 2015.

[Published Version] View | Files available | DOI

Henzinger_Thomas Group

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

Alumni

439 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Henzinger_Thomas Group

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

Alumni

439 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options