Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
385 Publications
2018 | Published | 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
| WoS
Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, L. Sha, IEEE Transactions on Intelligent Transportation Systems 19 (2018) 3320–3333.
2018 | Published | Journal Article | IST-REx-ID: 5677 | 
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
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.
2018 | Conference Paper | IST-REx-ID: 5788 |
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
2018 | Published | 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, IEEE, 2018, pp. 1–10.
[Published Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, T.A. Henzinger, D. Nickovicl, in:, 2018 International Conference on Embedded Software, IEEE, 2018, pp. 1–10.
2018 | Published | 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.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
2018 | Published | Conference Paper | IST-REx-ID: 79 |
Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
2018 | Published | 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.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
2018 | Published | 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.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 | Published | 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.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Published | 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
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
2018 | Published | 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.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Published | Journal Article | IST-REx-ID: 6006 |
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 608 |
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
2018 | Published | Conference Paper | IST-REx-ID: 140 |
Space-time interpolants
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
[Published Version]
View
| Files available
| DOI
| WoS
G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2018, pp. 468–486.
2018 | Published | Conference Paper | IST-REx-ID: 142 |
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
[Published Version]
View
| Files available
| DOI
| WoS
H. Kong, E. Bartocci, T.A. Henzinger, in:, Springer, 2018, pp. 449–467.
2018 | Published | 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
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 | Published | Conference Paper | IST-REx-ID: 156 |
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, in:, Springer, 2018, pp. 147–164.
2018 | Published | Conference Paper | IST-REx-ID: 160 |
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
2018 | Published | 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.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.
2018 | Published | 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
| WoS
E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.