Please note that IST 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.

6107 Publications


1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. An Algorithm for the Approximative Analysis of Rectangular Automata. Vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. Reachability Verification for Hybrid Automata. Vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., and Shankar Sastry. “HSCC: Hybrid Systems—Computation and Control.” HSCC: Hybrid Systems - Computation and Control, vol. 1386, Springer, 1998, doi:1260.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. An Assume-Guarantee Rule for Checking Simulation. Vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. You Assume, We Guarantee: Methodology and Case Studies. Vol. 1427, Springer, 1998, pp. 440–51, doi: 10.1007/BFb0028765.
View | DOI
 

Search

Filter Publications