Model-driven engineering for mission-critical iot systems F Ciccozzi, I Crnkovic, D Di Ruscio, I Malavolta, P Pelliccione, ... IEEE software 34 (1), 46-53, 2017 | 138 | 2017 |
Mde4iot: supporting the internet of things with model-driven engineering F Ciccozzi, R Spalazzese International Symposium on Intelligent and Distributed Computing, 67-76, 2016 | 136 | 2016 |
Self-adaptive IoT Architectures: an Emergency Handling Case Study H Muccini, R Spalazzese, MT Moghaddam, M Sharaf Proceedings of the 12th European Conference on Software Architecture …, 2018 | 67 | 2018 |
Self-adaptive IoT Architectures: An Emergency Handling Case Study H Muccini, R Spalazzese, MT Moghaddam, M Sharaf 12th European Conference on Software Architecture, Madrid, Spain (September …, 2018 | 67 | 2018 |
Edge computing simulators for iot system design: An analysis of qualities and metrics M Ashouri, F Lorig, P Davidsson, R Spalazzese Future Internet 11 (11), 235, 2019 | 59 | 2019 |
Architecting emergent configurations in the internet of things F Alkhabbas, R Spalazzese, P Davidsson 2017 IEEE International Conference on Software Architecture (ICSA), 221-224, 2017 | 56 | 2017 |
What are IoT systems for real? An experts’ survey on software engineering aspects G Reggio, M Leotta, M Cerioli, R Spalazzese, F Alkhabbas Internet of Things 12, 100313, 2020 | 48 | 2020 |
Synthesis and verification of self-aware computing systems R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ... Self-Aware Computing Systems, 337-373, 2017 | 44 | 2017 |
Mediating connector patterns for components interoperability R Spalazzese, P Inverardi European Conference on Software Architecture, 335-343, 2010 | 44 | 2010 |
Cloud, edge, or both? Towards decision support for designing IoT applications M Ashouri, P Davidsson, R Spalazzese 2018 Fifth International Conference on Internet of Things: Systems …, 2018 | 41 | 2018 |
Towards a formalization of mediating connectors for on the fly interoperability R Spalazzese, P Inverardi, V Issarny 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European …, 2009 | 38 | 2009 |
A theory of mediators for eternal connectors P Inverardi, V Issarny, R Spalazzese International Symposium On Leveraging Applications of Formal Methods …, 2010 | 37 | 2010 |
Characterizing internet of things systems through taxonomies: A systematic mapping study F Alkhabbas, R Spalazzese, P Davidsson Internet of Things 7, 100084, 2019 | 34 | 2019 |
What is an open IoT platform? Insights from a systematic mapping study B Vogel, Y Dong, B Emruli, P Davidsson, R Spalazzese Future Internet 12 (4), 73, 2020 | 32 | 2020 |
Application-layer connector synthesis P Inverardi, R Spalazzese, M Tivoli Formal Methods for Eternal Networked Software Systems: 11th International …, 2011 | 32 | 2011 |
A goal-driven approach for deploying self-adaptive IoT systems F Alkhabbas, I Murturi, R Spalazzese, P Davidsson, S Dustdar 2020 IEEE International Conference on Software Architecture (ICSA), 146-156, 2020 | 30 | 2020 |
Quality attributes in edge computing for the Internet of Things: A systematic mapping study M Ashouri, P Davidsson, R Spalazzese Internet of Things 13, 100346, 2021 | 29 | 2021 |
Automated synthesis of application-layer connectors from automata-based specifications M Autili, P Inverardi, R Spalazzese, M Tivoli, F Mignosi Journal of Computer and System Sciences 104, 17-40, 2019 | 28 | 2019 |
Towards an architecture for runtime interoperability A Bennaceur, G Blair, F Chauvel, H Gang, N Georgantas, P Grace, ... Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 28 | 2010 |
Synthesizing self-adaptive connectors meeting functional and performance concerns A Di Marco, P Inverardi, R Spalazzese 2013 8th International Symposium on Software Engineering for Adaptive and …, 2013 | 26 | 2013 |