Ministry of Education
Vidvan Image

Dr Gourinath Banda

vidwan id: 93759
Male

Associate Professor, Department of Computer Science and Engineering
Indian Institute of Technology Indore

Orchid Icon 0000-0003-1447-4330 Google Scholar Icon 8978044300

Expertise

  • Computer Science Cybernetics

Publications

Total Articles 24
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 114
h-index 5

CrossRef

CrossRef Icon
Citations 76
h-index 5
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Cyber Physical Systems, Internet of Things, Verification of Embedded Systems (Infinite State Systems), Model Checking, Abstract Interpretation, Temporal Logics, Real-time kernel design

Personal Details

  • Male
  • Associate Professor , Indian Institute of Technology Indore
  • IIT Indore
PhD
Other Institute 2010
Associate Professor Jul 2013 – Present
Indian Institute of Technology Indore | Department of Computer Science and Engineering

Related Profiles

Experts (882+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (227+)

View All
Bhargav Pradeep

Dr Bhargav Pradeep Vaidya

Associate Professor

Bodhisatwa

Dr Bodhisatwa Mazumdar

Assistant Professor

Prathap Reddy

Dr Prathap Reddy Bhimireddy

Assistant Professor (Grade-I)

Ramu

Dr Ramu Baadiga

Assistant Professor (Grade-II)

Ayan

Dr Ayan Mondal

Assistant Professor

Avinash

Dr Avinash Sonavane

Professor

Abhishek

Dr Abhishek shrivastava

Professor

Ashootosh Sakharam

Dr Ashootosh Sakharam Mandpe

Assistant Professor (Grade-II)

Mohd.

Dr Mohd. Arshad

Assistant Professor

Aruna

Dr Aruna Tiwari

Professor

Co-Authors (4)

Ansuman

Prof Ansuman Bhattacharya

N/A

Atul

Dr Atul Thakur

Indian Institute of Technology Patna

Raju

Dr Raju Halder

Indian Institute of Technology Patna

Neminath

Prof Neminath Hubballi

Indian Institute of Technology Indore

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

SYSTEM AND METHOD FOR ELECTRICAL ENERGY CONSERVATION

IIT Indore
Engineering and Technology Patent No. : 337030 Filed : 28-10-2015
Published : 18-05-2020 Granted

Systems and methods for providing safe confluence modality

Samsung
Engineering and Technology Patent No. : US9342354B2 Filed : 05-07-2013
Published : 17-05-2016 Granted

Scholarly Publications

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

Open Access
Article
IEEE Access. Year: 2025. Volume: 13 , Pages: 116803-116817 .
Authors: Gupta N.;Banda G.;Hubballi N.;Srinivas K.V.
DOI 10.1109/ACCESS.2025.3586018

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

Open Access
Conference Paper
Year: 2025. Issue: 2025 , Pages: 1166-1171 .
Authors: Sharma R.;Banda G.
DOI 10.1109/COMSNETS63942.2025.10885561
1

Demonstration of an Application Layer Omni-frequency IoT Protocol

Open Access
Conference Paper
Year: 2025. Issue: 2025 , Pages: 1356-1358 .
Authors: Gupta N.;Peddamalla L.;Mendu V.S.P.;Banda G.
DOI 10.1109/COMSNETS63942.2025.10885672

Responsibility Index System (RISE): Enhancing Food Security and Safety with a Transparent, Blockchain-Based Accountability Framework

Open Access
Conference Paper
Year: 2025. Issue: 2025 .
Authors: Sharma R.;Banda G.
DOI 10.1109/SusTech63138.2025.11025676

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

Open Access
Conference Paper
Year: 2025. Issue: 2025 , Pages: 514-522 .
Authors: Agrawal K.;Rohan J.;Luthra N.;Sekhar P.V.;Sharma H.;Banda G.
DOI 10.1109/COMSNETS63942.2025.10885560

ElasticPay: Instant Peer-to-Peer Offline Extended Digital Payment System

Open Access
Article
Year: 2024. Volume: 24 , Issue: 24 .
Authors: Reddy A.V.S.K.;Banda G.
DOI 10.3390/s24248034

SIRD-YOLO: an enhanced deep learning model for weapon detection using spatial interactions and diverse receptive fields

Open Access
Article
Innovations in Systems and Software Engineering. Year: 2024.
Authors: Yadav R.;Halder R.;Thakur A.;Banda G.
DOI 10.1007/s11334-024-00580-3

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

Open Access
Article
PeerJ Computer Science. Year: 2024. Volume: 10 , Pages: 1-28 .
Authors: Gupta N.;Banda G.;Bommakanti K.C.;Kothapalli V.S.
DOI 10.7717/peerj-cs.2480