Gourinath Banda

According to our database, Gourinath Banda authored at least 21 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Hard Real-Time Kernel for CPIoT Systems With Safety Features in Rust.

Nayancy Gupta, Gourinath Banda, Neminath Hubballi, K. V. Srinivas

IEEE Access, 2025

RISE: Modular Blockchain-Integrated Enhancements for Reducing Food Waste and Boosting Retail Accountability.

Rishika Sharma, Gourinath Banda

Proceedings of the 17th International Conference on COMmunication Systems and NETworks, 2025

Demonstration of an Application Layer Omni-frequency IoT Protocol.

Nayancy Gupta, Lokesh Peddamalla, Veman Sai Prabhath Mendu, Gourinath Banda

Proceedings of the 17th International Conference on COMmunication Systems and NETworks, 2025

Advancing Software-Defined Vehicles: An End-to-End Framework with Digital Twin Based Attestation for OTA Updates.

Krish Agrawal, Rohan Jha, Nishkarsh Luthra, Pilla Venkata Sekhar, Hrishesh Sharma, Gourinath Banda

Proceedings of the 17th International Conference on COMmunication Systems and NETworks, 2025

2024

A novel IoT-device management platform for on-the-fly generation of user interface <i>via</i> manifest-file addressing heterogeneity.

Nayancy Gupta, Gourinath Banda, Chaitanya Krishna Bommakanti, Venkata Srinivas Kothapalli

PeerJ Comput. Sci., 2024

Masked Autoencoders for Spatial-Temporal Relationship in Video-Based Group Activity Recognition.

Rajeshwar Yadav, Raju Halder, Gourinath Banda

IEEE Access, 2024

2023

PAVeDS: A Synthetic Dataset for Developing Autonomous Personal Aerial Vehicles.

Deepak Prasad, S. Thanikai Adhithiyan, Kondru Thanmai, Gourinath Banda

IEEE Access, 2023

A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots.

Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda

Proceedings of the 2023 6th International Conference on Advances in Robotics, 2023

2022

Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion.

Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur

IEEE Access, 2022

2021

A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing.

Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad

Proceedings of the AIR 2021: Advances in Robotics - 5th International Conference of The Robotics Society, Kanpur, India, 30 June 2021, 2021

Email Validation & Arbitration Framework and Platform based on Blockchain for Legal Matters.

B. Rushya Sree Reddy, Atche Sravya, Gourinath Banda

Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2021

2020

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.

Aaditya Prakash Chouhan, Gourinath Banda

Sensors, 2020

A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles.

Aaditya Prakash Chouhan, Gourinath Banda, Kanishkar Jothibasu

IEEE Access, 2020

HarSaRK-RS: Hard Safe Real-Time Kernel in Rust.

Kanishkar Jothibasu, Gourinath Banda

Proceedings of the Intelligent Environments 2020, 2020

2018

Autonomous Intersection Management: A Heuristic Approach.

Aaditya Prakash Chouhan, Gourinath Banda

IEEE Access, 2018

2016

One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible.

Gourinath Banda, Chaitanya Krishna Bommakanti, Harsh Mohan

J. Reliab. Intell. Environ., 2016

2015

An IoT Protocol and Framework for OEMs to Make IoT-Enabled Devices forward Compatible.

Gourinath Banda, Krishna Chaitanya, Harsh Mohan

Proceedings of the 11th International Conference on Signal-Image Technology & Internet-Based Systems, 2015

2010

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.

Gourinath Banda, John P. Gallagher

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008

Analysis of Linear Hybrid Systems in CLP.

Gourinath Banda, John P. Gallagher

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim S. Henriksen, Gourinath Banda, John P. Gallagher

CoRR, 2007

2005

Techniques for Scaling Up Analyses Based on Pre-interpretations.

John P. Gallagher, Kim S. Henriksen, Gourinath Banda

Proceedings of the Logic Programming, 21st International Conference, 2005