Ashalatha Kunnappilly

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Ambient Intelligence

Formal Verification

Ambient Assisted Living

Top Venues

Publications

Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu
Supporting 5G service orchestration with formal verification. Comput. Sci. Inf. Syst. 20 (1) (2023)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. ECBS (2021)
Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu
UML-based Modeling and Analysis of 5G Service Orchestration. APSEC (2020)
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. Sensors 19 (22) (2019)
Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. ENASE (2019)
Ashalatha Kunnappilly
A formally assured intelligent ecosystem for enhanced ambient assisted living support. SAC (2018)
Jakob Danielsson, Nandinbaatar Tsog, Ashalatha Kunnappilly
A Systematic Mapping Study on Real-Time Cloud Services. UCC Companion (2018)
Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. ISoLA (2) (2018)
Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez
Analyzing ambient assisted living solutions: A research perspective. DTIS (2017)
Ashalatha Kunnappilly, Alexandru Sorici, Imad Alex Awada, Irina Mocanu, Cristina Seceleanu, Adina Magda Florea
A Novel Integrated Architecture for Ambient Assisted Living Systems. COMPSAC (1) (2017)
Alexandru Sorici, Imad Alex Awada, Ashalatha Kunnappilly, Irina Mocanu, Oana Cramariuc, L. Malicki, Cristina Seceleanu, Adina Florea
CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly. HealthyIoT (2016)
Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén
Do We Need an Integrated Framework for Ambient Assisted Living? UCAmI (2) (2016)