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.




280 Publications

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:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 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: 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: 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   OA
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 | Files available | 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: 140
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: 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: 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: 6006   OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018) 39.
View | Files available | 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
 

Search

Filter Publications

Display / Sort

Export / Embed