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
1302017
Mde4iot: supporting the internet of things with model-driven engineering
F Ciccozzi, R Spalazzese
International Symposium on Intelligent and Distributed Computing, 67-76, 2016
1292016
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
632018
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
632018
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
562017
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
502019
Mediating connector patterns for components interoperability
R Spalazzese, P Inverardi
European Conference on Software Architecture, 335-343, 2010
442010
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
432020
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
432017
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
402018
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
Characterizing internet of things systems through taxonomies: A systematic mapping study
F Alkhabbas, R Spalazzese, P Davidsson
Internet of Things 7, 100084, 2019
332019
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
322020
Application-layer connector synthesis
P Inverardi, R Spalazzese, M Tivoli
Formal Methods for Eternal Networked Software Systems: 11th Internationalá…, 2011
322011
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
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
272019
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
262021
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
262020
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
252013
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20