Massimo Tivoli

Associate Professor

Blocco Zero, Room 207
massimo.tivoli@univaq.it
+393280113365

The main research interests of Massimo Tivoli concern the area of Software Engineering, with a particular focus on the Application of Formal Methods to the Component-Based Software Engineering for the Development of Distributed Systems. In particular, his main research activities include: (A1) the Automated Synthesis of Software Connectors for the correct assembly of distributed systems; and(A2) the Automated Composition of Software Services.

 

Within the research activity A1, Massimo Tivoli has been focused on finding a solution to the automated assembly problem for software systems built out of black-box components. This problem is realated to the effective reuse of software developed by third parties and, hence, it is of relevant interest not only for the academy but also for software industries. Informally, the automated assembly problem can be stated as follows: given a set of black-box components, {C1,...,Cn}, and given a specification of the safety and liveness properties that the system to be assembled has to satisfy, P, automatically derive the integration code for C1,...,Cn so to assemble a system S that satifies P and isdeadlock-free. In this direction, Massimo Tivoli has been defining novel methods for the automated synthesis of software connectors for the correct assembly of component-based systems [C1,J1,J6]. The connector is realized as an additional component, with respect toC1,...,Cn, which intercepts all the components interactions so to control the flow of exchanged messages and, hence, prevent deadlocks and ensure the properties specified by P. In the works described in [C1,J1,J6], a centralized connector is synthesized.

 

In concurrent and distributed systems, a centralized implementation of the connector cannot always effectively exploited and its practical application introduces some limitations. To overcome these limitations, in [C11,C16,J5] Massimo Tivoli proposes a novel method, with respect to the ones described in [C1,J1,J6], whose aim is to produce a distributed connector realized as a set of wrappers, one for each component to be controlled. This method, with respect to the previous ones, can be applied to peer-to-peer architectures and, if the system architect is interested only on ensuring the properties specified by P, the method's computational complexity is polinomial in the size of P.

 

The above methods require to re-synthesize the connector whenever the system changes, e.g., replacement of a component. For this reason, in [J7], Massimo Tivoli proposes a novel method based on the combination of software architecture verification techniques andconnector synthesis techniques. This combination allows to perform the synthesis locally to each architectural component (i.e., an ideal component obtained by assembling actual components available "off the shelf") rather than globally for the whole system to be assembled. On the one hand, the complexity of the synthesis is effectively mitigated. On the other hand, this approach can be applied also to deal withdynamic reconfiguration.

 

The previous works have been all applied to real-scale case studies in the domain of COM/DCOM and J2EE applications. This sperimentation has been carried on through the realization, by Massimo Tivoli, of the SYNTHESIS tool [J2,C20] which implements all the methods discussed above.

 

The previous approaches focus on the resolution of inconsistencies due to functional aspects of the components interaction behaviour and do not account for non-functional aspects. To overcome this limitation, Massimo Tivoli has developed a technique for the automated synthesis of connectors for real-time components [C18].

 

The automated connector synthesis problem is, in general, hard in the sense that not all protocol mismatches can be effectively solved. Thus, possible practical solutions only deal with a combination of specific mediation patterns that correspond to tractable protocol mismatches. However, these solutions often produce a monolithic connector and, hence, they prevent connector dynamic evolution andmaintainance. For this reason, Massimo Tivoli recently defined a novel method for the automated synthesis of modular connectors [C33]. A modular connector is synthesized as a composition of independent mediators. Each mediator is a primitive sub-connector that realizes a specific mediation pattern which corresponds to the solution of a recurrent protocol mismatch. The adavantage of this decomposition is twofold: (i) by means of a compositional approach (e.g., assume-guarantee), it can be formally proven that the modular connector is correct as well as a monolithic version of it, i.e., the realized mediation solves all the mismatches that are solved by the monolithic version; and (ii) it promotes the dynamic evolution of the connector, hence easing the automated synthesis of the connector's actual code and its maintainance.

 

