Segui
Romina Spalazzese
Romina Spalazzese
Assoc. Prof. in Computer Science at Malmö University
Email verificata su mau.se - Home page
Titolo
Citata da
Citata da
Anno
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
1412017
Mde4iot: supporting the internet of things with model-driven engineering
F Ciccozzi, R Spalazzese
International Symposium on Intelligent and Distributed Computing, 67-76, 2016
1362016
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
672018
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
672018
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
592019
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
572017
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
522020
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
442017
Mediating connector patterns for components interoperability
R Spalazzese, P Inverardi
European Conference on Software Architecture, 335-343, 2010
442010
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
422018
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
382009
A theory of mediators for eternal connectors
P Inverardi, V Issarny, R Spalazzese
International Symposium On Leveraging Applications of Formal Methods …, 2010
372010
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
352020
Characterizing internet of things systems through taxonomies: A systematic mapping study
F Alkhabbas, R Spalazzese, P Davidsson
Internet of Things 7, 100084, 2019
352019
Application-layer connector synthesis
P Inverardi, R Spalazzese, M Tivoli
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
322011
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
312021
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
312020
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
282019
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
282010
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
262013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20