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.

Thomas Henzinger

Leonard Brice

Filip Cano Cordoba

Pavol Kebis

Fabian Kresse

Konstantin Kueffner

Stefanie Muroya Lei

Ana Oliveira da Costa

Anton Varonka

Hao Wu

Guy Avni

Sergiy Bogomolov

Udi Boker

Pavol Cerny

Marek Chalupa

Duc Hiep Chu

Przemyslaw Daca

Jessica Davies

Cezara Dragoi

Adrian Elgyütt

Thomas Ferrère

Miriam García Soto

Mirco Giacobbe

Ashutosh Gupta

Mahyar Karimi

Joost Katoen

Hui Kong

Bernhard Kragl

Jan Kretinsky

Andrey Kupriyanov

Mathias Lechner

Anna Lukina

Kaushik Mallik

Nicolas Mazzocchi

Fabian Mühlböck

Dejan Nickovic

Jan Otop

Samuel Pastva

Tatjana Petrov

Arjun Radhakrishna

Jakob Ruess

Roopsha Samanta

N. Ege Saraç

Christian Schilling

Ali Sezgin

Vasu Singh

Thorsten Tarrach

K. S. Thejaswini

Anmol Tomar

Abhinav Verma

Thomas Wies

Emily Yu

Luka Zeleznik

Damien Zufferey

Oliveira da Costa, Ana

Singh, Anmol

Halalai, Raluca



444 Publications

2018 | Published | Journal Article | IST-REx-ID: 6006 | OA
G. Avni, S. Guha, and O. Kupferman, “An abstraction-refinement methodology for reasoning about network games,” Games, vol. 9, no. 3. MDPI, 2018.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 608 | OA
G. Avni and O. Kupferman, “Synthesis from component libraries with costs,” Theoretical Computer Science, vol. 712. Elsevier, pp. 50–72, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 78 | OA
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 79 | OA
S. Arming, E. Bartocci, K. Chatterjee, J. P. Katoen, and A. Sokolova, “Parameter-independent strategies for pMDPs via POMDPs,” presented at the QEST: Quantitative Evaluation of Systems, Beijing, China, 2018, vol. 11024, pp. 53–70.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 81 | OA
A. Elgyütt, T. Ferrere, and T. A. Henzinger, “Monitoring temporal logic with clock variables,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Beijing, China, 2018, vol. 11022, pp. 53–70.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Book Chapter | IST-REx-ID: 86 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Computing average response time,” in Principles of Modeling, vol. 10760, M. Lohstroh, P. Derler, and M. Sirjani, Eds. Springer, 2018, pp. 143–161.
[Submitted Version] View | Files available | DOI
 
2018 | Published | Book | IST-REx-ID: 3300
E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Handbook of Model Checking, 1st ed. Cham: Springer Nature, 2018.
View | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 434
Y. Jiang et al., “Safety-assured model-driven design of the multifunction vehicle bus controller,” IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 10. IEEE, pp. 3320–3333, 2018.
View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 182 | OA
A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” in Proceedings of the 21st International Conference on Hybrid Systems, Porto, Portugal, 2018, pp. 177–186.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 183
E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems - Computation and Control, Porto, Portugal, 2018, pp. 197–206.
View | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1116 | OA
G. Avni, S. Goel, T. A. Henzinger, and G. Rodríguez Navas, “Computing scores of forwarding schemes in switched networks with probabilistic faults,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10206, pp. 169–187.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Thesis | PhD | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1196
T. A. Henzinger and J. Otop, “Model measuring for discrete and hybrid systems,” Nonlinear Analysis: Hybrid Systems, vol. 23. Elsevier, pp. 166–190, 2017.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1338 | OA
P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” Formal Methods in System Design, vol. 50, no. 2–3. Springer, pp. 97–139, 2017.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1351 | OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8. Springer, pp. 765–787, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1407 | OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 471 | OA
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” ACM Transactions on Computational Logic, vol. 18, no. 2. ACM, 2017.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 549 | OA
B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in Electronic Proceedings in Theoretical Computer Science, Uppsala, Sweden, 2017, vol. 259, pp. 31–38.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Book Chapter | IST-REx-ID: 625 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “The cost of exactness in quantitative reachability,” in Models, Algorithms, Logics and Tools, vol. 10460, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, and R. Mardare, Eds. Springer, 2017, pp. 367–381.
[Submitted Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 631 | OA
S. Bogomolov, G. Frehse, M. Giacobbe, and T. A. Henzinger, “Counterexample guided refinement of template polyhedra,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 589–606.
[Submitted Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed