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.




276 Publications

2018 | Conference Paper | IST-REx-ID: 156
Ferrere T. 2018. The compound interest in relaxing punctuality. FM: International Symposium on Formal Methods, LNCS, vol. 10951. 147–164.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 24   OA
Chatterjee K, Elgyütt A, Novotny P, Rouillé O. 2018. Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018. 4692–4699.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 79   OA
Arming S, Bartocci E, Chatterjee K, Katoen JP, Sokolova A. 2018. Parameter-independent strategies for pMDPs via POMDPs. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11024. 53–70.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 81
Elgyütt A, Ferrere T, Henzinger TA. 2018. Monitoring temporal logic with clock variables. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 11022. 53–70.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 182
Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, 177–186.
View | DOI
 
2018 | Book Chapter | IST-REx-ID: 86
Chatterjee K, Henzinger TA, Otop J. 2018. Computing average response time. Principles of Modeling. , LNCS, vol. 10760. 143–161.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 183
Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, 197–206.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 5677   OA
Benveniste A, Nickovic D, Caillaud B, Passerone R, Raclet JB, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG. 2018. Contracts for system design. Foundations and Trends in Electronic Design Automation. 12(2–3), 124–400.
View | DOI | Download (ext.)
 
2018 | Conference Paper | IST-REx-ID: 6005
Avni G, Guha S, Kupferman O. 2018. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 117. 23.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 133   OA
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118. 21.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 140
Frehse G, Giacobbe M, Henzinger TA. 2018. Space-time interpolants. CAV: Computer Aided Verification, LNCS, vol. 10981. 468–486.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 160   OA
Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981. 79–102.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 297   OA
Brázdil T, Chatterjee K, Kretinsky J, Toman V. 2018. Strategy representation by decision trees in reactive synthesis. TACAS 2018: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10805. 385–407.
View | Files available | DOI
 
2018 | Book | IST-REx-ID: 3300
Clarke EM, Henzinger TA, Veith H, Bloem R. 2018. Handbook of model checking 1st ed., Springer,p.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 608
Avni G, Kupferman O. 2018. Synthesis from component libraries with costs. Theoretical Computer Science. 712, 50–72.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 6006
Avni G, Guha S, Kupferman O. 2018. An abstraction-refinement methodology for reasoning about network games. Games. 9(3), 39.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 142   OA
Kong H, Bartocci E, Henzinger TA. 2018. Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. CAV: Computer Aided Verification, LNCS, vol. 10981. 449–467.
View | Files available | DOI
 
2018 | Book Chapter | IST-REx-ID: 60
Clarke E, Henzinger TA, Veith H. 2018. Introduction to model checking. Handbook of Model Checking. Handbook of Model Checking 1–26.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 1116   OA
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. 2017. Computing scores of forwarding schemes in switched networks with probabilistic faults. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10206. 169–187.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 636   OA
Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419. 189–206.
View | DOI | Download (ext.)
 
2017 | Conference Paper | IST-REx-ID: 941
Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ISSTA: International Symposium on Software Testing and Analysis 376–379.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 465   OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2017. Edit distance for pushdown automata. Logical Methods in Computer Science. 13(3).
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1407   OA
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2017. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 23(2), 230–253.
View | Files available | DOI | Download (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 1351   OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2017. Model checking the evolution of gene regulatory networks. Acta Informatica. 54(8), 765–787.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1003   OA
Avni G, Guha S, Kupferman O. 2017. An abstraction-refinement methodology for reasoning about network games. IJCAI: International Joint Conference on Artificial Intelligence 70–76.
View | Files available | DOI
 
2017 | Technical Report | IST-REx-ID: 6426
Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205. 589–606.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1011   OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201. 287–313.
View | DOI | Download (ext.)
 
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2017. Quantitative fair simulation games. Information and Computation. 254(2), 143–166.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 625
Chatterjee K, Doyen L, Henzinger TA. 2017. The cost of exactness in quantitative reachability. Models, Algorithms, Logics and Tools. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), LNCS, vol. 10460. 367–381.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 663   OA
Kong H, Bogomolov S, Schilling C, Jiang Y, Henzinger TA. 2017. Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. HSCC: Hybrid Systems Computation and Control 163–172.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. S3: Syntax- and semantic-guided repair synthesis via programming by examples. FSE: Foundations of Software Engineering vol. F130154. 593–604.
View | DOI
 
2017 | Thesis | IST-REx-ID: 1155   OA
Daca P. 2017. Statistical and logical methods for property checking, IST Austria, 163p.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1338   OA
Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 50(2–3), 97–139.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 549   OA
Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259. 31–38.
View | Files available | DOI | Download (ext.)
 
2017 | Conference Paper | IST-REx-ID: 633
Bak S, Bogomolov S, Henzinger TA, Kumar A. 2017. Challenges and tool implementation of hybrid rapidly exploring random trees. NSV: Numerical Software Verification, LNCS, vol. 10381. 83–89.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings. CAV: Computer Aided Verification, LNCS, vol. 10427. 399–418.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 467   OA
Chatterjee K, Henzinger TA, Otop J. 2017. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 18(4), 31.
View | Files available | DOI | Download (ext.) | arXiv
 
2017 | Conference (Editor) | IST-REx-ID: 638
Bogomolov S, Martel M, Prabhakar P eds. 2017. Numerical Software Verification, Springer,p.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 950   OA
Avni G, Henzinger TA, Chonev VK. 2017. Infinite-duration bidding games. CONCUR: Concurrency Theory, LIPIcs, vol. 85. 17.
View | Files available | DOI | arXiv
 
2017 | Conference Paper | IST-REx-ID: 711   OA
Chatterjee K, Henzinger TA, Otop J. 2017. Bidirectional nested weighted automata. 28th International Conference on Concurrency Theory, CONCUR, LIPIcs, vol. 85.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 963   OA
Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83. 37.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1196
Henzinger TA, Otop J. 2017. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 23, 166–190.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 471   OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2).
View | Files available | DOI | Download (ext.)
 
2017 | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 647
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419. 116–132.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1135   OA
Avni G, Guha S, Rodríguez Navas G. 2016. Synthesizing time triggered schedules for switched networks with faulty links. Proceedings of the 13th International Conference on Embedded Software . EMSOFT: Embedded Software
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1421
Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. 2016. Scalable static hybridization methods for analysis of nonlinear systems. HSCC 2016: International Conference on Hybrid Systems: Computation and Control 155–164.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1705   OA
Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson T, Ladan H, Podelski A, Wehrle M. 2016. Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4), 449–467.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1205
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995. 757–763.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed