Publications
Number of publications matching the search criterion: 10
Licentiate Thesis (1)
Formally Assured Intelligent Systems for Enhanced Ambient Assisted Living Support (Apr 2019) Ashalatha Kunnappilly
Journal article (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 (8)
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)
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models (Oct 2017) Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu, Jonatan Larsson , Cristina Seceleanu 29th Nordic Workshop on Programming Theory (NWPT'17)
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)
Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL (Mar 2017) Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu, Daniel Sundmark ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)
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 )
Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis (Sep 2016) Raluca Marinescu, Saad Mubeen, Cristina Seceleanu 42nd Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2016)
