Romina Spalazzese s Curriculum Vitae

Transcription

1 Senior Lecturer Computer Science Department Faculty of Technology and Society Malmö University SE Malmö, Current Positions Current Research Activities Senior Lecturer in Computer Science at Malmö University, The overall goal of my work is to enalble software interoperability and build self-adaptive software systems automatically by integrating third-party software systems through the use of synthesized connectors or mediators that enable the interaction among already developed systems. Specifically, my research is mainly focused on the automated synthesis of self-adaptive connectors, for the interoperability between mismatching protocols by exploiting formal methods. In case of systems made up by already interacting but non self-adaptive subsystems, my research concentrates on making them self-adaptive. The adopted formally grounded approach faces both functional and non functional aspects. Research Topics Education Other Education Languages Software Engineering, Software Architectures, Software Connectors (or Mediators), Self- Adaptive Systems, Interoperability, Automatic Synthesis of Mediators, Formal Methods, Pattern of Connectors, Ubiquitous/Pervasive Computing, Middleware for Ubiquitous Computing, Performance and Dependability Analysis 2011/04 - Ph.D. degree in Computer Science - European PhD (Dottorato Europeo in Informatica ed Applicazioni) at the University of L Aquila. Title: A Theory of Mediating Connectors to achieve Interoperability. 2007/04 - Master Degree in Computer Science (classe 23/S-Informatica) with final mark 110/110 cum laude at the University of L Aquila. Title: Amìd@work: applicazione di un Modello di Middleware per Ubiquitous Computing (in English - Amìd@work: application of a Middleware Model for the Ubiquitous Computing). 08/09/03-08/09/12 - Attended the GII Doctoral School - Boosting Services and Information in Adaptive Networked Enterprise (36 hours) Università degli Studi dell Aquila - Palazzo Rivera - L Aquila 08/03/03-08/03/14 - Attended the BISS 2008: Bertinoro International Spring School (60 hours) Centro Residenziale Universitario Bertinoro, Via Frangipane, 6 - Bertinoro - (Forli -Cesena) Mother tongue Italian Other languages - English: very good read, write, and oral competences - French: good read, and oral competences, elementary write competences

2 - Swedish: currently studying the basic level Research Experiences (A) Research Collaborations (more than 6 months total) within the ARLES projectteam lead by Dr. Valérie Issarny at I.N.R.I.A. Roquencourt, Domaine de Voluceau, Rocquencourt BP 105, Le Chesnay Cedex Paris (France). The research collaborations have been carried on within the following projects: - European Research Project CONNECT - 3 weeks - PORAbruzzo (Re.C.O.Te.S.S.C. project) - 3 months - Adaptive SoftwAre (ASA) project - 2 months ad a half (B) Research Collaborations (8 months total) within the Software Engineering (SE) Laboratory lead by Eng. Antonia Bertolino at I.S.T.I. - C.N.R., Via Moruzzi, Pisa (Italy) The research collaborations have been carried on within the following projects: - European Research Project CONNECT - 6 months - PORAbruzzo (Re.C.O.Te.S.S.C. project) - 2 months (C) Research experiences (more than 6 years total) within the Software Engineering and Architecture Group (SEAGroup) of the Università degli Studi dell Aquila - via Vetoio Coppito (AQ) - Research Fellow, 2013/ /02 (1 year) - Research Collaborator Appointment, 2013/ /06 (2 months) - Research Fellow 2011/ /01 (2 years) - Ph.D Student 2007/ /10 (3 years) Interaction with Industries Research Projects (D) Industrial Collaboration/Research Experience (1 year) within TechnoLabs S.p.A. - S.S. 17 Loc. Boschetto L Aquila (AQ) with tutors Prof. Vittorio Cortellessa (University of L Aquila) - Eng. Pierluigi Pierini (TechnoLabs S.p.A.) - Stager (sector TCH-NPCI), 2007/ /05 (1 year) During my research experiences, I carried out a number of collaborations among which Thales Communications SA - Paris, France DoCoMo Communications Laboratories Europe Gmbh - Munich, Germany Ambientic SAS - Paris, France Technolabs S.p.A. - L Aquila, Italy Rara System s.r.l. - Pescara, Italy From 2008 to today I proposed projects and business ideas either as principal applicant or as co-applicant through active collaborations with other researchers both from the University and Industrial environments. I also supported the administrative management of several projects and supported the preparation of several project proposals. From 2009/02/01 to 2012/11/31 I actively collaborated and carried on research within the CONNECT European project Project type: FET (Future and Emerging Technologies) project - FET Proactive 6: ICT Forever Yours - Seventh Framework Programme Duration: 46 months Project full title: Emergent Connectors for Eternal Software Intensive Networked Systems Grant agreement no.: Web:

