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.

Filip Cano Cordoba

Leonard Brice

Stefanie Muroya Lei

Pavol Kebis

Konstantin Kueffner

Mahyar Karimi

Fabian Kresse

Ana Oliveira da Costa

Thomas Henzinger

Ali Sezgin

Andrey Kupriyanov

Mirco Giacobbe

Christian Schilling

Anmol Tomar

Sergiy Bogomolov

Vasu Singh

Pavol Cerny

Luka Zeleznik

Tatjana Petrov

Jakob Ruess

Jessica Davies

Fabian Mühlböck

Guy Avni

Kaushik Mallik

Singh, Anmol

Adrian Elgyütt

Damien Zufferey

Miriam García Soto

Nicolas Mazzocchi

Arjun Radhakrishna

Oliveira da Costa, Ana

Emily Yu

Udi Boker

K. S. Thejaswini

Anna Lukina

Abhinav Verma

Hui Kong

Thomas Ferrère

Mathias Lechner

Joost Katoen

Thomas Wies

Dejan Nickovic

Samuel Pastva

Roopsha Samanta

Duc Hiep Chu

N. Ege Saraç

Jan Kretinsky

Halalai, Raluca

Cezara Dragoi

Thorsten Tarrach

Bernhard Kragl

Przemyslaw Daca

Marek Chalupa

Jan Otop

Ashutosh Gupta



436 Publications

2015 | Published | Journal Article | IST-REx-ID: 1698 | OA
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 2015;241(4):177-196. doi:10.1016/j.ic.2015.03.001
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1729 | OA
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11
[Submitted Version] View | Files available | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. Information and Computation. 2015;245(12):3-16. doi:10.1016/j.ic.2015.06.003
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1
[Published Version] View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28
[Published Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10
[Submitted Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
[Published Version] View | DOI | Download Published Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 1869
Hofferek G, Gupta A. Suraq - a controller synthesis tool using uninterpreted functions. In: Yahav E, ed. HVC 2014. Vol 8855. Springer; 2014:68-74. doi:10.1007/978-3-319-13338-6_6
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of finite-state transducers. In: Leibniz International Proceedings in Informatics, LIPIcs. Vol 29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:431-443. doi:10.4230/LIPIcs.FSTTCS.2014.431
[Published Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14
[Submitted Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2026
Komárková Z, Kretinsky J. Rabinizer 3: Safraless translation of ltl to small deterministic automata. In: Cassez F, Raskin J-F, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8837. Springer; 2014:235-241. doi:10.1007/978-3-319-11936-6_17
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2027 | OA
Brázdil T, Chatterjee K, Chmelik M, et al. Verification of markov decision processes using learning algorithms. In: Cassez F, Raskin J-F, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8837. Springer; 2014:98-114. doi:10.1007/978-3-319-11936-6_8
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2038 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 2014;15(4). doi:10.1145/2629686
[Submitted Version] View | Files available | DOI | WoS
 
2014 | Published | Conference Paper | IST-REx-ID: 2053 | OA
Hermanns H, Krčál J, Kretinsky J. Probabilistic bisimulation: Naturally on distributions. In: Baldan P, Gorla D, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8704. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:249-265. doi:10.1007/978-3-662-44584-6_18
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2056 | OA
Ganguly A, Petrov T, Koeppl H. Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. 2014;69(3):767-797. doi:10.1007/s00285-013-0738-7
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 2063
Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31
View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1875 | OA
Samanta R, Olivo O, Allen E. Cost-aware automatic program repair. In: Müller-Olm M, Seidl H, eds. Vol 8723. Springer; 2014:268-284. doi:10.1007/978-3-319-10936-7_17
[Submitted Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2167 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2187 | OA
Bloem R, Chatterjee K, Greimel K, et al. Synthesizing robust systems. Acta Informatica. 2014;51(3-4):193-220. doi:10.1007/s00236-013-0191-5
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed