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.




289 Publications

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata. 9135(Part II), 121–133.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1603
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206. 158–177.
View | Files available | DOI | Download (ext.)
 
2015 | Technical Report | IST-REx-ID: 5439
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1870   OA
Henzinger TA, Otop J, Samanta R. 2014. Lipschitz robustness of finite-state transducers. Leibniz International Proceedings in Informatics, LIPIcs. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 29. 431–443.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1875   OA
Samanta R, Olivo O, Allen E. 2014. Cost-aware automatic program repair. SAS: Static Analysis Symposium, LNCS, vol. 8723. 268–284.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056   OA
Ganguly A, Petrov T, Koeppl H. 2014. Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology. 69(3), 767–797.
View | DOI | Download (ext.)
 
2014 | Technical Report | IST-REx-ID: 5428
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2239
Boker U, Henzinger TA, Radhakrishna A. 2014. Battery transition systems. POPL: Principles of Programming Languages vol. 49. 595–606.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2190   OA
Esparza J, Kretinsky J. 2014. From LTL to deterministic automata: A safraless compositional approach. CAV: Computer Aided Verification, LNCS, vol. 8559. 192–208.
View | DOI | Download (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee K, Chmelik M, Daca P. 2014. CEGAR for qualitative analysis of probabilistic systems. CAV: Computer Aided Verification, LNCS, vol. 8559. 473–490.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1869
Hofferek G, Gupta A. 2014. Suraq - a controller synthesis tool using uninterpreted functions. HVC 2014. HVC: Haifa Verification Conference, LNCS, vol. 8855. 68–74.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2026
Komárková Z, Kretinsky J. 2014. Rabinizer 3: Safraless translation of ltl to small deterministic automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 235–241.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2038   OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1702   OA
Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169. 31–38.
View | DOI | Download (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1872   OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837. 185–200.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2027   OA
Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Parker D, Ujma M. 2014. Verification of markov decision processes using learning algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ALENEX: Algorithm Engineering and Experiments, LNCS, vol. 8837. 98–114.
View | DOI | Download (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2053   OA
Hermanns H, Krčál J, Kretinsky J. 2014. Probabilistic bisimulation: Naturally on distributions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704. 249–265.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed