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.




271 Publications

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
 
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
 
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016. 3225–3232.
View | Files available
 
2016 | Thesis | IST-REx-ID: 1130
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs, IST Austria, 151p.
View | Files available | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1256   OA
Jiang Y, Yang Y, Liu H, Kong H, Gu M, Sun J, Sha L. 2016. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. RTAS: Real-time and Embedded Technology and Applications Symposium
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1390
D’Antoni L, Samanta R, Singh R. 2016. QLOSE: Program repair with quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 9780. 383–401.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi C, Henzinger TA, Zufferey D. 2016. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 20–22. 400–415.
View | DOI | Download (ext.)
 
2016 | Journal Article | IST-REx-ID: 1148
Schilling C, Bogomolov S, Henzinger TA, Podelski A, Ruess J. 2016. Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. 149, 15–25.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1524   OA
Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271. 173–191.
View | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, 112–121.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1341
Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928. 153–166.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1093
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1391
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780. 230–248.
View | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative automata under probabilistic semantics. Proceedings of the 31st Annual ACM/IEEE Symposium. LICS: Logic in Computer Science 76–85.
View | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong H, Bartocci E, Bogomolov S, Grosu R, Henzinger TA, Jiang Y, Schilling C. 2016. Discrete abstraction of multiaffine systems. HSB: Hybrid Systems Biology, LNCS, vol. 9957. 128–144.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee K, Henzinger TA, Otop J. 2016. Quantitative monitor automata. SAS: Static Analysis Symposium, LNCS, vol. 9837. 23–38.
View | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1234
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636. 112–129.
View | Files available | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed