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
372009
Mediating connector patterns for components interoperability
R Spalazzese, P Inverardi
European Conference on Software Architecture, 335-343, 2010
362010
A theory of mediators for eternal connectors
P Inverardi, V Issarny, R Spalazzese
International Symposium On Leveraging Applications of Formal Methods …, 2010
312010
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
282017
Application-layer connector synthesis
P Inverardi, R Spalazzese, M Tivoli
International School on Formal Methods for the Design of Computer …, 2011
262011
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
MDE4IoT: supporting the internet of things with model-driven engineering
F Ciccozzi, R Spalazzese
International Symposium on Intelligent and Distributed Computing, 67-76, 2016
252016
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
212008
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
152013
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
142017
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
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
102019
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
102015
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
Components Interoperability through Mediating Connector Patterns
R Spalazzese, P Inverardi
arXiv preprint arXiv:1010.2825, 2010
82010
Towards mediator connectors for application level interoperability
R Spalazzese
ESEC/FSE Doctoral Symposium'09, 35-36, 2009
72009
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
62017
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
62016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20