CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

 

Author:

  Rajeev Alur

Year:

  -

Theme:

  Computer Science (390981)

1) A THEORY OF TIMED AUTOMATA  
By David L. Dill    Rajeev Alur
Date  July 1995
Refs | Theme tree | Cited by 214 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) MODEL-CHECKING IN DENSE REAL-TIME  
By Costas Courcoubetis    David Dill    Rajeev Alur
Date  June 1997
Refs | Theme tree | Cited by 161 CiteSeer

4) 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

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

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

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

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

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

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

11) MODEL-CHECKING FOR PROBABILISTIC REAL-TIME SYSTEMS  
By Costas Courcoubetis    David L. Dill    Rajeev Alur
Date  June 1997
Refs | Theme tree | Cited by 54 CiteSeer

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

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

14) 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

15) TIMING ANALYSIS IN COSPAN  
By Rajeev Alur    Robert P. Kurshan
Date  January 1996
Refs | Theme tree | Cited by 39 CiteSeer

16) TIMED AUTOMATA  
By Rajeev Alur
Date  March 1999
Refs | Theme tree | Cited by 31 CiteSeer

17) 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

18) THE OBSERVATIONAL POWER OF CLOCKS  
By Costas Courcoubetis    Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 28 CiteSeer

19) COMPUTING ACCUMULATED DELAYS IN REAL-TIME SYSTEMS  
By Costas Courcoubetis    Rajeev Alur    Thomas A. Henzinger
Date  June 1997
Refs | Theme tree | Cited by 28 CiteSeer

20) MODEL CHECKING OF MESSAGE SEQUENCE CHARTS  
By And Mihalis Yannakakis    Rajeev Alur
Date  May 1999
Refs | Theme tree | Cited by 26 CiteSeer

21) MODEL CHECKING OF HIERARCHICAL STATE MACHINES  
By Mihalis Yannakakis    Rajeev Alur
Date  July 1998
Refs | Theme tree | Cited by 22 CiteSeer

22) MODEL-CHECKING OF CAUSALITY PROPERTIES  
By Doron Peled    Rajeev Alur    Wojciech Penczek
Date  June 1997
Refs | Theme tree | Cited by 22 CiteSeer

23) VERIFYING AUTOMATA SPECIFICATIONS OF PROBABILISTIC REAL-TIME SYSTEMS  
By Costas Courcoubetis    David Dill    Rajeev Alur
Date  August 1996
Refs | Theme tree | Cited by 20 CiteSeer

24) MODULAR SPECIFICATION OF HYBRID SYSTEMS IN CHARON  
By Insup Lee    Radu Grosu    Rajeev Alur    Vijay Kumar    Yerang Hur
Date  March 2000
Refs | Theme tree | Cited by 16 CiteSeer

25) INFERENCE OF MESSAGE SEQUENCE CHARTS  
By Kousha Etessami    Mihalis Yannakakis    Rajeev Alur
Date  March 2000
Refs | Theme tree | Cited by 16 CiteSeer

  • Next 25 articles...