Rajeev Joshi

2008
19	EE	Gerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
18	EE	Anna Zaks, Rajeev Joshi: Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342
17	EE	Alex Groce, Rajeev Joshi: Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156
16	EE	Alex Groce, Rajeev Joshi: Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
15	EE	Alex Groce, Rajeev Joshi: Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
2007
14	EE	Alex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
13	EE	Rajeev Joshi, Gerard J. Holzmann: A mini challenge: build a verifiable filesystem. Formal Asp. Comput. 19(2): 269-272 (2007)
2006
12	EE	Alex Groce, Rajeev Joshi: Exploiting Traces in Program Analysis. TACAS 2006: 379-393
11	EE	Rajeev Joshi, Greg Nelson, Yunhong Zhou: Denali: A practical algorithm for generating optimal code. ACM Trans. Program. Lang. Syst. 28(6): 967-989 (2006)
2004
10	EE	Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi: Automated Generation of Resource Configurations through Policies. POLICY 2004: 107-110
9	EE	Gerard J. Holzmann, Rajeev Joshi: Model-Driven Software Verification. SPIN 2004: 76-91
2003
8	EE	Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
7	EE	Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA+. Formal Methods in System Design 22(2): 125-131 (2003)
2002
6	EE	Rajeev Joshi, Greg Nelson, Keith H. Randall: Denali: A Goal-directed Superoptimizer. PLDI 2002: 304-314
2001
5	EE	Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino: Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001)
2000
4	EE	Rajeev Joshi, Jayadev Misra: Toward a theory of maximally concurrent programs (shortened version). PODC 2000: 319-328
3	EE	Rajeev Joshi, Jayadev Misra: Maximally Concurrent Programs. Formal Asp. Comput. 12(2): 100-119 (2000)
2		Rajeev Joshi, K. Rustan M. Leino: A semantic approach to secure information flow. Sci. Comput. Program. 37(1-3): 113-138 (2000)
1998
1	EE	K. Rustan M. Leino, Rajeev Joshi: A Semantic Approach to Secure Information Flow. MPC 1998: 254-271

Coauthor Index

1	Cormac Flanagan	[5] [8]
2	Alex Groce	[12] [14] [15] [16] [17] [19]
3	Gerard J. Holzmann	[9] [13] [14] [19]
4	Leslie Lamport	[7]
5	K. Rustan M. Leino	[1] [2] [5]
6	Vijay Machiraju	[10]
7	John Matthews	[7]
8	Jayadev Misra	[3] [4]
9	Greg Nelson	[6] [11]
10	Xinming Ou	[8]
11	Keith H. Randall	[6]
12	Akhil Sahai	[10]
13	James B. Saxe	[8]
14	Sharad Singhal	[10]
15	Serdar Tasiran	[7]
16	Mark R. Tuttle	[7]
17	Yuan Yu	[7]
18	Anna Zaks	[18]
19	Yunhong Zhou	[11]

Colors in the list of coauthors