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.

5761 Publications


1993 | Book Chapter | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. Hybrid Systems. , LNCS, vol. 736. 60–76.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. RTSS: Real-Time Systems Symposium 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. STOC: Symposium on the Theory of Computing 592–601.
View | DOI
 

Search

Filter Publications