| 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 | 15 | 2017 |
| 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 | 14 | 2016 |
| A model-checking-based framework for analyzing ambient assisted living solutions A Kunnappilly, R Marinescu, C Seceleanu Sensors 19 (22), 5057, 2019 | 11 | 2019 |
| 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 | 11 | 2018 |
| 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 | 10 | 2021 |
| Modeling and formal analysis of e-health systems A Kunnappilly PQDT-Global, 2021 | 5 | 2021 |
| 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 | 5 | 2019 |
| 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 | 5 | 2016 |
| 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 | 4 | 2020 |
| 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 | 4 | 2018 |
| Assuring intelligent ambient assisted living solutions by statistical model checking A Kunnappilly, R Marinescu, C Seceleanu International Symposium on Leveraging Applications of Formal Methods, 457-476, 2018 | 4 | 2018 |
| 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 | 3 | 2017 |
| Supporting 5g service orchestration with formal verification P Backeman, A Kunnappilly, C Seceleanu Computer Science and Information Systems 20 (1), 329-357, 2023 | 1 | 2023 |
| 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 | 1 | 2021 |
| 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 | | |
Cristina SeceleanuProfessor of Computer Science, Mälardalen UniversityVerified email at mdu.se