3 Main contributions to the project: A theory for the automated synthesis of connectors Member of a working group made up by several partners of the project to elicit, through a case study, requirements and limitations of single approaches and of the whole CONNECT and to elicit (in)compatibilities and gaps to be filled along the process. 15 scientific publications and 6 project deliverables (see Publications). From 2007 to 2009 Research within the Adaptive SoftwAre (ASA) project (Programme INRIA Equipes Associèes) Main contributions to the project: Study of an embryonic theoretical middleware model that explicitly handles diversities and acts as mediator between the application requirements and the underlying heterogeneous infrastructure. Design and development of two different prototype implementations of the mediator middleware to concretely reason about middleware general properties, one focused on communication protocols and the other one on data interoperability An embryonic theory of mediators for the ubiquitous networking environment. The main outcome of this project has been the CONNECT project Supervised Co-supervisor of a Bachelor Thesis in Computer Science of the student Cannella Simone works Year: 2009 Title: Implementazione di un tool di sintesi automatica di mediatori software (in English: Implementation of an automatic synthesis tool for software mediators) Co-supervisor of a Master Thesis in Computer Science of the student Stivaletta Nicola Year: 2008 Title: Un connettore software per la comunicazione tra protocolli eterogenei di messaggistica istantanea (in English: A software connector for the communication among instant messaging heterogeneous protocols) Co-supervisor of a Master Thesis in Computer Science of the student Brandolini Luigi Year: 2008 Title: Interoperabilita a livello dati tra sistemi non omogenei mediante un connettore software (in English: Data interoperability among heterogeneous systems through a software connector) Teaching Activities Course Responsible & Teacher of the following 3 courses (I structured, organized and taught): 1 Subject field: Computer Science/Software Engineering Course name: Technical Analysis and Design (4.5 hec, higher education credits) - DIT135 Appointment year: (Spring) University: Chalmers University of Technology and Gothenburg University (Computer Science and Engineering Department - Software Engineering Division), Gothenburg, 2 Subject field: Computer Science/Software Engineering Course name: Products, Project and People Management (4.5 hec, higher education credits) - DIT885 Appointment year: (Fall)

4 University: Chalmers University of Technology and Gothenburg University (Computer Science and Engineering Department - Software Engineering Division), Gothenburg, 3 Subject field: Computer Science/Software Engineering Course name: Project: Changing Software Development Process (15 hec, higher education credits) - DIT037 Appointment year: (Fall) University: Chalmers University of Technology and Gothenburg University (Computer Science and Engineering Department - Software Engineering Division), Gothenburg, Guest Lecturer for the following 2 courses: 1 Subject field: Computer Science - Software Engineering Course name: Advanced Software Architecture - DIT544/DAT220 (7.5 hec, higher education credits) Year: (Spring) University: Chalmers University of Technology and Gothenburg University (Computer Science and Engineering Department - Software Engineering Division), Gothenburg, 2 Subject field: Computer Science Course name: Informatica - C.I. di inglese e informatica (basic computer science course) 3 CFU, crediti formativi universitari Year: University: Scienze e Tecniche dello Sport (Sport Sciences and Techniques), Universit degli Studi dell Aquila, LAquila, Italy Professional Activities Publicity Chair of SEAMS th International Symposium on Software Engineering for Adaptive and Self-Managing Systems Served a National Funding Program in 2014 as: 1 Expert evaluator (project proposals reviewer and panel member) 2 Panel chair 3 Chairperson of the overall evaluation committee (details are omitted here for confidentiality purposes) Reviewer for the IEEE Transactions on Software Engineering Journal (TSE) PC member of SCORE-it at ICSE 2015 (Student Contest in Software Engineering). PC member of the ACM Symposium On Applied Computing (SAC) Software Architecture: Theory, Technology, and Applications Track (SA-TTA). Professional appointment as research collaborator for coordination and support activities within a research project at the University of L Aquila for a 2 months period (April-June 2013) PC member of the ACM Symposium On Applied Computing (SAC) Software Architecture: Theory, Technology, and Applications Track (SA-TTA). Reviewer for the Computing Journal - Springer (2013). External reviewer for the International Conference on Software Engineering (ICSE) External reviewer for the International Symposium on Software Testing and Analysis (IS- STA) External reviewer for the International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom) 2011.

