Concepedia
Statistics
Publications
18
Citations
1.1K
H-Index
16
Active since
2000
Affiliations
Jet Propulsion Laboratory(Current)
Reliable Software Resources (United States)
California Institute of Technology
Hewlett-Packard (United States)
The University of Texas at Austin
Rajeev Joshi is an author at Jet Propulsion Laboratory specializing in computing, computer science, and computer engineering.
Publications per year
2000–2021
A semantic approach to secure information flow
Rajeev Joshi, K. Rustan M. Leino · Science of Computer Programming · 2000 · 163 citations
Computing, Computer Science, Cybersecurity +14
Denali
Rajeev Joshi, Greg Nelson, Keith H. Randall · 2002 · 154 citations
Computing, Computer Engineering, Computer Science +15
Randomized Differential Testing as a Prelude to Formal Verification
Alex Groce, Gerard J. Holzmann, Rajeev Joshi · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 124 citations
Computing, Aerospace Engineering, Computer Science +16
Swarm Verification Techniques
Gerard J. Holzmann, Rajeev Joshi, Alex Groce · IEEE Transactions on Software Engineering · 2010 · 88 citations
Computing, Computer Engineering, Computer Science +12
A mini challenge: build a verifiable filesystem
Rajeev Joshi, Gerard J. Holzmann · Formal Aspects of Computing · 2007 · 80 citations · Full text
Computing, Computer Engineering, Computer Science +13
1–5 of 18