Rajeev Joshi

57 papers A* 6A 1B 4C 1Journal 15Unranked 27
YearRankTypeTitle / Venue / Authors
2025 J jnl
Advancements in refreshable Braille display technology: A comprehensive survey.
Displays
Maryam Etezad, Rajeev Joshi, Franceli L. Cibrian
2024 J jnl
3D-Printed Models for Optimizing Tactile Braille & Shape Display.
IEEE Trans. Haptics
Maryam Etezad, Rajeev Joshi, Robert Alexander, Franceli L. Cibrian
2023 — conf
Empowering Resource-Constrained IoT Edge Devices: A Hybrid Approach for Edge Data Analysis.
IFIPIoT (1)
Rajeev Joshi, Raaga Sai Somesula, Srinivas Katkoori
2023 — conf
Layer-Wise Filter Thresholding Based CNN Pruning for Efficient IoT Edge Implementations.
IFIPIoT (1)
Lakshmi Kavya Kalyanam, Rajeev Joshi, Srinivas Katkoori
2023 — conf
On Feasibility of Decision Trees for Edge Intelligence in Highly Constrained Internet-of-Things (IoT).
ACM Great Lakes Symposium on VLSI
Raaga Sai Somesula, Rajeev Joshi, Srinivas Katkoori
2023 — conf
Simulated Annealing Based Area Optimization of Multilayer Perceptron Hardware for IoT Edge Devices.
IFIPIoT (1)
Rajeev Joshi, Lakshmi Kavya Kalyanam, Srinivas Katkoori
2022 J jnl
Early Design Space Exploration Framework for Memristive Crossbar Arrays.
ACM J. Emerg. Technol. Comput. Syst.
Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori
2022 J jnl
Fast Sobel Edge Detection for IoT Edge Devices.
SN Comput. Sci.
Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori
2022 — conf
Range Based Hardware Optimization of Multilayer Perceptrons with RELUs.
iSES
Lakshmi Kavya Kalyanam, Rajeev Joshi, Srinivas Katkoori
2022 — conf
Simulated Annealing Based Integerization of Hidden Weights for Area-Efficient IoT Edge Intelligence.
iSES
Rajeev Joshi, Lakshmi Kavya Kalyanam, Srinivas Katkoori
2021 A* conf
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3.
SOSP
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
2020 — conf
Analysis of Radiation Impact on Memristive Crossbar Arrays.
LASCAS
Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori
2020 — conf
High Level Modeling of Memristive Crossbar Arrays.
ISVLSI
Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori
2020 — conf
Novel Bit-Sliced Near-Memory Computing Based VLSI Architecture for Fast Sobel Edge Detection in IoT Edge Devices.
iSES
Rajeev Joshi, Md. Adnan Zaman, Srinivas Katkoori
2018 J jnl
Inferring event stream abstractions.
Formal Methods Syst. Des.
Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
2018 — conf
Modeling with Scala.
ISoLA (1)
Klaus Havelund, Rajeev Joshi
2018 — conf
Optimizing Performance and Energy Overheads Due to Fanout in In-Memory Computing Systems.
VLSI-SoC (Selected Papers)
Md. Adnan Zaman, Rajeev Joshi, Srinivas Katkoori
2017 — conf
Modeling Rover Communication Using Hierarchical State Machines with Scala.
SAFECOMP Workshops
Klaus Havelund, Rajeev Joshi
2017 — conf
Modeling and Monitoring of Hierarchical State Machines in Scala.
SERENE
Klaus Havelund, Rajeev Joshi
2016 — conf
Towards a Logic for Inferring Properties of Event Streams.
ISoLA (2)
Sean Kauffman, Rajeev Joshi, Klaus Havelund
2016 B conf
nfer - A Notation and System for Inferring Event Stream Abstractions.
RV
Sean Kauffman, Klaus Havelund, Rajeev Joshi
2015 — ed.
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NFM
Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
2014 C conf
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.
ICFEM
Klaus Havelund, Rajeev Joshi
2014 J jnl
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell.
Alex Groce, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, Ru-Gang Xu
2014 — conf
Experience with Rule-Based Analysis of Spacecraft Logs.
FTSCS
Klaus Havelund, Rajeev Joshi
2012 — ed.
Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
VSTTE
Rajeev Joshi, Peter Müller, Andreas Podelski
2011 — ed.
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods
Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
2011 J jnl
Swarm Verification Techniques.
IEEE Trans. Software Eng.
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2010 B conf
Programming with Miracles.
IFM
Rajeev Joshi
2008 — conf
Automated Testing of Planning Models.
MoChArt
Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
2008 J jnl
Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.
Int. J. Softw. Tools Technol. Transf.
Alex Groce, Rajeev Joshi
2008 B conf
Extending Model Checking with Dynamic Analysis.
VMCAI
Alex Groce, Rajeev Joshi
2008 J jnl
Model driven code checking.
Autom. Softw. Eng.
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
New Challenges in Model Checking.
25 Years of Model Checking
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
Random testing and model checking: building a common framework for nondeterministic exploration.
WODA
Alex Groce, Rajeev Joshi
2008 A* conf
Swarm Verification.
ASE
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
Tackling Large Verification Problems with the Swarm Tool.
SPIN
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
2008 — conf
Verifying Multi-threaded C Programs with SPIN.
SPIN
Anna Zaks, Rajeev Joshi
2007 J jnl
A mini challenge: build a verifiable filesystem.
Formal Aspects Comput.
Rajeev Joshi, Gerard J. Holzmann
2007 A* conf
Randomized Differential Testing as a Prelude to Formal Verification.
ICSE
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
2006 J jnl
Denali: A practical algorithm for generating optimal code.
ACM Trans. Program. Lang. Syst.
Rajeev Joshi, Greg Nelson, Yunhong Zhou
2006 A conf
Exploiting Traces in Program Analysis.
TACAS
Alex Groce, Rajeev Joshi
2005 — conf
A Mini Challenge: Build a Verifiable Filesystem.
VSTTE
Rajeev Joshi, Gerard J. Holzmann
2005 — conf
Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
VSTTE
Gerard J. Holzmann, Rajeev Joshi
2004 — conf
Automated Generation of Resource Configurations through Policies.
POLICY
Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi
2004 — conf
Automated policy-based resource construction in utility computing environments.
NOMS (1)
Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi
2004 — conf
Model-Driven Software Verification.
SPIN
Gerard J. Holzmann, Rajeev Joshi
2003 J jnl
Checking Cache-Coherence Protocols with TLA
Formal Methods Syst. Des.
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
2003 A* conf
Theorem Proving Using Lazy Proof Explication.
CAV
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
2002 A* conf
Denali: A Goal-directed Superoptimizer.
PLDI
Rajeev Joshi, Greg Nelson, Keith H. Randall
2001 J jnl
Annotation inference for modular checkers.
Inf. Process. Lett.
Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
2000 J jnl
A semantic approach to secure information flow.
Sci. Comput. Program.
Rajeev Joshi, K. Rustan M. Leino
2000 J jnl
Maximally Concurrent Programs.
Formal Aspects Comput.
Rajeev Joshi, Jayadev Misra
2000 A* conf
Toward a theory of maximally concurrent programs (shortened version).
PODC
Rajeev Joshi, Jayadev Misra
1998 B conf
A Semantic Approach to Secure Information Flow.
MPC
K. Rustan M. Leino, Rajeev Joshi
1997 — conf
Seuss: What the Doctor Ordered.
PDSE
Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra
1992 — conf
A projective geometry architecture for scientific computation.
ASAP
Bharadwaj S. Amrutur, Rajeev Joshi, Narendra K. Karmarkar