ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).

[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv

2021 |Published| Journal Article | IST-REx-ID: 9393 |

Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2003 |Published| Journal Article | IST-REx-ID: 4460

From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.

View | DOI

2001 |Published| Journal Article | IST-REx-ID: 4599

Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.

View | DOI

1999 |Published| Journal Article | IST-REx-ID: 4582

Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.

View | DOI

1997 |Published| Journal Article | IST-REx-ID: 4607

Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.

View | DOI