CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

 

Author:

  Thomas A Henzinger

Year:

  -

Theme:

  Computer Science (390981)

1) SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS  
By Joseph Sifakis    Miniparc-zirst Rue Lavoisier    Sergio Yovine    Thomas A. Henzinger    Xavier Nicollin
Date  July 1996
Refs | Theme tree | Cited by 329 CiteSeer

2) HYBRID AUTOMATA: AN ALGORITHMIC APPROACH TO THE SPECIFICATION AND VERIFICATION OF HYBRID SYSTEMS  
By Costas Courcoubetis    Pei-hsin Ho    Rajeev Alur    Thomas A. Henzinger
Date  February 1996
Refs | Theme tree | Cited by 199 CiteSeer

3) AUTOMATIC SYMBOLIC VERIFICATION OF EMBEDDED SYSTEMS  
By Pei-hsin Ho    Rajeev Alur    Thomas A. Henzinger
Date  February 1996
Refs | Theme tree | Cited by 158 CiteSeer

4) A REALLY TEMPORAL LOGIC  
By Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 145 CiteSeer

5) LOGICS AND MODELS OF REAL TIME: A SURVEY  
By Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 139 CiteSeer

6) HYTECH: A MODEL CHECKER FOR HYBRID SYSTEMS  
By Howard Wong-toi    Pei-hsin Ho    Thomas A. Henzinger
Date  March 1998
Refs | Theme tree | Cited by 138 CiteSeer

7) WHAT'S DECIDABLE ABOUT HYBRID AUTOMATA?  
By Anuj Puri    Peter W. Kopke    Pravin Varaiya    Thomas A. Henzinger
Date  November 1998
Refs | Theme tree | Cited by 132 CiteSeer

8) REAL-TIME LOGICS: COMPLEXITY AND EXPRESSIVENESS  
By Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 121 CiteSeer

9) THE THEORY OF HYBRID AUTOMATA  
By Thomas A. Henzinger
Date  April 1998
Refs | Theme tree | Cited by 114 CiteSeer

10) A USER GUIDE TO HYTECH  
By Howard Wong-toi    Pei-hsin Ho    Thomas A. Henzinger
Date  February 1996
Refs | Theme tree | Cited by 88 CiteSeer

11) HYTECH: THE NEXT GENERATION  
By Howard Wong-toi    Pei-hsin Ho    Thomas A. Henzinger
Date  June 1996
Refs | Theme tree | Cited by 85 CiteSeer

12) REACTIVE MODULES  
By Rajeev Alur    Thomas A. Henzinger
Date  July 1998
Refs | Theme tree | Cited by 81 CiteSeer

13) THE BENEFITS OF RELAXING PUNCTUALITY  
By Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 71 CiteSeer

14) TEMPORAL PROOF METHODOLOGIES FOR REAL-TIME SYSTEMS  
By Amir Pnueli    Thomas A. Henzinger    Zohar Manna
Date  February 1999
Refs | Theme tree | Cited by 69 CiteSeer

15) TIMED TRANSITION SYSTEMS  
By Amir Pnueli    Thomas A. Henzinger    Zohar Manna
Date  February 1996
Refs | Theme tree | Cited by 64 CiteSeer

16) PARAMETRIC REAL-TIME REASONING  
By Moshe Y. Vardi    Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 60 CiteSeer

17) ALGORITHMIC ANALYSIS OF NONLINEAR HYBRID SYSTEMS  
By Howard Wong-toi    Pei-hsin Ho    Thomas A. Henzinger
Date  April 1998
Refs | Theme tree | Cited by 58 CiteSeer

18) WHAT GOOD ARE DIGITAL CLOCKS?  
By Amir Pnueli    Thomas A. Henzinger    Zohar Manna
Date  September 1994
Refs | Theme tree | Cited by 55 CiteSeer

19) MODULARITY FOR TIMED AND HYBRID SYSTEMS  
By Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 48 CiteSeer

20) ALTERNATING-TIME TEMPORAL LOGIC  
By Orna Kupferman    Rajeev Alur    Thomas A. Henzinger
Date  February 1998
Refs | Theme tree | Cited by 48 CiteSeer

21) HYBRID AUTOMATA WITH FINITE BISIMULATIONS  
By Thomas A. Henzinger
Date  July 1996
Refs | Theme tree | Cited by 47 CiteSeer

22) DISCRETE ABSTRACTIONS OF HYBRID SYSTEMS  
By And George    Gerardo Lafferriere    J. Pappas    Rajeev Alur    Thomas A. Henzinger
Date  April 2000
Refs | Theme tree | Cited by 41 CiteSeer

23) COMPUTING SIMULATIONS ON FINITE AND INFINITE GRAPHS  
By Monika R. Henzinger    Peter W. Kopke    Thomas A. Henzinger
Date  July 1996
Refs | Theme tree | Cited by 36 CiteSeer

24) BACK TO THE FUTURE: TOWARDS A THEORY OF TIMED REGULAR LANGUAGES  
By Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 29 CiteSeer

25) TEMPORAL PROOF METHODOLOGIES FOR TIMED TRANSITION SYSTEMS  
By Amir Pnueli    Thomas A. Henzinger    Zohar Manna
Date  September 1995
Refs | Theme tree | Cited by 29 CiteSeer

  • Next 25 articles...