Gourinath Banda

22 papers B 2C 1Misc 3Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Hard Real-Time Kernel for CPIoT Systems With Safety Features in Rust.
IEEE Access
Nayancy Gupta, Gourinath Banda, Neminath Hubballi, K. V. Srinivas
2025 Misc conf
Advancing Software-Defined Vehicles: An End-to-End Framework with Digital Twin Based Attestation for OTA Updates.
COMSNETS
Krish Agrawal, Rohan Jha, Nishkarsh Luthra, Pilla Venkata Sekhar, Hrishesh Sharma, Gourinath Banda
2025 Misc conf
Demonstration of an Application Layer Omni-frequency IoT Protocol.
COMSNETS
Nayancy Gupta, Lokesh Peddamalla, Veman Sai Prabhath Mendu, Gourinath Banda
2025 Misc conf
RISE: Modular Blockchain-Integrated Enhancements for Reducing Food Waste and Boosting Retail Accountability.
COMSNETS
Rishika Sharma, Gourinath Banda
2025 J jnl
SIRD-YOLO: an enhanced deep learning model for weapon detection using spatial interactions and diverse receptive fields.
Innov. Syst. Softw. Eng.
Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda
2024 J jnl
A novel IoT-device management platform for on-the-fly generation of user interface
PeerJ Comput. Sci.
Nayancy Gupta, Gourinath Banda, Chaitanya Krishna Bommakanti, Venkata Srinivas Kothapalli
2024 J jnl
Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition.
IEEE Access
Rajeshwar Yadav, Raju Halder, Gourinath Banda
2023 — conf
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots.
AIR
Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda
2023 J jnl
PAVeDS: A Synthetic Dataset for Developing Autonomous Personal Aerial Vehicles.
IEEE Access
Deepak Prasad, S. Thanikai Adhithiyan, Kondru Thanmai, Gourinath Banda
2022 J jnl
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion.
IEEE Access
Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur
2021 — conf
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.
AIR
Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad
2021 — conf
Email Validation & Arbitration Framework and Platform based on Blockchain for Legal Matters.
ANTS
B. Rushya Sree Reddy, Atche Sravya, Gourinath Banda
2020 J jnl
A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles.
IEEE Access
Aaditya Prakash Chouhan, Gourinath Banda, Kanishkar Jothibasu
2020 J jnl
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
Sensors
Aaditya Prakash Chouhan, Gourinath Banda
2020 B conf
HarSaRK-RS: Hard Safe Real-Time Kernel in Rust.
Intelligent Environments (Workshops)
Kanishkar Jothibasu, Gourinath Banda
2018 J jnl
Autonomous Intersection Management: A Heuristic Approach.
IEEE Access
Aaditya Prakash Chouhan, Gourinath Banda
2016 J jnl
One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible.
J. Reliab. Intell. Environ.
Gourinath Banda, Chaitanya Krishna Bommakanti, Harsh Mohan
2015 — conf
An IoT Protocol and Framework for OEMs to Make IoT-Enabled Devices forward Compatible.
SITIS
Gourinath Banda, Krishna Chaitanya, Harsh Mohan
2010 — conf
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.
LPAR (Dakar)
Gourinath Banda, John P. Gallagher
2008 C conf
Analysis of Linear Hybrid Systems in CLP.
LOPSTR
Gourinath Banda, John P. Gallagher
2007 J jnl
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs
CoRR
Kim S. Henriksen, Gourinath Banda, John P. Gallagher
2005 B conf
Techniques for Scaling Up Analyses Based on Pre-interpretations.
ICLP
John P. Gallagher, Kim S. Henriksen, Gourinath Banda