​
Login / Signup
Kaustabha Ray
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 15
Top Topics
Model Checking
Formal Methods
Allocation Policies
Temporal Properties
Top Venues
IEEE Trans. Netw. Serv. Manag.
ICSOC
ICWS
ACM Trans. Embed. Comput. Syst.
</>
Publications
</>
Kaustabha Ray
,
Ansuman Banerjee
,
Nanjangud C. Narendra
Learning-Based Microservice Placement and Migration for Multi-Access Edge Computing.
IEEE Trans. Netw. Serv. Manag.
21 (2) (2024)
Kaustabha Ray
,
Ansuman Banerjee
Autonomous Automotives on the Edge.
VLSID
(2024)
Kaustabha Ray
,
Ansuman Banerjee
Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking.
IEEE Trans. Dependable Secur. Comput.
20 (1) (2023)
Niteesh Dubey
,
Joefon Jann
,
Pratap Pattnaik
,
Joseph F. Prisco
,
Mike Petrich
,
Kaustabha Ray
,
Umamaheswari Devi
,
Aanchal Goyal
,
Arthur Parkos
,
Stacey Gifford
Modeling and Estimation of LPAR Energy Consumption for IBM POWER9 Systems.
MASCOTS
(2023)
Kaustabha Ray
Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach.
ICWS
(2023)
Kaustabha Ray
,
Ansuman Banerjee
Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking.
QEST
(2022)
Kaustabha Ray
,
Ansuman Banerjee
,
Swarup Kumar Mohalik
Service Selection With Package Bundles and Compatibility Constraints.
IEEE Trans. Serv. Comput.
15 (5) (2022)
Kaustabha Ray
,
Ansuman Banerjee
A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing.
EDGE
(2021)
Kaustabha Ray
,
Ansuman Banerjee
Horizontal Auto-Scaling for Multi-Access Edge Computing Using Safe Reinforcement Learning.
ACM Trans. Embed. Comput. Syst.
20 (6) (2021)
Subrat Prasad Panda
,
Kaustabha Ray
,
Ansuman Banerjee
Service Allocation/Placement in Multi-Access Edge Computing with Workload Fluctuations.
ICSOC
(2021)
Kaustabha Ray
,
Ansuman Banerjee
Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking.
IEEE Trans. Netw. Serv. Manag.
18 (3) (2021)
Kaustabha Ray
,
Ansuman Banerjee
,
Nanjangud C. Narendra
Proactive Microservice Placement and Migration for Mobile Edge Computing.
SEC
(2020)
Kaustabha Ray
,
Ansuman Banerjee
Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing.
ICWS
(2020)
Subrat Prasad Panda
,
Kaustabha Ray
,
Ansuman Banerjee
Dynamic Edge User Allocation with User Specified QoS Preferences.
ICSOC
(2020)
Kaustabha Ray
,
Ansuman Banerjee
,
Swarup Kumar Mohalik
Web Service Selection with Correlations: A Feature-Based Abstraction Refinement Approach.
SOCA
(2019)