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.
5 Publications
2021 | Journal Article | IST-REx-ID: 9393 | 
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View
| DOI
2001 | Journal Article | IST-REx-ID: 4599
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (2001). Partial-order reduction in symbolic state-space exploration. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008767206905
View
| DOI
1999 | Journal Article | IST-REx-ID: 4582
Alur, R., & Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008739929481
View
| DOI
1997 | Journal Article | IST-REx-ID: 4607
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008626013578
View
| DOI