default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRajeev Joshi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c39]Raaga Sai Somesula
, Rajeev Joshi, Srinivas Katkoori:
On Feasibility of Decision Trees for Edge Intelligence in Highly Constrained Internet-of-Things (IoT). ACM Great Lakes Symposium on VLSI 2023: 217-218- [c38]Rajeev Joshi, Lakshmi Kavya Kalyanam, Srinivas Katkoori:
Simulated Annealing Based Area Optimization of Multilayer Perceptron Hardware for IoT Edge Devices. IFIPIoT (1) 2023: 34-47 - [c37]Lakshmi Kavya Kalyanam, Rajeev Joshi, Srinivas Katkoori:
Layer-Wise Filter Thresholding Based CNN Pruning for Efficient IoT Edge Implementations. IFIPIoT (1) 2023: 76-93 - [c36]Rajeev Joshi, Raaga Sai Somesula, Srinivas Katkoori:
Empowering Resource-Constrained IoT Edge Devices: A Hybrid Approach for Edge Data Analysis. IFIPIoT (1) 2023: 168-181 - 2022
- [j13]Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori:
Early Design Space Exploration Framework for Memristive Crossbar Arrays. ACM J. Emerg. Technol. Comput. Syst. 18(2): 42:1-42:26 (2022) - [j12]Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori:
Fast Sobel Edge Detection for IoT Edge Devices. SN Comput. Sci. 3(4): 302 (2022) - [c35]Lakshmi Kavya Kalyanam, Rajeev Joshi, Srinivas Katkoori:
Range Based Hardware Optimization of Multilayer Perceptrons with RELUs. iSES 2022: 421-426 - [c34]Rajeev Joshi, Lakshmi Kavya Kalyanam, Srinivas Katkoori:
Simulated Annealing Based Integerization of Hidden Weights for Area-Efficient IoT Edge Intelligence. iSES 2022: 427-432 - 2021
- [c33]James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield:
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP 2021: 836-850 - 2020
- [c32]Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori:
Novel Bit-Sliced Near-Memory Computing Based VLSI Architecture for Fast Sobel Edge Detection in IoT Edge Devices. iSES 2020: 291-296 - [c31]Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori:
High Level Modeling of Memristive Crossbar Arrays. ISVLSI 2020: 524-529 - [c30]Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori:
Analysis of Radiation Impact on Memristive Crossbar Arrays. LASCAS 2020: 1-4
2010 – 2019
- 2018
- [j11]Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister:
Inferring event stream abstractions. Formal Methods Syst. Des. 53(1): 54-82 (2018) - [c29]Klaus Havelund, Rajeev Joshi:
Modeling with Scala. ISoLA (1) 2018: 184-205 - [c28]Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori:
Optimizing Performance and Energy Overheads Due to Fanout in In-Memory Computing Systems. VLSI-SoC (Selected Papers) 2018: 147-166 - 2017
- [c27]Klaus Havelund, Rajeev Joshi:
Modeling Rover Communication Using Hierarchical State Machines with Scala. SAFECOMP Workshops 2017: 447-461 - [c26]Klaus Havelund, Rajeev Joshi:
Modeling and Monitoring of Hierarchical State Machines in Scala. SERENE 2017: 21-36 - 2016
- [c25]Sean Kauffman, Rajeev Joshi, Klaus Havelund:
Towards a Logic for Inferring Properties of Event Streams. ISoLA (2) 2016: 394-399 - [c24]Sean Kauffman, Klaus Havelund, Rajeev Joshi:
nfer - A Notation and System for Inferring Event Stream Abstractions. RV 2016: 235-250 - 2015
- [e3]Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Lecture Notes in Computer Science 9058, Springer 2015, ISBN 978-3-319-17523-2 [contents] - 2014
- [j10]Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu:
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning. Ann. Math. Artif. Intell. 70(4): 315-349 (2014) - [c23]Klaus Havelund, Rajeev Joshi:
Experience with Rule-Based Analysis of Spacecraft Logs. FTSCS 2014: 1-16 - [c22]Klaus Havelund, Rajeev Joshi:
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. ICFEM 2014: 187-202 - 2012
- [e2]Rajeev Joshi, Peter Müller, Andreas Podelski:
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7152, Springer 2012, ISBN 978-3-642-27704-7 [contents] - 2011
- [j9]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification Techniques. IEEE Trans. Software Eng. 37(6): 845-857 (2011) - [e1]Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Lecture Notes in Computer Science 6617, Springer 2011, ISBN 978-3-642-20397-8 [contents] - 2010
- [c21]Rajeev Joshi:
Programming with Miracles. IFM 2010: 27
2000 – 2009
- 2008
- [j8]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008) - [j7]Alex Groce, Rajeev Joshi:
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. Int. J. Softw. Tools Technol. Transf. 10(2): 131-144 (2008) - [c20]Alex Groce, Rajeev Joshi:
Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28 - [c19]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Swarm Verification. ASE 2008: 1-6 - [c18]Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith:
Automated Testing of Planning Models. MoChArt 2008: 90-105 - [c17]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76 - [c16]Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143 - [c15]Anna Zaks, Rajeev Joshi:
Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342 - [c14]Alex Groce, Rajeev Joshi:
Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156 - 2007
- [j6]Rajeev Joshi, Gerard J. Holzmann:
A mini challenge: build a verifiable filesystem. Formal Aspects Comput. 19(2): 269-272 (2007) - [c13]Alex Groce, Gerard J. Holzmann, Rajeev Joshi:
Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631 - 2006
- [j5]Rajeev Joshi, Greg Nelson, Yunhong Zhou:
Denali: A practical algorithm for generating optimal code. ACM Trans. Program. Lang. Syst. 28(6): 967-989 (2006) - [c12]Alex Groce, Rajeev Joshi:
Exploiting Traces in Program Analysis. TACAS 2006: 379-393 - 2005
- [c11]Rajeev Joshi, Gerard J. Holzmann:
A Mini Challenge: Build a Verifiable Filesystem. VSTTE 2005: 49-56 - [c10]Gerard J. Holzmann, Rajeev Joshi:
Reliable Software Systems Design: Defect Prevention, Detection, and Containment. VSTTE 2005: 237-244 - 2004
- [c9]Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi:
Automated policy-based resource construction in utility computing environments. NOMS (1) 2004: 381-393 - [c8]Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi:
Automated Generation of Resource Configurations through Policies. POLICY 2004: 107-110 - [c7]Gerard J. Holzmann, Rajeev Joshi:
Model-Driven Software Verification. SPIN 2004: 76-91 - 2003
- [j4]Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu:
Checking Cache-Coherence Protocols with TLA+. Formal Methods Syst. Des. 22(2): 125-131 (2003) - [c6]Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe:
Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367 - 2002
- [c5]Rajeev Joshi, Greg Nelson, Keith H. Randall:
Denali: A Goal-directed Superoptimizer. PLDI 2002: 304-314 - 2001
- [j3]Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino:
Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001) - 2000
- [j2]Rajeev Joshi, Jayadev Misra:
Maximally Concurrent Programs. Formal Aspects Comput. 12(2): 100-119 (2000) - [j1]Rajeev Joshi, K. Rustan M. Leino:
A semantic approach to secure information flow. Sci. Comput. Program. 37(1-3): 113-138 (2000) - [c4]Rajeev Joshi, Jayadev Misra:
Toward a theory of maximally concurrent programs (shortened version). PODC 2000: 319-328
1990 – 1999
- 1998
- [c3]K. Rustan M. Leino, Rajeev Joshi:
A Semantic Approach to Secure Information Flow. MPC 1998: 254-271 - 1997
- [c2]Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra:
Seuss: What the Doctor Ordered. PDSE 1997: 284-290 - 1992
- [c1]Bharadwaj S. Amrutur, Rajeev Joshi, Narendra K. Karmarkar:
A projective geometry architecture for scientific computation. ASAP 1992: 64-80
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-21 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
