Publications
Number of publications matching the search criterion: 16
Licentiate Thesis (1)
Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support (Apr 2019) Ashalatha Kunnappilly
Journal article (2)
Supporting 5G Service Orchestration with Formal Verification (Mar 2023) Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu Computer Science and Information Systems (ComSIS,10(1))
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)
Conference/Workshop Paper (9)
From UML Modeling to UPPAAL Model checking of 5G Dynamic Service Orchestration (May 2021) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu 7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)
UML-based Modeling and Analysis of 5G Service Orchestration (Nov 2020) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020)
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)
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)
An end- user perspective on the CAMI Ambient and Assisted Living Project (Mar 2018) Imad Alex Awada , Oana Cramariuc , Irina Mocanu , Cristina Seceleanu, Ashalatha Kunnappilly, Adina Magda Florea 12th annual International Technology, Education and Development Conference (INTED 2018)
A Novel Integrated Architecture for Ambient Assisted Living Systems (Jul 2017) Ashalatha Kunnappilly, Alexandru Sorici , Imad Alex Awada , Irina Mocanu , Cristina Seceleanu, Adina Magda Florea The 41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017)
Analyzing Ambient Assisted Living Solutions: A Research Perspective (Apr 2017) Ashalatha Kunnappilly, Axel Legay , Tiziana Margaria , Cristina Seceleanu, Bernhard Steffen , Louis-Marie Tranonouez 12th International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2017)
Do we need an integrated framework for Ambient Assisted Living ? (Nov 2016) Ashalatha Kunnappilly, Cristina Seceleanu, Maria Lindén 10th International Conference on Ubiquitous Computing & Ambient Intelligence & International Work-Conference on Ambient Assisted Living (UCAmI & IWAAL )
Report - MRTC (2)
5G Service Orchestration Supported by Model Checking - A Case Study of Health Applications (Sep 2021) Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu, Mathias Johanson MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2021)
A Model-Checking-Based Framework For Analyzing Ambient Assisted Living Solutions (Mar 2019) Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu
Other (2)
A Formally Assured Intelligent Ecosystem for Enhanced Ambient Assisted Living Support (Apr 2018) Ashalatha Kunnappilly The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018)
CAMI - An Integrated Architecture Solution for Improving Quality of Life of the Elderly (Oct 2016) Alexandru Sorici , Imad Alex Awada , Ashalatha Kunnappilly, Irina Mocanu , Oana Cramariuc , Lukasz Malicki , Cristina Seceleanu, Adina Magda Florea The 3rd EAI International Conference on IoT Technologies for HealthCare (HealthyIoT'16)
