Rajeev Joshi

Orcid: 0000-0002-5043-3467

According to our database1, Rajeev Joshi authored at least 50 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.



In proceedings 
PhD thesis 


On csauthors.net:


Layer-Wise Filter Thresholding Based CNN Pruning for Efficient IoT Edge Implementations.
Proceedings of the Internet of Things. Advances in Information and Communication Technology, 2023

Empowering Resource-Constrained IoT Edge Devices: A Hybrid Approach for Edge Data Analysis.
Proceedings of the Internet of Things. Advances in Information and Communication Technology, 2023

Simulated Annealing Based Area Optimization of Multilayer Perceptron Hardware for IoT Edge Devices.
Proceedings of the Internet of Things. Advances in Information and Communication Technology, 2023

On Feasibility of Decision Trees for Edge Intelligence in Highly Constrained Internet-of-Things (IoT).
Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

Fast Sobel Edge Detection for IoT Edge Devices.
SN Comput. Sci., 2022

Early Design Space Exploration Framework for Memristive Crossbar Arrays.
ACM J. Emerg. Technol. Comput. Syst., 2022

Range Based Hardware Optimization of Multilayer Perceptrons with RELUs.
Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2022

Simulated Annealing Based Integerization of Hidden Weights for Area-Efficient IoT Edge Intelligence.
Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2022

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Analysis of Radiation Impact on Memristive Crossbar Arrays.
Proceedings of the 11th IEEE Latin American Symposium on Circuits & Systems, 2020

High Level Modeling of Memristive Crossbar Arrays.
Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Novel Bit-Sliced Near-Memory Computing Based VLSI Architecture for Fast Sobel Edge Detection in IoT Edge Devices.
Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2020

Inferring event stream abstractions.
Formal Methods Syst. Des., 2018

Optimizing Performance and Energy Overheads Due to Fanout in In-Memory Computing Systems.
Proceedings of the VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 2018

Modeling with Scala.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Modeling and Monitoring of Hierarchical State Machines in Scala.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Modeling Rover Communication Using Hierarchical State Machines with Scala.
Proceedings of the Computer Safety, Reliability, and Security, 2017

nfer - A Notation and System for Inferring Event Stream Abstractions.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Towards a Logic for Inferring Properties of Event Streams.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell., 2014

Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.
Proceedings of the Formal Methods and Software Engineering, 2014

Experience with Rule-Based Analysis of Spacecraft Logs.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Swarm Verification Techniques.
IEEE Trans. Software Eng., 2011

Programming with Miracles.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.
Int. J. Softw. Tools Technol. Transf., 2008

Model driven code checking.
Autom. Softw. Eng., 2008

Extending Model Checking with Dynamic Analysis.
Proceedings of the Verification, 2008

Verifying Multi-threaded C Programs with SPIN.
Proceedings of the Model Checking Software, 2008

New Challenges in Model Checking.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Tackling Large Verification Problems with the Swarm Tool.
Proceedings of the Model Checking Software, 2008

Automated Testing of Planning Models.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Swarm Verification.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Random testing and model checking: building a common framework for nondeterministic exploration.
Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

A mini challenge: build a verifiable filesystem.
Formal Aspects Comput., 2007

Randomized Differential Testing as a Prelude to Formal Verification.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Denali: A practical algorithm for generating optimal code.
ACM Trans. Program. Lang. Syst., 2006

Exploiting Traces in Program Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
Proceedings of the Verified Software: Theories, 2005

Model-Driven Software Verification.
Proceedings of the Model Checking Software, 2004

Automated Generation of Resource Configurations through Policies.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Automated policy-based resource construction in utility computing environments.
Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

Checking Cache-Coherence Protocols with TLA<sup>+</sup>.
Formal Methods Syst. Des., 2003

Theorem Proving Using Lazy Proof Explication.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Denali: A Goal-directed Superoptimizer.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Annotation inference for modular checkers.
Inf. Process. Lett., 2001

A semantic approach to secure information flow.
Sci. Comput. Program., 2000

Maximally Concurrent Programs.
Formal Aspects Comput., 2000

Toward a theory of maximally concurrent programs (shortened version).
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Seuss: What the Doctor Ordered.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

A projective geometry architecture for scientific computation.
Proceedings of the Application Specific Array Processors, 1992