CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly. - Alexandru Sorici; Imad Alex Awada; Ashalatha Kunnappilly; Irina Mocanu; Oana Cramariuc; L. Malicki; Cristina Seceleanu; Adina Florea (HealthyIoT, 2016)

Do We Need an Integrated Framework for Ambient Assisted Living? - Ashalatha Kunnappilly; Cristina Seceleanu; Maria Lindén (UCAmI (2), 2016)

A Novel Integrated Architecture for Ambient Assisted Living Systems. - Ashalatha Kunnappilly; Alexandru Sorici; Imad Alex Awada; Irina Mocanu; Cristina Seceleanu; Adina Magda Florea (COMPSAC (1), 2017)

Analyzing ambient assisted living solutions: A research perspective. - Ashalatha Kunnappilly; Axel Legay; Tiziana Margaria; Cristina Cerschi Seceleanu; Bernhard Steffen; Louis-Marie Traonouez (DTIS, 2017)

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking. - Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu (ISoLA (2), 2018)

A formally assured intelligent ecosystem for enhanced ambient assisted living support. - Ashalatha Kunnappilly (SAC, 2018)

A Systematic Mapping Study on Real-Time Cloud Services. - Jakob Danielsson; Nandinbaatar Tsog; Ashalatha Kunnappilly (UCC Companion, 2018)

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. - Ashalatha Kunnappilly; Simin Cai; Raluca Marinescu; Cristina Seceleanu (ENASE, 2019)

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. - Ashalatha Kunnappilly; Raluca Marinescu; Cristina Seceleanu (Sensors, 2019)

UML-based Modeling and Analysis of 5G Service Orchestration. - Ashalatha Kunnappilly; Peter Backeman; Cristina Seceleanu (APSEC, 2020)

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration. - Ashalatha Kunnappilly; Peter Backeman; Cristina Seceleanu (ECBS, 2021)

Modeling and Formal Analysis of e-Health Systems. - Ashalatha Kunnappilly (2021)

Supporting 5G service orchestration with formal verification. - Peter Backeman; Ashalatha Kunnappilly; Cristina Seceleanu (Comput. Sci. Inf. Syst., 2023)