Searching for authors named "Rajeev Joshi" – sorted by Relevance.
-
Seuss for Java - Language Reference
- Seuss for Java Language Reference Rajeev Joshi 1 12 February 1998 Abstract The programming model
- Cited by 1 (0 self) – Add To MetaCart
-
Exploiting traces in program analysis
- Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software
- Cited by 2 (0 self) – Add To MetaCart
-
On The Impossibility Of Robust Solutions For Fair Resource Allocation
- On The Impossibility Of Robust Solutions For Fair Resource Allocation Rajeev Joshi , Jayadev Misra
- Cited by 1 (1 self) – Add To MetaCart
-
A semantic approach to secure information flow
- . Rustan M. Leino and Rajeev Joshi d i g i t a l Systems Research Center 130 Lytton Avenue Palo Alto
- Cited by 1 (0 self) – Add To MetaCart
-
Maximally Concurrent Programs
- Maximally Concurrent Programs RAJEEV JOSHI and JAYADEV MISRA The University of Texas at Austin
- Cited by 1 (1 self) – Add To MetaCart
-
Extending Model Checking with Dynamic Analysis
- Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable
- Cited by 3 (2 self) – Add To MetaCart
-
Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration
- , July 21, 2008 Copyright 2008 ACM 978-1-60558-054-8/08/07 ...$5.00. Rajeev Joshi Laboratory for Reliable
- Cited by 1 (1 self) – Add To MetaCart
-
A logic for concurrent programming
- Maximally Concurrent Programs Rajeev Joshi and Jayadev Misra The University of Texas at Austin
- Cited by 13 (1 self) – Add To MetaCart
-
Seuss: What the Doctor Ordered
- Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin Jayadev Misra Department
- Cited by 1 (0 self) – Add To MetaCart
-
Model-driven software verification
- 'C Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable
- Cited by 37 (8 self) – Add To MetaCart