Within the research activity A2, in the literature, several approaches have been proposed whose aim is to automatically compose Web services in order to obtain a new (composed) Web service. All these approaches assume that, beyond the WSDL description of the service interface, a machine-readable description of the interaction behaviour of the service with its clients is provided. This description is calledinteraction protocol. Unfortunately, in the practice of web service development, this assumption does not very often hold.

 

With this premise in mind, in the work described in [C24], Massimo Tivoli defines a novel method for the automated elicitation of the interaction protocol of a Web service directly from its WSDL description and a black-box implementation of it. As shonw in [C24], this method has been implemented in the STRAWBERRY tool. The service interaction protocol is obtained through a suitable conjunction ofautomated synthesis and validation iterative steps. The synthesis serves to derive an automata-based model of the interaction protocol with a certain accuracy degree. The validation is performed to check the conformance of the synthesized model to the service implementation or, if conformance does not hold, to refine the synthesized model, hence obtaining a more accurate model. By iterating the synthesis and validation steps until conformace holds, STRAWBERRY is able to automatically derive the correct automaton modeling the service interaction protocol.

 

STRAWBERRY has been applied to real case studies concering existring Web services, among which Amazon E-Commerce Service (http://webservices.amazon.com/AWSECommerceService/AWSECommerceService.wsdl),ChartLyrics (http://www.chartlyrics.com/api.aspx), and LyricWiki (http://lyrics.wikia.com/Main_Page).

 

Service choreography is a form of distributed composition of services whose aim is to characterize the messages exchange amongparticipant services from a global perspective. To the aim of realizing service choreographies by re-using third-party services, Massimo Tivoli has defined a novel synthesis method for the automated choreography enforcement based on distributed coordination of the participant services from outside [C35,C34,C32,B12].

 

Out of a BPMN2 specification of the choreography to be realized, C, the proposed method automatically derives a set of Coordination Delegates (CDs). In particular, the coordination logic modeled by C is distributed into a set of Coordination Models (CMs) one for each CD. Thus, CDs exploit the produced CMs to coordinate the interaction among the participants in such a way that the resulting global collaboration realizes C. CDs intercept the messages exchanged by the participants and mediate their interaction according to the coordination information characterized by the CMs and in a fully-distributed way.

 

This method has been implemented in the CHOReOSynt tool. Within the European project CHOReOS, CHOReOSynt has been valdated by means of three real-scale case studies.

::. International Journals .::

 

  • J8. AUTILI M, INVERARDI P, PELLICCIONE P, TIVOLI M (2012). Developing highly complex distributed systems: A software engineering perspective. JOURNAL OF INTERNET SERVICES AND APPLICATIONS, vol. 3, p. 15-22, ISSN: 1867-4828, doi: 10.1007/s13174-011-0048-5. [PDF]

 

  • J7. PELLICCIONE P, TIVOLI M, BUCCHIARONE A, POLINI A (2008). An architectural approach to the correct and automatic assembly of evolving component-based system. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 81, p. 2237-2251, ISSN: 0164-1212, doi: 10.1016/j.jss.2008.05.030.

       [PDF]

 

  • J6. TIVOLI M, INVERARDI P (2008). Failure-free coordinators synthesis for component-based architectures. SCIENCE OF COMPUTER PROGRAMMING, vol. 71, p. 181-212, ISSN: 0167-6423, doi: 10.1016/j.scico.2008. 03.001.

       [PDF]

 

  • J5. AUTILI M, MOSTARDA L, NAVARRA A, TIVOLI M (2008). Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 81, p. 2210-2236, ISSN: 0164-1212, doi: 10.1016/j.jss.2008.04.006.

       [PDF]

 

  • J4. POIZAT P, SALAUN G, TIVOLI M (2007). An Adaptation-based Approach to Incrementally Build Component Systems. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Elsevier Journal, vol. 182, p. 155-170, ISSN: 1571-0661, doi: 10.1016/j.entcs.2006.09.037.

      [PDF]

 

  • J3. KERHOLM M, CARLSON J, FREDRIKSSON J, HNSSON H, HAKANSSON J, MLLER A, PETTERSSON P, TIVOLI M (2007). The SAVE approach to component-based development of vehicular systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 80, p. 655-667, ISSN: 0164-1212, doi: 10.1016/j.jss.2006.08.016.

      [PDF]

 

  • J2. TIVOLI M, AUTILI M (2006). SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors. L’OBJET, vol. 12, p. 77-103, ISSN: 1262-1137, doi: 10.3166/objet.12.1.77-103.

      [PDF]

 

  • J1. INVERARDI P, TIVOLI M (2003). Deadlock-free software architectures for COM/DCOM Applications. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 65, p. 173-183, ISSN: 0164-1212, doi: 10.1016/S0164-1212(02) 00037-7.

      [PDF]

 

 

::. Books and Book Chapters .::

 

  • B15. AUTILI M, GOLDMAN A, TIVOLI M (Eds.) (2014). IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014), in: IEEE 10th World Congress on Services, Alaska, IEEE Conference Publishing Services, doi: http://dx.doi.org/10.1109/SERVICES. 2014.63.

      [PDF]

 

  • B14. KRUCHTEN P, GIANNAKOPOULOU D, TIVOLI M (Eds.) (2013). CBSE’13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch ’13, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2122-8.

      [PDF]

 

  • B13. AUTILI M, DI RUSCIO D, INVERARDI P, PELLICCIONE P, TIVOLI M (2013). ModelLAND: Where do models come from?. In: State-of-the-Art Survey Volume on Models@run.time Edited by:Betty Cheng, Uwe Assmann, Gordon Blair, Robert France, Nelly Bencomo. LECTURE NOTES IN COMPUTER SCIENCE, Vol. 8378, ISSN: 0302-9743, ISBN: 978-3-319-08914-0.

      [PDF]

 

  • B12. AUTILI M, DI SALLE A, TIVOLI M (2013). Synthesis of resilient choreographies. In: Software Engineering for Resilient Systems. LECTURE NOTES IN COMPUTER SCIENCE, Vol. 8166, p. 94-108, ISSN: 0302-9743.

      [PDF]

 

  • B11. AUTILI M, INVERARDI P, TIVOLI M (2012). Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?. In: Patterns, Programming and Everything. p. 1-12, London:Springer, ISBN: 978-1-4471-2349-1, doi: 10.1007/978-1-4471-2350-7_1.

      [PDF]

 

  • B10. AUTILI M, CORTELLESSA V, DI RUSCIO D, INVERARDI P, PELLICCIONE P, TIVOLI M (2012). Integration architecture synthesis for taming uncertainty in the Digital Space. In: Large-Scale Complex IT Systems. Development, Operation and Management. LECTURE NOTES IN COMPUTER SCIENCE, vol. 7539, p. 118-131, SPRINGER-VERLAG Berlin Heidelberg, ISBN: 978-3-642-34059-8, ISSN: 0302-9743.

      [PDF]

 

  • B9. INVERARDI P, SPALAZZESE R, TIVOLI M (2011). Application-Layer Connector Synthesis. In: Formal Methods for Eternal Networked Software Sys- tems. LECTURE NOTES IN COMPUTER SCIENCE, vol. 6659, p. 148- 190, Springer Verlag, ISBN: 978-3-642-21454-7, ISSN: 0302-9743, doi: 10.1007/ 978-3-642-21455-4_5.

      [PDF]

 

  • B8. AUTILI M, INVERARDI P, TIVOLI M (2010). Run time models in adaptive service infrastructure. In: Run-time Models for Self-managing Systems and Applications. AUTONOMIC SYSTEMS. p. 125-152, Springer Basel , ISBN: 978-3-0346-0432-1, doi: 10.1007/978-3-0346-0433-8_6.

      [PDF]

 

  • B7. P. INVERARDI, TIVOLI M (2009). The Future of Software: Adaptation and Dependability. In: Software Engineering. LECTURE NOTES IN COMPUTER SCIENCE, vol. 5413, p. 1-31, BERLIN HEIDELBERG:Springer-Verlag, ISBN: 978-3-540-95887-1, ISSN: 0302-9743, doi: 10.1007/978-3-540-95888-8_1.

      [PDF]

 

  • B6. BETTY C, ROGERIO DE L, HOLGER G, INVERARDI P, MAGEE J, AN- DERSSON J, BECKER B, BENCOMO N, BRUN Y, CUKIC B, DI MARZO SERUGUENDO G, DUSTDAR S, FINKELSTEIN A, GACEK C, GEISH K, GRASSI V, KARSAI G, KIENLE H, KRAMER J, LITOIU M, MALEK S, MIRANDOLA R, MULLER H, PARK S, SHAW M, TICHY M, TIVOLI M, WEYNS D, WHITTLE J (2009). Software Engineering for Self-Adaptive Sys- tems: A Research Roadmap. In: SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS. LECTURE NOTES IN COMPUTER SCIENCE, vol. 5525, p. 1-26, Springer Verlag, ISBN: 978-3-642-02160-2, ISSN: 0302-9743, doi: 10.1007/978-3-642-02161-9_1.

      [PDF]

 

  • B5. BECKER S, CANAL C, DIAKOV N, MURILLO J M, POIZAT P, TIVOLI M (Eds.) (2007). Third International Workshop for Coordination and Adaptation Techniques for Software Entities. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. vol. 189, p. 155-170, Elsevier.

      [PDF]

 

  • B4. BECKER S, CANAL C, DIAKOV N, MURILLO J M, POIZAT P, TIVOLI M (Eds.) (2006). Coordination and adaptation techniques: bridging the gap between design and implementation. In: OBJECT-ORIENTED TECHNOLOGY, ECOOP 2006 WORKSHOP READER, ECOOP 2006 WORKSHOPS. LECTURE NOTES IN COMPUTER SCIENCE, vol. 4379, p. 72-86, BERLIN HEIDELBERG:Springer-Verlag, ISBN: 978-354071772-0, ISSN: 0302-9743, doi: 10.1007/978-3-540-71774-4_9.

      [PDF]

 

  • B3. BECKER S, BROGI A, GORTON I, OVERHAGE S, ROMANOVSKY A, TIVOLI M (2006). Towards an Engineering Approach to Component Adaptation. In: International Seminar on Architecting Systems with Trustworthy Components. LECTURE NOTES IN COMPUTER SCIENCE, vol. 3938, p. 193-215, Springer Verlag, ISBN: 3-540-35800-5, ISSN: 0302-9743, doi: 10.1007/11786160_11.

      [PDF]

 

  • B2. INVERARDI P, TIVOLI M (2004). Automatic failures-free connector synthesis: An example. In: Radical Innovations of Software and Systems Engineering in the Future. LECTURE NOTES IN COMPUTER SCIENCE, vol. 2941, p. 184- 197, BERLINO:Springer Verlag, ISBN: 978-3-540-21179-2, ISSN: 0302-9743, doi: 10.1007/978-3-540-24626-8_12.

      [PDF]

 

  • B1. INVERARDI P, TIVOLI M (2003). Software Architecture for Correct Components Assembly. In: Formal Methods for the Design of Computer, Com- munication and Software Systems: Software Architecture. LECTURE NOTES IN COMPUTER SCIENCE, vol. 2804, p. 92-121, Springer Berlin / Heidelberg, ISBN: 978-3-540-20083-3, ISSN: 0302-9743, doi: 10.1007/978-3-540-39800-4_ 6.

      [PDF]

 

 