5 External reviewer for the International Conference on Software Engineering (ICSE) External reviewer for the International Conference on Software Engineering and Formal Methods (SEFM) External reviewer for the International Conference Fundamental Approaches to Software Engineering (FASE) External reviewer for the International Conference on Software Engineering (ICSE) External reviewer for the International Conference on Software Engineering (ICSE) External reviewer for the International Conference on Embedded Software (EMSOFT) Grants Given Seminars Selected business idea, proposed in collaboration with other three people, to receive funding from the RIDITT-RICOSTRUIRE project Winner of a scholarship (150 hours) from the University of L Aquila for tutoring activities Selected to receive funding from PORAbruzzo (Re.C.O.Te.S.S.C. project) to spend a three months research period in a foreign country within another institution Selected to receive funding from the CAPS program, CAPS Award to attend ESEC/FSE Selected to receive funding from PORAbruzzo to spend a two months research period in another institution. 2014/06/18 - Software Interoperability - Chalmers University of Technology and University of Gothenburg - Gothenburg, 2014/03/12 - Self-Adaptive Connector Synthesis meeting Functional and Dependability Aspects - seminar series - Chalmers University of Technology and University of Gothenburg - Gothenburg, 2014/01/15 - Automated Synthesis of Connectors - Linnaeus University - Växjö, 2013/11/20 - Automated Synthesis of Self-Adaptive Connectors to achieve Interoperability - seminar at the Formal Methods Group of the Computer Science and Engineering Departmnet - Chalmers University of Technology and University of Gothenburg - Gothenburg, 2013/10/02 - Synthesising Self-Adaptive Connectors to achieve Interoperability - Seminar Series - Chalmers University of Technology and University of Gothenburg - Gothenburg, 2013/04/29 - Risk Management - Chalmers University of Technology and University of Gothenburg - Gothenburg, 2010/10/21 - Connector synthesis: process and integration with monitoring - Crete, Greece 2010/07/22 - Mediator Synthesis - ISTI CNR Pisa - Italy 2010/05/25 - A unifying framework for mediated matching and mapping at both application and middleware layers - Lancaster University - UK 2010/05/06 - Towards a Unified Synthesis Approach: from Application down to Middlewarelayer - Technische Universitat Dortmund - Dortmund - Germany 2009/12/16 - Towards Mediator Synthesis - Oxford University Computing Laboratory - Oxford - UK 2009/09/24 - Towards a Formalization of Mediating Connectors for on-the-fly Interoperability - INRIA Paris Rocquencourt - Paris, France 2009/06/09 - A Formalization of Mediating Connectors: Towards on-the-fly Interoperability - DOCOMO Communications Laboratories Europe GmbH - Munich, Germany

6 2009/03/12 - Towards the existence of a mediator between application protocols and its characterization, Università degli Studi dell Aquila - L Aquila, Italy 2008/11/06 - Modeling Software and Platform Architecture in UML 2 for Simulationbased Performance Analysis, TechnoLabs S.p.A. - L Aquila, Italy 2008/07/29 - Studio di connettori per la comunicazione tra componenti eterogenee, ISTI- CNR - Pisa, Italy Given Conferences presentations Publications 2013/05/20 - Synthesizing Self-Adaptive Connectors meeting Functional and Performance Concerns - SEAMS 2013, San Francisco, USA 2010/10/20 - On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring - ISOLA 2010 Conference - Crete, Greece 2010/10/20 - A Theory of Mediators for Eternal Connectors - ISOLA 2010 Conference - Crete, Greece 2010/08/24 - Mediating Connector Patterns for Components Interoperability - ECSA 2010 Conference - Copenhagen, Denmark 2009/09/16 - Towards a Formalization of Mediating Connectors for on-the-fly Interoperability - WICSA/ECSA 2009 Conference - Cambridge, UK 2008/10/16 - MOSES: MOdeling Software and platform architecture in UML 2 for Simulationbased performance analysis, QoSA Conference - Karlsruhe, Germany A. Di Marco, P. Inverardi, and R. Spalazzese. Synthesizing Self-Adaptive Connectors meeting Functional and Performance Concerns. In SEAMS 2013, pp , IEEE Press, Piscataway, NJ, USA. A. Bertolino, A. Calabro, F. Di Giandomenico, N. Nostro, P. Inverardi, and R. Spalazzese. On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. In Software and Data Technologies (ICSOFT) 2011, CCIS 303, pp. 2037, Springer-Verlag Berlin Heidelberg DOI: A. Bennaceur, V. Issarny, R. Spalazzese, S. Tyagi. Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case. In ISWC 2012, Part II, LNCS vol. 7650, pp , Springer-Verlag Berlin Heidelberg 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 Heidelberg, 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: A. Bennaceur, P.Inverardi, V. Issarny, R. Spalazzese. Automated Synthesis of CONNEC- Tors to support Software Evolution. Ercim News, Volume 2012(88): Available online at -to-support-software-evolution

