dblp.uni-trier.dewww.uni-trier.de

Rajeev Joshi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
26EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
25EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification. ASE 2008: 1-6
24EEKlaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
23EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
22EEAnna Zaks, Rajeev Joshi: Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342
21EEAlex Groce, Rajeev Joshi: Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156
20EEAlex Groce, Rajeev Joshi: Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
19EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
18EEAlex Groce, Rajeev Joshi: Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
2007
17EEAlex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
16EERajeev Joshi, Gerard J. Holzmann: A mini challenge: build a verifiable filesystem. Formal Asp. Comput. 19(2): 269-272 (2007)
2006
15EEAlex Groce, Rajeev Joshi: Exploiting Traces in Program Analysis. TACAS 2006: 379-393
14EERajeev Joshi, Greg Nelson, Yunhong Zhou: Denali: A practical algorithm for generating optimal code. ACM Trans. Program. Lang. Syst. 28(6): 967-989 (2006)
2005
13EEGerard J. Holzmann, Rajeev Joshi: Reliable Software Systems Design: Defect Prevention, Detection, and Containment. VSTTE 2005: 237-244
12EERajeev Joshi, Gerard J. Holzmann: A Mini Challenge: Build a Verifiable Filesystem. VSTTE 2005: 49-56
2004
11EEAkhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi: Automated policy-based resource construction in utility computing environments. NOMS (1) 2004: 381-393
10EEAkhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi: Automated Generation of Resource Configurations through Policies. POLICY 2004: 107-110
9EEGerard J. Holzmann, Rajeev Joshi: Model-Driven Software Verification. SPIN 2004: 76-91
2003
8EECormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
7EERajeev 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
6EERajeev Joshi, Greg Nelson, Keith H. Randall: Denali: A Goal-directed Superoptimizer. PLDI 2002: 304-314
2001
5EECormac Flanagan, Rajeev Joshi, K. Rustan M. Leino: Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001)
2000
4EERajeev Joshi, Jayadev Misra: Toward a theory of maximally concurrent programs (shortened version). PODC 2000: 319-328
3EERajeev 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
1EEK. Rustan M. Leino, Rajeev Joshi: A Semantic Approach to Secure Information Flow. MPC 1998: 254-271

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)