Rahul Karmakar

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Formal Verification

Sentiment Analysis

Top Venues

Multim. Tools Appl.

SN Comput. Sci.

Publications

Rahul Karmakar, Udita Ghosh, Arpita Pal, Sattwiki Dey, Debraj Malik, Priyabrata Sain
A data balancing approach towards design of an expert system for Heart Disease Prediction. CoRR (2024)
Indranil Bandyopadhyay, Rahul Karmakar
Deep Learning-based Sentiment Analysis of Olympics Tweets. CoRR (2024)
Arindam Sarkar, Rahul Karmakar, Mandira Roy
GAN-guided artificial neural collaborative complex computation for efficient neural synchronization. Multim. Tools Appl. 83 (9) (2024)
Rahul Karmakar
A graphical tool for formal verification using Event-B modeling. Multim. Tools Appl. 83 (4) (2024)
Rahul Karmakar, Subhranil Chatterjee, Akhil Kumar Das, Ardhendu Mandal
BCPUML: Breast Cancer Prediction Using Machine Learning Approach - A Performance Analysis. SN Comput. Sci. 4 (4) (2023)
Tao Hai, Arindam Sarkar, Rahul Karmakar, Mohammad Zubair Khan, Ayman Noor, Talal H. Noor, Abhinav Kumar, A. Yvaz
Neural session key exchange in the Industrial Internet of Things using hyperchaotic-guided vector-valued artificial neural synchronization. Eng. Appl. Artif. Intell. 125 (2023)
Rahul Karmakar
Formal Verification Techniques: A Comparative Analysis for Critical System Design. ISDA (2021)
Rahul Karmakar, Bidyut Biman Sarkar
A Prototype Modeling of Smart Irrigation System Using Event-B. SN Comput. Sci. 2 (1) (2021)
Susmita Guha, Akash Nag, Rahul Karmakar
Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design. ISDA (2020)
Rahul Karmakar, Bidyut Biman Sarkar, Nabendu Chaki
Event Ordering Using Graphical Notation for Event-B Models. CISIM (2020)