Romina Spalazzese
Romina Spalazzese
Assoc. Prof. at Malmö University
Verifierad e-postadress på univaq.it - Startsida
TitelCiteras avÅr
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
Mediating connector patterns for components interoperability
R Spalazzese, P Inverardi
European Conference on Software Architecture, 335-343, 2010
372010
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
352017
A theory of mediators for eternal connectors
P Inverardi, V Issarny, R Spalazzese
International Symposium On Leveraging Applications of Formal Methods …, 2010
322010
MDE4IoT: supporting the internet of things with model-driven engineering
F Ciccozzi, R Spalazzese
International Symposium on Intelligent and Distributed Computing, 67-76, 2016
282016
Application-layer connector synthesis
P Inverardi, R Spalazzese, M Tivoli
International School on Formal Methods for the Design of Computer …, 2011
272011
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
262010
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
222008
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
192017
Synthesizing self-adaptive connectors meeting functional and performance concerns
A Di Marco, P Inverardi, R Spalazzese
Proceedings of the 8th International Symposium on Software Engineering for …, 2013
162013
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
152017
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, 2019
112019
Adaptive exchange of distributed partial models@ run. time for highly dynamic systems
S Götz, I Gerostathopoulos, F Krikava, A Shahzada, R Spalazzese
Proceedings of the 10th International Symposium on Software Engineering for …, 2015
112015
On-the-fly interoperability through automated mediator synthesis and monitoring
A Bertolino, P Inverardi, V Issarny, A Sabetta, R Spalazzese
International Symposium On Leveraging Applications of Formal Methods …, 2010
112010
On-the-fly dependable mediation between heterogeneous networked systems
A Bertolino, A Calabrò, F Di Giandomenico, N Nostro, P Inverardi, ...
International Conference on Software and Data Technologies, 20-37, 2011
102011
Inferring affordances using learning techniques
A Bennaceur, R Johansson, A Moschitti, R Spalazzese, D Sykes, R Saadi, ...
International Workshop on Eternal Systems, 79-87, 2011
92011
Achieving functional and non functional interoperability through synthesized connectors
N Nostro, R Spalazzese, F Di Giandomenico, P Inverardi
Journal of Systems and Software 111, 185-199, 2016
82016
Components Interoperability through Mediating Connector Patterns
R Spalazzese, P Inverardi
arXiv preprint arXiv:1010.2825, 2010
82010
Emergent configurations in the internet of things as system of systems
F Alkhabbas, R Spalazzese, P Davidsson
2017 IEEE/ACM Joint 5th International Workshop on Software Engineering for …, 2017
72017
Towards mediator connectors for application level interoperability
R Spalazzese
72009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20