Ashalatha Kunnappilly, Doctoral student
Ashalatha is a doctoral student at Mälardalen University since December 2015. She is also a memebr of the Doctoral Student Council at Mälardalen University.
She has her Master Degree in Embedded Systems from Amrita Vishvavidyapeetham University, India (2011-2013) . Her bachelor degree is in Electronics and Communication from Mahatma Gandhi University, India (2007-2011).
Ashalatha's research interests include Ambient Intelligence, Formal Modelling and Analayis of Embedded Systems, Assisted Living Technologies, and Cyber Physical Systems.
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Nov 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu Sensors Special Issue IoT Sensors in E-Health (Sensors)
Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems (May 2019) Ashalatha Kunnappilly, Simin Cai, Cristina Seceleanu, Raluca Marinescu 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019)
Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support (Apr 2019) Ashalatha Kunnappilly
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Mar 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
A Systematic Mapping Study on Real-time Cloud Services (Dec 2018) Jakob Danielsson, Nandinbaatar Tsog, Ashalatha Kunnappilly Quality Assurance in the Context of Cloud Computing (QA3C 2018)
Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking (Oct 2018) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
| Thesis Title | Status |
|---|---|
| Master Thesis: Implementation of a Decision Support System for an Ambient Assisted Living System | available |