Search results for "Rajeev Joshi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rajeev Joshi, Peter Müller 0002, Andreas Podelski (eds.)	Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings	VSTTE	2012	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Swarm Verification Techniques.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF
1	Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)	NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	Rajeev Joshi	Programming with Miracles.	IFM	2010	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
1	Alex Groce, Rajeev Joshi	Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.	STTT	2008	DBLP DOI BibTeX RDF
1	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Swarm Verification.	ASE	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Tackling Large Verification Problems with the Swarm Tool.	SPIN	2008	DBLP DOI BibTeX RDF
1	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith	Automated Testing of Planning Models.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Alex Groce, Rajeev Joshi	Extending Model Checking with Dynamic Analysis.	VMCAI	2008	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Gerard J. Holzmann	A mini challenge: build a verifiable filesystem.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Verification grand challenge, Filesystem design, Formal verification
1	Alex Groce, Gerard J. Holzmann, Rajeev Joshi	Randomized Differential Testing as a Prelude to Formal Verification.	ICSE	2007	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Greg Nelson, Yunhong Zhou	Denali: A practical algorithm for generating optimal code.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	practical optimal code generation, Compilation, code generation
1	Alex Groce, Rajeev Joshi	Exploiting Traces in Program Analysis.	TACAS	2006	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Gerard J. Holzmann	A Mini Challenge: Build a Verifiable Filesystem.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi	Reliable Software Systems Design: Defect Prevention, Detection, and Containment.	VSTTE	2005	DBLP DOI BibTeX RDF
1	Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi	Automated policy-based resource construction in utility computing environments.	NOMS	2004	DBLP DOI BibTeX RDF
1	Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi	Automated Generation of Resource Configurations through Policies.	POLICY	2004	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu	Checking Cache-Coherence Protocols with TLA+.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	TLC, model checking, cache coherence, TLA+
1	Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe	Theorem Proving Using Lazy Proof Explication.	CAV	2003	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Greg Nelson, Keith H. Randall	Denali: A Goal-directed Superoptimizer.	PLDI	2002	DBLP DOI BibTeX RDF	superoptimizer, optimizing compiler
1	Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino	Annotation inference for modular checkers.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Jayadev Misra	Maximally Concurrent Programs.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Concurrent program design, Maximal solution, Safety, Progress
1	Rajeev Joshi, K. Rustan M. Leino	A semantic approach to secure information flow.	Sci. Comput. Program.	2000	DBLP DOI BibTeX RDF
1	Rajeev Joshi, Jayadev Misra	Toward a theory of maximally concurrent programs (shortened version).	PODC	2000	DBLP DOI BibTeX RDF	parallel programs, concurrency
1	K. Rustan M. Leino, Rajeev Joshi	A Semantic Approach to Secure Information Flow.	MPC	1998	DBLP BibTeX RDF

Publications of "Rajeev Joshi" ( http://dblp.L3S.de/Authors/Rajeev_Joshi )