Rahul Karmakar

According to our database, Rahul Karmakar authored at least 8 papers between 2020 and 2024.

Collaborative distances:

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

2024

GAN-guided artificial neural collaborative complex computation for efficient neural synchronization.

Arindam Sarkar, Rahul Karmakar, Mandira Roy

Multim. Tools Appl., March, 2024

A graphical tool for formal verification using Event-B modeling.

Rahul Karmakar

Multim. Tools Appl., January, 2024

2023

BCPUML: Breast Cancer Prediction Using Machine Learning Approach - A Performance Analysis.

Rahul Karmakar, Subhranil Chatterjee, Akhil Kumar Das, Ardhendu Mandal

SN Comput. Sci., July, 2023

Neural session key exchange in the Industrial Internet of Things using hyperchaotic-guided vector-valued artificial neural synchronization.

Tao Hai, Arindam Sarkar, Rahul Karmakar, Mohammad Zubair Khan, Ayman Noor, Talal H. Noor, Abhinav Kumar, A. Yvaz

Eng. Appl. Artif. Intell., 2023

2021

A Prototype Modeling of Smart Irrigation System Using Event-B.

Rahul Karmakar, Bidyut Biman Sarkar

SN Comput. Sci., 2021

Formal Verification Techniques: A Comparative Analysis for Critical System Design.

Rahul Karmakar

Proceedings of the Intelligent Systems Design and Applications, 2021

2020

Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design.

Susmita Guha, Akash Nag, Rahul Karmakar

Proceedings of the Intelligent Systems Design and Applications, 2020

Event Ordering Using Graphical Notation for Event-B Models.

Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki

Proceedings of the Computer Information Systems and Industrial Management, 2020