Publications

2017

26)  R. Spalazzese, P. Pelliccione, U. Eklund. INTERO: an Interoperability Model for Large Systems.
IEEE Software, 2017, to appear. Available at: http://ieeexplore.ieee.org/document/7950888/


25)  F. Alkhabbas, R. Spalazzese, P. Davidsson. Architecting Emergent Configurations in the Internet of Things. IEEE International Conference on Software Architecture, ICSA 2017: 221-224.


24)  R.-C. Mihailescu, R. Spalazzese, C. H., P. Davidsson. A Role-Based Approach for Orchestrating Emergent Configurations in the Internet of Things. In Internet of Agents Workshop 2017 (IoA@AAMAS 2017), LNAI-LNCS / CCIS, to appear.


23)  F. Alkhabbas, R. Spalazzese, P. Davidsson. Emergent Configurations in the Internet of Things as Systems of Systems. Joint International Workshop on Software Engineering for Systems-of-Systems and Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (SESoS/WDES 2017), JSOS@ICSE 2017: 70-71.


22)  F. Ciccozzi, I. Crnkovic, D. Di Ruscio, I. Malavolta, P. Pelliccione, R. Spalazzese. Model-Driven Engineering for Mission-Critical IoT Systems. IEEE Software 34(1): 46-53 (2017).

21)  R. Calinescu, M. Autili, J Cámara, A. Di Marco, S. Gerasimo, P. Inverardi, A. Perucci, N. Jansen, J.-P. Katoen, M. Kwiatkowska, O. J. Mengshoel, R. Spalazzese, and M. Tivoli. Synthesis and Verification of Self-aware Computing Systems. Self-aware Computing Systems (SACS), pages 337–373. Springer International Publishing, Cham, 2017.


2016

20)  F. Ciccozzi, R. Spalazzese. MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering. International Symposium on Intelligent Distributed Computing (IDC’16), IDC 2016: 67-76, 2016.


19)  N. Nostro, R. Spalazzese, F. Di Giandomenico, P. Inverardi. Achieving Functional and Non Functional Interoperability through Synthesized Connectors. Journal of Systems and Software (JSS) 111: 185-199 (2016).


2015

18)  S. Götz, I. Gerostathopoul, F. Krikava, A. Shahzada, R. Spalazzese. Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems. In SEAMS 2015 - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 64-70, IEEE Press, Piscataway, NJ, USA.

17)  M. Autili, P. Inverardi, F. Mignosi, R. Spalazzese, M. Tivoli. Automated Synthesis of Application-layer Connectors from Automata-based Specifications. In LATA 2015 - International Conference on Language and Automata Theory and Applications, LNCS vol. 8977. pp. 3-24.


2013

16)  A. Di Marco, P. Inverardi, and R. Spalazzese. Synthesizing Self-Adaptive Connectors meeting Functional and Performance Concerns. In International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), pp. 133-142, IEEE Press, Piscataway, NJ, USA. --- See the Teaser Video :)


2012

15)  A. Bertolino, A. Calabro', F. Di Giandomenico, N. Nostro, P. Inverardi, and R. Spalazzese. On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. In International Conference on Software and Data Technologies (ICSOFT 2011), CCIS 303, pp. 20-37, 2012. Springer-Verlag Berlin Heidelberg 2012.

14)  A. Bennaceur, V. Issarny, R. Spalazzese, S. Tyagi. Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case. In International Semantic Web Conference (ISWC 2012), Part II, LNCS 7650, pp. 17–33, 2012. Springer-Verlag Berlin Heidelberg 2012.

13)  A. Bennaceur, V. Issarny, R. Johansson, A. Moschitti, D. Sykes, R. Spalazzese. Machine Learning for Automatic Classification of Web Service Interface Descriptions. In ISOLA 2011, CCIS 336, pp. 220-231. Heidelberg, 2012.

12)  A. Bennaceur, R. Johansson, A. Moschitti, R. Spalazzese, D. Sykes, R. Saadi, V. Issarny. Inferring Affordances Using Learning Techniques. In EternalS 2011, Communications in Computer and Information Science (CCIS), Volume 255, pp 79-87, Springer (2012).
[Book Chapter] DOI:http://dx.doi.org/10.1007/978-3-642-28033-7_7

