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 | 97 | 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 | 95 | 2016 |
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 | 46 | 2017 |
Mediating connector patterns for components interoperability R Spalazzese, P Inverardi European Conference on Software Architecture, 335-343, 2010 | 42 | 2010 |
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 | 40 | 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 | 39 | 2009 |
Synthesis and verification of self-aware computing systems R Calinescu, M Autili, J Cámara, AD Marco, S Gerasimou, P Inverardi, ... Self-Aware Computing Systems, 337-373, 2017 | 38 | 2017 |
A theory of mediators for eternal connectors P Inverardi, V Issarny, R Spalazzese International Symposium On Leveraging Applications of Formal Methods …, 2010 | 34 | 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 | 32 | 2018 |
Application-layer connector synthesis P Inverardi, R Spalazzese, M Tivoli International School on Formal Methods for the Design of Computer …, 2011 | 30 | 2011 |
Towards an architecture for runtime interoperability A Bennaceur, G Blair, F Chauvel, H Gang, N Georgantas, P Grace, ... International Symposium On Leveraging Applications of Formal Methods …, 2010 | 28 | 2010 |
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 | 27 | 2019 |
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 | 25 | 2019 |
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis V Cortellessa, P Pierini, R Spalazzese, A Vianale International Conference on the Quality of Software Architectures, 86-102, 2008 | 24 | 2008 |
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 | 23 | 2013 |
Adaptive exchange of distributed partial models@ run. time for highly dynamic systems S Götz, I Gerostathopoulos, F Krikava, A Shahzada, R Spalazzese 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015 | 19 | 2015 |
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 | 18 | 2020 |
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 | 18 | 2020 |
Characterizing Internet of Things systems through taxonomies: A systematic mapping study F Alkhabbas, R Spalazzese, P Davidsson Internet of Things 7, 100084, 2019 | 17 | 2019 |
Eco-iot: An architectural approach for realizing emergent configurations in the internet of things F Alkhabbas, R Spalazzese, P Davidsson European Conference on Software Architecture, 86-102, 2018 | 16 | 2018 |