::. International Conferences and Workshops .::

 

  • C35. AUTILI M, TIVOLI M (2014). Distributed Enforcement of Service Choreographies, in: 13th International Workshop on Foundations of Coordination Lan- guages and Self-Adaptive Systems (FOCLASA’14).

      [PDF]

 

  • C34. AUTILI M, DI RUSCIO D, DI SALLE A, INVERARDI P, TIVOLI M (2013). A Model-Based Synthesis Process for Choreography Realizability Enforcement. In: Fundamental Approaches to Software Engineering (FASE’13). LECTURE NOTES IN COMPUTER SCIENCE, vol. 7793, p. 37-52, ISBN: 978-3-642- 37056-4, ISSN: 0302-9743.

      [PDF]

 

  • C33. INVERARDI P, TIVOLI M (2013). Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns. In: Proceedings of the 2013 International Conference on Software Engineering (ICSE’13). ISBN: 978-1-4673- 3076-3, url: http://dl.acm.org/citation.cfm?id=2486788.2486790.

      [PDF]

 

  • C32. AUTILI M, INVERARDI P, TIVOLI M (2013). CHOReOS: Large Scale Choreographies for the Future Internet. In: IEEE Working Conference on Reverse Engineering (WCRE) joined with the European Conference on Software Maintenance and Reengineering (CSMR). ISBN: 978-1-4799-3752-3.

      [PDF]

 

  • C31. INVERARDI P, AUTILI M, DI RUSCIO D, PELLICCIONE P, TIVOLI M (2013). Producing Software by Integration: Challenges and Research Directions (Keynote). In: ESEC/FSE’13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. p. 2-12, ISBN: 978-1-4503-2237-9.

      [PDF]

 

  • C30. MERTEN M, HOWAR F, STEFFEN B, PELLICCIONE P, TIVOLI M (2012). Automated Inference of Models for Black Box Systems based on Interface Descriptions. In: Leveraging Applications of Formal Methods, Verification and Validation. LECTURE NOTES IN COMPUTER SCIENCE, vol. 7609, p. 79-96, BERLIN:Springer, ISBN: 978-3-642-34025-3, ISSN: 0302-9743, Heraklion, Crete, Greece, October 15-18, 2012, doi: 10.1007/978-3-642-34026-0_7.

      [PDF]

 

  • C29. AUTILI M, DI RUSCIO D, INVERARDI P, LOCKERBIE J, TIVOLI M (2011). A Development Process for Requirements Based Service Choreography. In: Workshop on Requirements Engineering for Systems, Services and Systems-of- Systems (RESS). p. 59-62, NEW YORK:IEEE Computer Society, ISBN: 978-1- 4577-0939-5, doi: 10.1109/RESS.2011.6043925.

      [PDF]

 

  • C28. AUTILI M, CORTELLESSA V, DI RUSCIO D, INVERARDI P, PELLICCIONE P, TIVOLI M (2011). EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty. In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (ESEC/FSE 2011). p. 488-491, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 978-1-4503- 0443-6, doi: 10.1145/2025113.2025199.

      [PDF]

 

  • C27. AUTILI M, CHILTON C, INVERARDI P, KWIATKOWSKA M, TIVOLI M (2010). Towards a Connector Algebra. In: Leveraging Applications of Formal Methods, Verification, and Validation. LECTURE NOTES IN COMPUTER SCIENCE, vol. 6416, p. 278-292, Springer Verlag, ISBN: 978-3-642-16560-3, ISSN: 0302-9743, doi: 10.1007/978-3-642-16561-0_28.

      [PDF]

 

  • C26. PELLICCIONE P, TIVOLI M, CAVALLARO L, DI NITTO E, PRADELLA M (2010). Synthesizing adapters for conversational web-services from their WSDL interface. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. p. 104-113, NEW YORK:IEEE Computer Society, ISBN: 978-1-60558-971-8, doi: 10.1145/1808984.1808996.

      [PDF]

 

  • C25. ISSARNY V, STEFFEN B, JONSOON B, BLAIR G, GRACE P, KWIATKOWSKA M, CALINESCU R, INVERADI P, TIVOLI M, BERTOLINO A, SABETTA A (2009). CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In: IEEE International Conference on Engineering of Complex Computer Systems. p. 154-161, NEW YORK:IEEE Computer Society, ISBN: 978-0-7695-3702-3, doi: 10.1109/ICECCS.2009.44.

      [PDF]

 

  • C24. BERTOLINO A, INVERARDI P, PELLICCIONE P, TIVOLI M (2009). Automatic Synthesis of Behavior Protocols for Composable Web-Services. In: Pro- ceedings of The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Soft- ware Engineering (FSE), Amsterdam, The Netherlands, pages 141-150, 2009. p. 141-150, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 978-1-60558-001-2, doi: 10.1145/1595696.1595719.

      [PDF]

 

  • C23. INVERARDI P, PELLICCIONE P, TIVOLI M (2009). Towards an assume-guarantee theory for adaptable systems. In: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’09). p. 106-115, NEW YORK:IEEE Computer Society, ISBN: 978-142443724-5, doi: 10.1109/ SEAMS.2009.5069079.

      [PDF]

 

  • C22. BERTOLINO A, DE ANGELIS G, DI MARCO A, INVERARDI P, SABETTA A, TIVOLI M (2008). A Framework for Analyzing and Testing the Performance of Software Services. In: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). COM- MUNICATIONS IN COMPUTER AND INFORMATION SCIENCE. vol. 17, p. 206-220, BERLIN HEIDELBERG:Springer-Verlag, ISBN: 978-3-540-88478-1, doi: 10.1007/978-3-540-88479-8-15.

      [PDF]

 

  • C21. AUTILI M, DI BENEDETTO P, DI RUSCIO D, INVERARDI P, TIVOLI M (2008). A Development Process for Context-Aware Adaptive Services. In: 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops, ARAMIS 2008. ASE Workshops 2008. p. 9-16, NEW YORK:IEEE Computer Society, ISBN: 978-1-4244-2776-5, doi: 10.1109/ASEW.2008.4686288.

      [PDF]

 

  • C20. AUTILI M, INVERARDI P, NAVARRA A, TIVOLI M (2007). SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In: International Conference on Software Engineering (ICSE 2007). p. 784-787, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 978-076952828-1, doi: 10.1109/ICSE.2007.84.

      [PDF]

 

  • C19. AUTILI M, BERARDINELLI L, CORTELLESSA V, DI MARCO A, DI RUSCIO D, INVERARDI P, TIVOLI M (2007). A Development Process for Self-adapting Service Oriented Applications. In: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING. LECTURE NOTES IN COMPUTER SCIENCE, vol. 4749, p. 442-448, BERLIN HEIDELBERG:Springer-Verlag, ISBN: 978-3-540-74973-8, ISSN: 0302-9743, doi: 10.1007/978-3-540-74974-5_41.

      [PDF]

 

  • C18. TIVOLI M, FRADET P, GIRAULT A, GOESSLER G (2007). Adaptor synthesis for real-time components. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), member of the European Joint Conferences on Theory and Practice of Software (ETAPS 2007). LECTURE NOTES IN COMPUTER SCIENCE, vol. 4424, p. 185-200, Springer Verlag, ISBN: 978-3-540-71208-4, ISSN: 0302-9743.

      [PDF]

 

  • C17. INVERARDI P, TIVOLI M (2007). A reuse-based approach to the correct and automatic composition of web-services. In: International Workshop on the Engineering of Software Services for Pervasive Environments (ESSPE 2007) at ESEC/FSE 2007. p. 29-33, NEW YORK, NY, USA:Association for Comput- ing Machinery, Inc. (ACM), ISBN: 978-159593798-8, doi: 10.1145/1294904.1294908.

      [PDF]

 

  • C16. AUTILI M, FLAMMINI M, INVERARDI P, NAVARRA A, TIVOLI M (2006). Synthesis of concurrent and distributed adaptors for component-based systems. In: 3rd European conference on Software Architecture (EWSA’06) - Software Architecture. LECTURE NOTES IN COMPUTER SCIENCE, vol. 4344, p. 17-32, Springer Berlin / Heidelberg, ISBN: 978-3-540-69271-3, ISSN: 0302-9743, doi: 10.1007/11966104_3.

      [PDF]

 

  • C15. POIZAT P, SALAUN G, TIVOLI M (2006). On dynamic reconfiguration of behavioral adaptations. In: 3rd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT06), held in conjunction with ECOOP2006. p. 61-69.

      [PDF]

 

  • C14. BUCCHIARONE A, PELLICCIONE P, POLINI A, TIVOLI M (2006). Towards an architectural approach for the dynamic and automatic composition of software components. In: 2nd International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 2). p. 12-21, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 1-59593- 459-6, doi: 10.1145/1147249.1147251.

      [PDF]

 

  • C13. FREDRIKSSON J, TIVOLI M, CRNKOVIC I (2005). A component-based development framework for supporting functional and non-functional analysis in control system design. In: 20th IEEE/ACM International Conference on Au- tomated Software Engineering (ASE2005). p. 368-371, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 1-58113-993- 4, doi: 10.1145/1101908.1101972.

      [PDF]

 

  • C12. TIVOLI M, GARLAN D (2005). Adaptor synthesis for protocol-enhanced component based architectures. In: 5th IEEE/IFIP Working Conference on Software Architecture (WICSA5). p. 276-277, NEW YORK:IEEE Computer Society, ISBN: 0769525482, doi: 10.1109/WICSA.2005.9.

      [PDF]

 

  • C11. INVERARDI P, MOSTARDA L, TIVOLI M, AUTILI M (2005). Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE2005). p. 405-409, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 1-58113-993- 4, doi: 10.1145/1101908.1101981.

      [PDF]

 

  • C10. TIVOLI M, FREDRIKSSON J, CRNKOVIC I (2005). A component-based approach for supporting functional and non-functional analysis in control loop design. In: 10th International Workshop on Component-Oriented Programming (WCOP05), held in conjunction with ECOOP2005.

      [PDF]

 

  • C9. TIVOLI M, INVERARDI P, PRESUTTI V, FORGHIERI A, SEBASTIANIS M (2004). Correct components assembly for a Product Data Management cooperative system. In: International Symposium on Component-based Software Engineering (CBSE7) an adjunct event to ICSE2004 workshops. LECTURE NOTES IN COMPUTER SCIENCE, vol. 3054, p. 84-99, BERLINO:Springer Berlin / Heidelberg, ISBN: 978-3-540-21998-9, ISSN: 0302-9743, doi: 10.1007/ 978-3-540-24774-6_9.

      [PDF]

 

  • C8. AUTILI M, INVERARDI P, TIVOLI M (2004). Automatic adaptor synthesis for protocol transformation. In: 1st International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04), held in conjunction with ECOOP2004. p. 39-46, ISBN: 84-688-6782-9.

      [PDF]

 

  • C7. AUTILI M, INVERARDI P, TIVOLI M, GARLAN D (2004). Synthesis of ”correct” adaptors for protocol enhancement in component based systems. In: Specification and Verification of Component-Based Systems (SAVCBS’04) Workshop at FSE 2004. p. 79-86.

      [PDF]

 

  • C6. INVERARDI P, TIVOLI M (2003). A compositional synthesis of failure- free connectors for correct components assembly. In: 6th ICSE Workshop on Component-Based Software Engineering (CBSE6): Automated Reasoning and Prediction at 25th ICSE2003.

      [PDF]

 

  • C5. INVERARDI P, TIVOLI M, BUCCHIARONE A (2003). Automatic synthesis of coordinators of COTS group-ware applications: an example. In: 12th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2003). p. 123-128, NEW YORK:IEEE Computer Society, ISBN: 0-7695-1963-6.

      [PDF]

 

  • C4. INVERARDI P, TIVOLI M (2003). Failure-free Connector Synthesis for Correct Components Assembly. In: Specification and Verification of Component-Based Systems (SAVCBS’03) Workshop at ESEC/FSE 2003. p. 6-13.

      [PDF]

 

  • C3. INVERARDI P, TIVOLI M (2002). Correct and automatic assembly of COTS components: an architectural approach. In: 5th ICSE Workshop on Component- Based Software Engineering (CBSE5): Benchmarks for Predictable Assembly at 24th ICSE 2002.

      [PDF]

 

  • C2. INVERARDI P, TIVOLI M (2002). The role of architecture in components assembly. In: 7th International Workshop on Component-Oriented Programming at ECOOP 2002.

      [PDF]

 

  • C1. INVERARDI P, TIVOLI M (2001). Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications. In: ACM Proceedings of the joint ESEC and 9 FSE. p. 121-131, NEW YORK, NY, USA:Association for Computing Machinery, Inc. (ACM), ISBN: 1-58113-390-1, doi: 10.1145/503209.503227. 

      [PDF]