Ashalatha Kunnappilly

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