Rahul Karmakar
University of Burdwan(IN)
Publications by Year
Research Areas
Formal Methods in Verification, Software Reliability and Analysis Research, Artificial Intelligence in Healthcare, Advanced Software Engineering Methodologies, Hydrological Forecasting Using AI
Most-Cited Works
- → A review on rainfall forecasting using ensemble learning techniques(2023)27 cited
- → A Prototype Modeling of Smart Irrigation System Using Event-B(2021)12 cited
- → Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design(2021)10 cited
- → Event-B Based Formal Modeling of a Controller: A Case Study(2020)10 cited
- → Elevating security and disease forecasting in smart healthcare through artificial neural synchronized federated learning(2024)9 cited
- → BCPUML: Breast Cancer Prediction Using Machine Learning Approach—A Performance Analysis(2023)9 cited
- → System Modeling Using Event-B: An Insight(2019)9 cited
- → Mapping UML Activity Diagram into Z Notation(2022)7 cited
- → Event Ordering Using Graphical Notation for Event-B Models(2020)7 cited
- → A graphical tool for formal verification using Event-B modeling(2023)6 cited