11)  A. Bennaceur, P. Inverardi, V. Issarny, R. Spalazzese. Automated Synthesis of CONNECTors to support Software Evolution. ERCIM News volume 2012(88), 2012.
Available online at: http://ercim-news.ercim.eu/


2011

10)  A. Bennaceur, V. Issarny, R. Johansson, A. Moschitti, R. Spalazzese, D. Sykes. Automatic Service Categorisation through Machine Learning in Emergent Middleware. In Formal Methods for Components and Objects (FMCO) Springer Berlin, LNCS vol. 7542, p. 133-149.
DOI: http://dx.doi.org/10.1007/978-3-642-35887-6_7


9)  P. Inverardi, R. Spalazzese and M. Tivoli. Application-Layer Connector Synthesis. In M. Bernardo and V. Issarny (editors). Formal Methods for Eternal Networked Software Systems (SFM'11), pages 148–190, Springer-Verlag Berlin Heidelberg, LNCS, volume 6659, 2011. [Book Chapter]
DOI:http://dx.doi.org/10.1007/978-3-642-21455-4_5


2010

8)  Spalazzese R., Inverardi P.. Components Interoperability through Mediating Connector Patterns. In WCSI 2010, arXiv:1010.2337; EPTCS 37, 2010, pp. 27-41.
DOI:http://dx.doi.org/10.4204/EPTCS.37.3


7)  Bennaceur A., Blair G., Chauvel F., Gang H., Georgantas N., Grace P., Hower F., Inverardi P., Issarny V., Paolucci M., Pathak A., Spalazzese R., Steffen B., Souville B.. Towards an Architecture for Runtime Interoperability. In ISoLA 2010, Part II. LNCS, vol. 6416, pp. 206-220. Springer, Heidelberg (2010).
DOI:http://dx.doi.org/10.1007/978-3-642-16561-0_23


6)  Inverardi, P., Issarny, V., Spalazzese, R.. A theory of mediators for eternal connectors. In ISoLA 2010, Part II. LNCS, vol. 6416, pp. 236-250. Springer, Heidelberg (2010)
DOI:http://dx.doi.org/10.1007/978-3-642-16561-0_25


5)  Bertolino A., Inverardi P., Issarny V., Sabetta A., Spalazzese R.. On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring. In ISoLA 2010, Part II, LNCS 6416, pp. 251-262, 2010. Springer, Heidelberg (2010).
DOI:http://dx.doi.org/10.1007/978-3-642-16561-0_26


4)  Spalazzese R., Inverardi P.. Mediating Connector Patterns for Components Interoperability. In European Conference on Software Architecture (ECSA2010), LNCS 6285, pp. 335-343. Springer-Verlag Berlin Heidelberg 2010.
DOI:http://dx.doi.org/10.1007/978-3-642-15114-9_26


2009

3)  Spalazzese R., Inverardi P., Issarny V.. Towards a Formalization of Mediating Connectors for on the Fly Interoperability. In Proceedings of Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA/ECSA), pages 345-348, 2009.
DOI: http://dx.doi.org/10.1109/WICSA.2009.5290664


2)  Spalazzese R.. "Towards Mediator Connectors for Application level Interoperability". In ESEC/FSE Doctoral Symposium '09: Proceedings of the doctoral symposium for ESEC/FSE, pages 35-36, New York, NY, USA, 2009. ACM.
DOI: http://doi.acm.org/10.1145/1595782.1595797


2008

1)  Cortellessa V., Pierini P., Spalazzese R., Vianale A.: “MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis”. In S. Becker and F. Plasil (Eds.): QoSA 2008. LNCS Vol. 5281, pp. 86–102. Springer-Verlag Berlin Heidelberg 2008. DOI: http://dx.doi.org/10.1007/978-3-540-87879-7 6



PhD Thesis

°  R.Spalazzese: A Theory of Mediating Connectors to achieve Interoperability. PhD thesis, University of L'Aquila, April 2011.    Download pdf




Technical Reports

2010

*  Bennaceur A., Spalazzese R., Inverardi P., Issarny V., Georgantas N., Saadi R.. "Model-based Mediators for Dynamic-Adaptive Connectors" - Technical Report INRIA Rocquencourt - Paris, December 2010.

2007

*  Caporuscio M., Inverardi P., Spalazzese R.. "Amìd: Towards An Egocentric Model for Supporting Diversity" - Technical report, University of L'Aquila, 2007.