Searching for authors named Rajeev Alur – sorted by Relevance.
120 documents found, showing 1 through 10.
Next 10 →
-
Pipelined implementation < ISA spec Point-to-Point Protocol
- …Automated Refinement Checking of Asynchronous Processes Rajeev Alur University of Pennsylvania www.cis.upenn.edu/~alur…
- Add To MetaCart
-
Shared variable interaction diagrams
- …Shared Variables Interaction Diagrams Rajeev Alur Department of Computer and Information Science…
- Cited by 5 (0 self) – Add To MetaCart
-
Hybrid Systems
- …Timed Automata Rajeev Alur University of Pennsylvania and Bell Labs alur@(email omitted); Abstract…
- Cited by 3 (0 self) – Add To MetaCart
-
Predicate abstraction for reachability analysis of hybrid systems
- …Predicate Abstraction for Reachability Analysis of Hybrid Systems RAJEEV ALUR University…
- Cited by 4 (1 self) – Add To MetaCart
-
Automated Analysis of Programs for Confidentiality
- …Automated Analysis of Programs for Confidentiality Pavol Čern´y and Rajeev Alur University…
- Add To MetaCart
-
Timed Automata
- …Timed Automata Rajeev Alur ? Abstract. Model checking is emerging as a practical tool…
- Cited by 1370 (25 self) – Add To MetaCart
-
Decision problems for timed automata: A survey
- … Decision Problems for Timed Automata: A Survey? Rajeev Alur and P. Madhusudan University…
- Cited by 11 (0 self) – Add To MetaCart
-
Adding nesting structure to words
- …Adding Nesting Structure to Words ∗ Rajeev Alur University of Pennsylvania alur@(email omitted); P…
- Cited by 19 (7 self) – Add To MetaCart
-
Int J Softw Tools Technol Transfer (2005) / Digital Object Identifier (DOI) 10.1007/s10009-004-0179-0 Symbolic computational techniques for solving games
- …-004-0179-0 Symbolic computational techniques for solving games Rajeev Alur 1 ,P.Madhusudan 2 , Wonhong Nam 1 1…
- Add To MetaCart
-
Automata-theoretic Verification of Real Time Systems
- …Automata-theoretic Verification of Real-Time Systems Rajeev Alur Computing Science Research AT…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