7 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 DOI: 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 , Springer-Verlag Berlin Heidelberg, LNCS, volume 6659, [Book Chapter] DOI: R. Spalazzese, P. Inverardi. Components Interoperability through Mediating Connector Pattern. In Proceedings WCSI 2010, arxiv: ; EPTCS 37, 2010, pp DOI: A. Bennaceur, G. Blair, F. Chauvel, H. Gang, N. Georgantas, P. Grace, F. Hower, P. Inverardi, V. Issarny, M. Paolucci, A. Pathak, R. Spalazzese, B. Steffen, B. Souville. Towards an Architecture for Runtime Interoperability. In ISoLA 2010, Part II. LNCS, vol. 6416, pp Springer, Heidelberg (2010). DOI: P. Inverardi, V. Issarny, R. Spalazzese. A theory of mediators for eternal connectors. In ISoLA 2010, Part II. LNCS, vol. 6416, pp Springer, Heidelberg (2010). DOI: A. Bertolino, P. Inverardi, V. Issarny, A. Sabetta, R. Spalazzese. On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring. In ISoLA 2010, Part II, LNCS 6416, pp , Springer, Heidelberg (2010). DOI: R. Spalazzese, P. Inverardi. Mediating Connector Patterns for Components Interoperability. In ECSA European Conference on Software Architecture, LNCS 6285, pp Springer-Verlag Berlin Heidelberg DOI: R. Spalazzese, P. Inverardi, V. Issarny. Towards a Formalization of Mediating Connectors for on-the-fly Interoperability. In Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA/ECSA). pages , DOI: R. Spalazzese. Towards Mediator Connectors for Application level Interoperability. In ESEC/FSE Doctoral Symposium 09: Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium, pages 35-36, New York, NY, USA, ACM. DOI: V. Cortellessa, P. Pierini, R. Spalazzese, A. Vianale. MOSES: MOdeling Software and platform architecture in UML 2 for Simulation-based performance analysis. In S. Becker and F. Plasil (Eds.): QoSA LNCS Vol. 5281, pp Springer-Verlag Berlin Heidelberg 2008.

8 DOI: Technical Reports A. Bennaceur, R. Spalazzese, P. Inverardi, V. Issarny, N. Georgantas, R. Saadi. Modelbased Mediators for Dynamic-Adaptive Connectors. - Technical Report INRIA Rocquencourt - Paris, December M. Caporuscio, P. Inverardi, R. Spalazzese. Supporting Diversity - Technical report, Amíd: Towards An Egocentric Model for Deliverables Author of the CONNECT Deliverable D3.4: Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment. November FET IP CONNECT EU project, FP7 grant agreement number , Author of the CONNECT Deliverable D3.3: Dynamic connector synthesis: revised prototype implementation. February FET IP CONNECT EU project, FP7 grant agreement number , Author of the CONNECT Deliverable D3.2: Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware-Layer. February FET IP CONNECT EU project, FP7 grant agreement number , Author of the CONNECT Deliverable D3.1: Modeling of application- and middleware-layer interaction protocols. February FET IP CONNECT EU project, FP7 grant agreement number , Author of the CONNECT Deliverable D5.1: Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World. February FET IP CONNECT EU project, FP7 grant agreement number , Author of the CONNECT Deliverable D6.1: Experiment scenarios. February FET IP CONNECT EU project, FP7 grant agreement number ,