Context-Aware Fault Classification for Multi-Access Edge Computing: A Formal Methods Perspective
- 2024
- IEEE TNSM
Bio
Kaustabha Ray received his PhD from Indian Statistical Institute, Kolkata. His areas of research involve Optimization, Formal Verification, Formal Synthesis, Reinforcement Learning applied to Cloud and Edge Systems. He has published in several leading international conferences and journals.
Publications
Modeling and Estimation of LPAR Energy Consumption for IBM POWER9 Systems
- Niteesh Dubey
- Joefon Jann
- et al.
- 2023
- MASCOTS 2023
Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach
- 2023
- ICWS 2023
Projects
Sustainable Computing
Quantification, assessment, and optimization of carbon emissions in hybrid multicloud environments
Top collaborators
UD
Umamaheswari Devi
Research Staff Member