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

2019 | Conference Paper | IST-REx-ID: 6565
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6035   OA
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, n.d., pp. 39–44.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6428
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6752   OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019) 31.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6822   OA
Bidding games on Markov decision processes
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, P. Novotny, in:, Proceedings of the 13th International Conference of Reachability Problems, Springer, n.d.
View | Files available
 
2019 | Conference Paper | IST-REx-ID: 6462   OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6493   OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6761
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science (n.d.).
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 299   OA
AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 434
Safety-assured model-driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 5788   OA
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 5959
Keynote: The first-order logic of signals
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software (EMSOFT), IEEE, 2018, pp. 1–10.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 78
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 156
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 182
Efficient parametric identification for STL
A. Bakhirkin, T. Ferrere, O. Maler, in:, Association for Computing Machinery, Inc, 2018, pp. 177–186.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 24   OA
Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives
K. Chatterjee, A. Elgyütt, P. Novotny, O. Rouillé, in:, IJCAI, 2018, pp. 4692–4699.
View | DOI | Download (ext.) | arXiv
 
2018 | Conference Paper | IST-REx-ID: 79   OA
Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
View | DOI | Download (ext.) | arXiv
 
2018 | Book Chapter | IST-REx-ID: 86
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 81
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 183
Localizing faults in simulink/stateflow models with STL
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 5677   OA
Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
View | DOI | Download (ext.)
 
2018 | Conference Paper | IST-REx-ID: 133
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 21.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 6005
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 23.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 140   OA
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 160   OA
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 297   OA
Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
View | Files available | DOI
 
2018 | Book | IST-REx-ID: 3300
Handbook of model checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer, 2018.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 608
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
View | DOI
 
2018 | Journal Article | IST-REx-ID: 6006   OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 142   OA
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
View | Files available | DOI
 
2018 | Book Chapter | IST-REx-ID: 60
Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 1116   OA
Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1407
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
View | Files available | DOI | Download (ext.)
 
2017 | Journal Article | IST-REx-ID: 1351
Model checking the evolution of gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta Informatica 54 (2017) 765–787.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 465
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1003
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, in:, AAAI Press, 2017, pp. 70–76.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 636   OA
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
View | DOI | Download (ext.)
 
2017 | Technical Report | IST-REx-ID: 6426   OA
Synchronizing the asynchronous
T.A. Henzinger, B. Kragl, S. Qadeer, Synchronizing the Asynchronous, IST Austria, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 941
JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 631   OA
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1011   OA
Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
View | DOI | Download (ext.)
 
2017 | Journal Article | IST-REx-ID: 1338
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1066
Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Information and Computation 254 (2017) 143–166.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 625
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 663   OA
Safety verification of nonlinear hybrid systems based on invariant clusters
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 942
S3: Syntax- and semantic-guided repair synthesis via programming by examples
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, ACM, 2017, pp. 593–604.
View | DOI
 
2017 | Thesis | IST-REx-ID: 1155   OA
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 467
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017) 31.
View | Files available | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed