Rajeev Joshi

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

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Layer-Wise Filter Thresholding Based CNN Pruning for Efficient IoT Edge Implementations.

Lakshmi Kavya Kalyanam, Rajeev Joshi, Srinivas Katkoori

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.

Rajeev Joshi, Raaga Sai Somesula, Srinivas Katkoori

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.

Rajeev Joshi, Lakshmi Kavya Kalyanam, Srinivas Katkoori

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).

Raaga Sai Somesula, Rajeev Joshi, Srinivas Katkoori

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023

2022

Fast Sobel Edge Detection for IoT Edge Devices.

Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori

SN Comput. Sci., 2022

Early Design Space Exploration Framework for Memristive Crossbar Arrays.

Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori

ACM J. Emerg. Technol. Comput. Syst., 2022

Range Based Hardware Optimization of Multilayer Perceptrons with RELUs.

Lakshmi Kavya Kalyanam, Rajeev Joshi, Srinivas Katkoori

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2022

Simulated Annealing Based Integerization of Hidden Weights for Area-Efficient IoT Edge Intelligence.

Rajeev Joshi, Lakshmi Kavya Kalyanam, Srinivas Katkoori

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2022

2021

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.

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

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2020

Analysis of Radiation Impact on Memristive Crossbar Arrays.

Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori

Proceedings of the 11th IEEE Latin American Symposium on Circuits & Systems, 2020

High Level Modeling of Memristive Crossbar Arrays.

Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori

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.

Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori

Proceedings of the IEEE International Symposium on Smart Electronic Systems, 2020

2018

Inferring event stream abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister

Formal Methods Syst. Des., 2018

Optimizing Performance and Energy Overheads Due to Fanout in In-Memory Computing Systems.

Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori

Proceedings of the VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 2018

Modeling with Scala.

Klaus Havelund, Rajeev Joshi

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

2017

Modeling and Monitoring of Hierarchical State Machines in Scala.

Klaus Havelund, Rajeev Joshi

Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Modeling Rover Communication Using Hierarchical State Machines with Scala.

Klaus Havelund, Rajeev Joshi

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

nfer - A Notation and System for Inferring Event Stream Abstractions.

Sean Kauffman, Klaus Havelund, Rajeev Joshi

Proceedings of the Runtime Verification - 16th International Conference, 2016

Towards a Logic for Inferring Properties of Event Streams.

Sean Kauffman, Rajeev Joshi, Klaus Havelund

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2014

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.

Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu

Ann. Math. Artif. Intell., 2014

Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.

Klaus Havelund, Rajeev Joshi

Proceedings of the Formal Methods and Software Engineering, 2014

Experience with Rule-Based Analysis of Spacecraft Logs.

Klaus Havelund, Rajeev Joshi

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2011

Swarm Verification Techniques.

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

IEEE Trans. Software Eng., 2011

2010

Programming with Miracles.

Rajeev Joshi

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2008

Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.

Alex Groce, Rajeev Joshi

Int. J. Softw. Tools Technol. Transf., 2008

Model driven code checking.

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

Autom. Softw. Eng., 2008

Extending Model Checking with Dynamic Analysis.

Alex Groce, Rajeev Joshi

Proceedings of the Verification, 2008

Verifying Multi-threaded C Programs with SPIN.

Anna Zaks, Rajeev Joshi

Proceedings of the Model Checking Software, 2008

New Challenges in Model Checking.

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Tackling Large Verification Problems with the Swarm Tool.

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

Proceedings of the Model Checking Software, 2008

Automated Testing of Planning Models.

Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Swarm Verification.

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

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.

Alex Groce, Rajeev Joshi

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

2007

A mini challenge: build a verifiable filesystem.

Rajeev Joshi, Gerard J. Holzmann

Formal Aspects Comput., 2007

Randomized Differential Testing as a Prelude to Formal Verification.

Alex Groce, Gerard J. Holzmann, Rajeev Joshi

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Denali: A practical algorithm for generating optimal code.

Rajeev Joshi, Greg Nelson, Yunhong Zhou

ACM Trans. Program. Lang. Syst., 2006

Exploiting Traces in Program Analysis.

Alex Groce, Rajeev Joshi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

2005

Reliable Software Systems Design: Defect Prevention, Detection, and Containment.

Gerard J. Holzmann, Rajeev Joshi

Proceedings of the Verified Software: Theories, 2005

2004

Model-Driven Software Verification.

Gerard J. Holzmann, Rajeev Joshi

Proceedings of the Model Checking Software, 2004

Automated Generation of Resource Configurations through Policies.

Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi

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.

Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi

Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

2003

Checking Cache-Coherence Protocols with TLA⁺.

Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu

Formal Methods Syst. Des., 2003

Theorem Proving Using Lazy Proof Explication.

Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Denali: A Goal-directed Superoptimizer.

Rajeev Joshi, Greg Nelson, Keith H. Randall

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

Annotation inference for modular checkers.

Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino

Inf. Process. Lett., 2001

2000

A semantic approach to secure information flow.

Rajeev Joshi, K. Rustan M. Leino

Sci. Comput. Program., 2000

Maximally Concurrent Programs.

Rajeev Joshi, Jayadev Misra

Formal Aspects Comput., 2000

Toward a theory of maximally concurrent programs (shortened version).

Rajeev Joshi, Jayadev Misra

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

1997

Seuss: What the Doctor Ordered.

Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1992

A projective geometry architecture for scientific computation.

Bharadwaj S. Amrutur, Rajeev Joshi, Narendra K. Karmarkar

Proceedings of the Application Specific Array Processors, 1992