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.
428 Publications
2024 | Published | Conference Paper | IST-REx-ID: 17413 | 
Froleyks, Nils, et al. “Certifying Phase Abstraction.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14739, Springer Nature, 2024, pp. 284–303, doi:10.1007/978-3-031-63498-7_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17898
Lechner, Mathias, et al. “Overparametrization Helps Offline-to-Online Generalization of Closed-Loop Control from Pixels.” Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–82, doi:10.1109/ICRA57147.2024.10610284.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, Nikola, et al. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” Computational Methods in Systems Biology, vol. 14971, Springer Nature, 2024, pp. 19–26, doi:10.1007/978-3-031-71671-3_2.
View
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18530 |
Bose, Sougata, et al. “History-Deterministic Timed Automata.” Logical Methods in Computer Science, vol. 20, no. 4, EPI Sciences, 2024, pp. 1–28, doi:10.46298/lmcs-20(4:1)2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, Borzoo, et al. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” 24th International Conference on Runtime Verification, vol. 15191, Springer Nature, 2024, pp. 282–301, doi:10.1007/978-3-031-74234-7_18.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa, Marek, et al. “Monitoring Extended Hypernode Logic.” Integrated Formal Methods, vol. 15234, Springer Nature, 2024, pp. 151–71, doi:10.1007/978-3-031-76554-4_9.
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Research Data Reference | IST-REx-ID: 19800 |
trinh, Van Giang, et al. Mapping the Attractor Landscape of Boolean Networks. Zenodo, 2024, doi:10.5281/ZENODO.13854759.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 18066 |
Avni, Guy, et al. “Bidding Games with Charging.” 35th International Conference on Concurrency Theory, vol. 311, 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.8.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Cano, Filip, et al. “Abstraction-Based Decision Making for Statistical Properties.” 9th International Conference on Formal Structures for Computation and Deduction, vol. 299, 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.FSCD.2024.2.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18067 |
Boker, Udi, et al. “History-Determinism vs Fair Simulation.” 35th International Conference on Concurrency Theory, vol. 311, 12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.12.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18068 |
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.29.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
Maj, Petr, et al. “The Fault in Our Stars: Designing Reproducible Large-Scale Code Analysis Experiments.” 38th European Conference on Object-Oriented Programming, vol. 313, 27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.ECOOP.2024.27.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17053 |
Froleyks, Nils, et al. “Ternary Simulation as Abstract Interpretation (Work in Progress).” 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 2024, pp. 148–51.
[Submitted Version]
View
| Download Submitted Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 13228 |
Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14920 |
Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 12704 |
Lechner, Mathias, et al. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.” IEEE Robotics and Automation Letters, vol. 8, no. 3, Institute of Electrical and Electronics Engineers, 2023, pp. 1595–602, doi:10.1109/LRA.2023.3240930.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv