|
|
eCommons@Cornell >
Browsing by Author Alur, Rajeev
Showing results 1 to 9 of 9
| Preview | Issue Date | Title | Author(s) | | Oct-1994 | The Algorithmic Analysis of Hybrid Systems | Alur, Rajeev; Courcoubetis, Costas; Halbwachs, Nicolas; Henzinger, Thomas A.; Ho, Pei-Hsin; Nicollin, Xavier; Olivero, Alfredo; Sifakis, Joseph; Yovine, Sergio |
| May-1995 | Automatic Symbolic Verification of Embedded Systems | Alur, Rajeev; Henzinger, Thomas A.; Ho, Pei-Hsin |
| Sep-1994 | The Benefits of Relaxing Punctuality | Alur, Rajeev; Feder, Tomas; Henzinger, Thomas A. |
| Mar-1995 | A Determinizable Class of Timed Automata | Alur, Rajeev; Fix, Limor; Henzinger, Thomas A. |
| May-1993 | Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems | Alur, Rajeev; Courcoubetis, Costas; Henzinger, Thomas A.; Ho, Pei-Hsin |
| Jan-1992 | Logics and Models of Real Time: A Survey | Alur, Rajeev; Henzinger, Thomas A. |
| May-1993 | Parametric Real-Time Reasoning | Alur, Rajeev; Henzinger, Thomas A. |
| Nov-1992 | A Really Temporal Logic | Alur, Rajeev; Henzinger, Thomas A. |
| Jan-1994 | Real-Time System = Discrete System + Clock Variables | Alur, Rajeev; Henzinger, Thomas A. |
Showing results 1 to 9 of 9
|
