Ashalatha Kunnappilly

According to our database, Ashalatha Kunnappilly authored at least 13 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Supporting 5G service orchestration with formal verification.

Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu

Comput. Sci. Inf. Syst., 2023

2021

Modeling and Formal Analysis of e-Health Systems.

Ashalatha Kunnappilly

PhD thesis, 2021

From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration.

Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

2020

UML-based Modeling and Analysis of 5G Service Orchestration.

Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions.

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu

Sensors, 2019

Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.

Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

A Systematic Mapping Study on Real-Time Cloud Services.

Jakob Danielsson, Nandinbaatar Tsog, Ashalatha Kunnappilly

Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018

A formally assured intelligent ecosystem for enhanced ambient assisted living support.

Ashalatha Kunnappilly

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.

Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

Analyzing ambient assisted living solutions: A research perspective.

Ashalatha Kunnappilly, Axel Legay, Tiziana Margaria, Cristina Cerschi Seceleanu, Bernhard Steffen, Louis-Marie Traonouez

Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

A Novel Integrated Architecture for Ambient Assisted Living Systems.

Ashalatha Kunnappilly, Alexandru Sorici, Imad Alex Awada, Irina Mocanu, Cristina Seceleanu, Adina Magda Florea

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Do We Need an Integrated Framework for Ambient Assisted Living?

Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén

Proceedings of the Ubiquitous Computing and Ambient Intelligence, 2016

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

Proceedings of the Internet of Things Technologies for HealthCare, 2016