|
|
eCommons@Cornell >
Browsing by Author Henzinger, Thomas A.
Showing results 5 to 22 of 22
| Preview | Issue Date | Title | Author(s) | | Apr-1995 | The Expressive Power of Clocks | Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard |
| 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 |
| Mar-1995 | Hybrid Automata with Finite Mutual Simulations | Henzinger, Thomas A.; Kopke, Peter W. |
| Jun-1995 | HyTech : The Cornell HYbrid TECHnology Tool | Henzinger, Thomas A.; Ho, Pei-Hsin |
| Jan-1992 | Logics and Models of Real Time: A Survey | Alur, Rajeev; Henzinger, Thomas A. |
| Jul-1994 | Model Checking Strategies for Linear Hybrid Systems | Henzinger, Thomas A.; Ho, Pei-Hsin |
| May-1993 | Parametric Real-Time Reasoning | Alur, Rajeev; Henzinger, Thomas A. |
| Oct-1994 | Proving Safety Properties of Hybrid Systems | Kapur, Arjun; Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| 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. |
| Jul-1996 | State Equivalences for Rectangular Hybrid Automata | Henzinger, Thomas A.; Kopke, Peter W. |
| Jan-1994 | Symbolic Model Checking for Real-Time Systems | Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio |
| Mar-1993 | Temporal Proof Methodologies for Timed Transition Systems | Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| Jan-1992 | Timed Transition Systems | Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| May-1993 | Towards Refining Temporal Specifications into Hybrid Systems | Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir |
| Feb-1995 | Undecidability Results for Hybrid Systems | Henzinger, Thomas A.; Kopke, Peter W. |
| Feb-1995 | Verification Methods for the Divergent Runs of Clock Systems | Henzinger, Thomas A.; Kopke, Peter W. |
| Sep-1995 | What's Decidable About Hybrid Automata? | Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin |
Showing results 5 to 22 of 22
|
