Rajeev Joshi
发表
Klaus Havelund,
Rajeev Joshi,
2018,
ISoLA.
Rajeev Joshi,
2010,
IFM.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
SPIN.
Gerard J. Holzmann,
Rajeev Joshi,
2005,
VSTTE.
Gerard J. Holzmann,
Rajeev Joshi,
R. Joshi,
2007,
Formal Aspects of Computing.
Akhil Sahai,
Sharad Singhal,
Vijay Machiraju,
2004,
2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).
Klaus Havelund,
Rajeev Joshi,
Sean Kauffman,
2016,
RV.
Andreas Podelski,
Peter Müller,
Rajeev Joshi,
2012
.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2011,
IEEE Transactions on Software Engineering.
Akhil Sahai,
Sharad Singhal,
Vijay Machiraju,
2004,
Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..
Klaus Havelund,
Rajeev Joshi,
K. Havelund,
2017,
SERENE.
Jayadev Misra,
Rajeev Joshi,
J. Misra,
2000,
PODC '00.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Gerard J. Holzmann,
Klaus Havelund,
Rajeev Joshi,
2015,
Lecture Notes in Computer Science.
K. Rustan M. Leino,
Rajeev Joshi,
2000,
Sci. Comput. Program..
Gerard J. Holzmann,
Rajeev Joshi,
Klaus Havelund,
2011,
NASA Formal Methods.
Sebastian Fischmeister,
Klaus Havelund,
Rajeev Joshi,
2018,
Formal Methods Syst. Des..
Srinivas Katkoori,
Rajeev Joshi,
Md. Adnan Zaman,
2018,
VLSI-SoC.
K. Rustan M. Leino,
Rajeev Joshi,
R. Joshi,
2000,
Sci. Comput. Program..
Rajeev Joshi,
2010
.
Alex Groce,
Rajeev Joshi,
2006,
TACAS.
Rajeev Joshi,
Grailing Jones,
Gregory Horvath,
2009
.
Yunhong Zhou,
Greg Nelson,
Rajeev Joshi,
2006,
ACM Trans. Program. Lang. Syst..
Leslie Lamport,
Serdar Tasiran,
Mark R. Tuttle,
2003,
Formal Methods Syst. Des..
K. Rustan M. Leino,
Cormac Flanagan,
Rajeev Joshi,
2001,
Inf. Process. Lett..
Klaus Havelund,
Rajeev Joshi,
Sean Kauffman,
2016,
ISoLA.
Jayadev Misra,
Lorenzo Alvisi,
Calvin Lin,
1997,
Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.
Klaus Havelund,
Rajeev Joshi,
K. Havelund,
2017,
SAFECOMP Workshops.
Yunhong Zhou,
Greg Nelson,
Rajeev Joshi,
2006,
TOPL.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
25 Years of Model Checking.
Alex Groce,
Rajeev Joshi,
2007,
International Journal on Software Tools for Technology Transfer.
Alex Groce,
Rajeev Joshi,
2008,
VMCAI.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2007,
29th International Conference on Software Engineering (ICSE'07).
Jayadev Misra,
Rajeev Joshi,
1999
.
Bharadwaj Amrutur,
Rajeev Joshi,
Narendra Karmarkar,
1992,
[1992] Proceedings of the International Conference on Application Specific Array Processors.
Keith H. Randall,
Greg Nelson,
Rajeev Joshi,
2002,
PLDI '02.
Klaus Havelund,
Rajeev Joshi,
R. Joshi,
2014,
ICFEM.
Jayadev Misra,
Rajeev Joshi,
2000,
Formal Aspects of Computing.
Xinming Ou,
Cormac Flanagan,
Rajeev Joshi,
2003,
CAV.
Gerard J. Holzmann,
Rajeev Joshi,
G. Holzmann,
2007,
Formal Aspects of Computing.
Gerard J. Holzmann,
Rajeev Joshi,
R. Joshi,
2004,
SPIN.
Alex Groce,
Gerard J. Holzmann,
Margaret H. Smith,
2008,
MoChArt.
Klaus Havelund,
Rajeev Joshi,
R. Joshi,
2014,
FTSCS.
Rajeev Joshi,
Anna Zaks,
2008,
SPIN.
Alex Groce,
Rajeev Joshi,
2008,
WODA '08.
Andreas Podelski,
Peter Müller,
Rajeev Joshi,
2012,
Lecture Notes in Computer Science.
Alex Groce,
Gerard J. Holzmann,
Klaus Havelund,
2014,
Annals of Mathematics and Artificial Intelligence.
Hongseok Yang,
Tiziana Margaria,
David A. Naumann,
2010
.
Alex Groce,
Gerard J. Holzmann,
Rajeev Joshi,
2008,
Automated Software Engineering.
Serdar Tasiran,
Andrew Warfield,
Brendan Cully,
2021,
SOSP.
Greg Nelson,
Rajeev Joshi,
Yunhong Zhou,
2003
.
Jayadev Misra,
Rajeev Joshi,
1999
.