Follow
Ashalatha Kunnappilly
Ashalatha Kunnappilly
PhD Student
Verified email at mdh.se
Title
Cited by
Cited by
Year
An end-user perspective on the CAMI Ambient and Assisted Living Project
IA Awada, O Cramariuc, I Mocanu, C Seceleanu, A Kunnappilly, ...
INTED2018 Proceedings, 6776-6785, 2018
122018
A novel integrated architecture for ambient assisted living systems
A Kunnappilly, A Sorici, IA Awada, I Mocanu, C Seceleanu, AM Florea
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017
122017
Do we need an integrated framework for ambient assisted living?
A Kunnappilly, C Seceleanu, M Lindén
Ubiquitous Computing and Ambient Intelligence: 10th International Conference …, 2016
122016
A model-checking-based framework for analyzing ambient assisted living solutions
A Kunnappilly, R Marinescu, C Seceleanu
Sensors 19 (22), 5057, 2019
112019
From UML modeling to UPPAAL model checking of 5G dynamic service orchestration
A Kunnappilly, P Backeman, C Seceleanu
7th Conference on the Engineering of Computer Based Systems, 1-10, 2021
92021
CAMI-An Integrated Architecture Solution for Improving Quality of Life of the Elderly
A Sorici, IA Awada, A Kunnappilly, I Mocanu, O Cramariuc, L Malicki, ...
Internet of Things Technologies for HealthCare: Third International …, 2016
52016
Uml-based modeling and analysis of 5g service orchestration
A Kunnappilly, P Backeman, C Seceleanu
2020 27th Asia-Pacific Software Engineering Conference (APSEC), 129-138, 2020
42020
Architecture modelling and formal analysis of intelligent multi-agent systems
A Kunnappilly, S Cai, R Marinescu, C Seceleanu
14th International Conference on Evaluation of Novel Approaches to Software …, 2019
42019
A systematic mapping study on real-time cloud services
J Danielsson, N Tsog, A Kunnappilly
2018 IEEE/ACM International Conference on Utility and Cloud Computing …, 2018
42018
Assuring intelligent ambient assisted living solutions by statistical model checking
A Kunnappilly, R Marinescu, C Seceleanu
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
42018
Modeling and formal analysis of e-health systems
A Kunnappilly
PQDT-Global, 2021
32021
Analyzing ambient assisted living solutions: a research perspective
A Kunnappilly, A Legay, T Margaria, C Seceleanu, B Steffen, ...
2017 12th International Conference on Design & Technology of Integrated …, 2017
22017
5G Service Orchestration Supported by Model Checking-A Case Study of Health Applications
A Kunnappilly, P Backeman, C Seceleanu, M Johanson
Mälardalens högskola, 2021
12021
Supporting 5G service orchestration with formal verification
P Backeman, A Kunnappilly, C Seceleanu
Computer Science and Information Systems 20 (1), 329-357, 2023
2023
A formally assured intelligent ecosystem for enhanced ambient assisted living support
A Kunnappilly
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1581-1582, 2018
2018
Correction to: Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking
A Kunnappilly, R Marinescu, C Seceleanu
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
2018
The 41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)
A Kunnappilly, A Sorici, IA Awada, I Mocanu, C Seceleanu, AM Florea
2017
Supporting 5G Service Orchestration with Formal
P Backeman, A Kunnappilly, C Seceleanu
The system can't perform the operation now. Try again later.
Articles 1–18