Curriculum Vitae di Massimo Tivoli

Transcript

1 Curriculum Vitae di Massimo Tivoli Ricercatore. Dip. di Informatica. Università degli studi dell Aquila. Via Vetoio, I L Aquila (AQ), ITALIA. Cellulare di servizio: Cellulari personali: Web page: massimo.tivoli@di.univaq.it Informazioni personali Stato civile: Celibe. Nazionalità: Italiana. Data di nascita: 27/08/1975. Luogo di nascita: L Aquila (AQ). Residenza: Via Germania N.9, L Aquila, (AQ). Istruzione 1. 06/06/2005, L Aquila (AQ) - Università degli studi dell Aquila Dottorato di ricerca in Informatica ed Applicazioni. Supervisore: Prof. Paola Inverardi. Titolo: An architectural approach to the automatic composition and adaptation of software components. Il lavoro di dottorato di Massimo Tivoli è stato principalmente focalizzato sul problema della composizione automatica di componenti software. Tale lavoro ha portato alla formalizzazione, progettazione e sviluppo di uno strumento software che deriva in modo automatico il corretto codice di integrazione per un insieme di componenti black-box. Massimo Tivoli ha applicato tale strumento nell ambito di sistemi COM/DCOM e J2EE/EJB. Durante il periodo di dottorato è stato coinvolto nei progetti di ricerca MURST-CNR SP4 e MIUR-SAHARA /04/2001, L Aquila (AQ) - Università degli studi dell Aquila Laurea in Informatica. Voto: 110/110 e lode. Titolo: Costruzione Automatica di Connettori Software di Coordinazione Deadlock-free per L Architettura COM/DCOM. Scuole per dottorandi e specializzazioni post-laurea 1. 01/11/2002, L Aquila (AQ) - Università degli studi dell Aquila Corso di specializzazione su Mobilità fisica e logica nei sistemi distribuiti. Tenuto dal Prof. Gian Pietro Picco (del Politecnico di Milano) /09/2002, Bertinoro (FO) - Seconda Scuola Estiva per Dottorandi e Ricercatori di Bertinoro Scuola internazionale su Metodi formali per la progettazione di Sistemi di Computer, di Comunicazione e Software: Model Checking /07/2002, Lipari (ME) - Quattordicesima Scuola Estiva per Dottorandi e Ricercatori di Lipari Scuola internazionale su Ingegneria del Software e Architetture Software. Posizione attuale e attività di ricerca corrente Dal 01/03/2008, L Aquila (AQ) - Università degli studi dell Aquila - Dip. di Informatica 1

2 Ricercatore universitario di ruolo, affiliato al Dip. di Informatica. Le aree di ricerca di Massimo Tivoli sono: Ingegneria del Software basata a Componenti, Architetture Software, Architetture Orientate ai Servizi e Sistemi Real-time basati a Componenti. In particolare, all interno di tali aree, i suoi interessi di ricerca includono: Metodi Formali per la Sintesi Automatica di Sistemi Software Complessi; Adattamento, Composizione e Coordinazione di Componenti Software; Sintesi Automatica di Connettori Software; Sintesi Automatica di Modelli Comportamentali del Software da Implementazioni Software. Precedenti esperienze di lavoro e precedenti attività di ricerca oltre il dottorato 1. Dal 02/07/2007 al 29/02/2008, L Aquila (AQ) - Università degli studi dell Aquila Ricercatore universitario con contratto a tempo determinato di 2 anni. Tale contratto è stato finanziato dal progetto di ricerca europeo PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication - PLASTIC è stato un progetto del Sixth Framework Programme - Priority 2 - IST 6 (FP IST-6) ed è stato supportato come STREP dal finanziamento numero di Information Society Technology. L obiettivo di PLASTIC è stato quello di realizzare una piattaforma di sviluppo per servizi software context-aware, adattivi e impiantati su reti B3G. 2. Dal 17/02/2007 al 18/06/2007, L Aquila (AQ) - Università degli studi dell Aquila Collaboratore di Ricerca con contratto Co.Co.Co a 6 mesi. Massimo Tivoli ha lavorato al progetto di ricerca europeo PLASTIC (vedi posizione precedente). 3. Dal 17/10/2005 al 16/10/2006, Grenoble, FRANCIA - INRIA Rhône Alpes ( Post-doc. Massimo Tivoli ha lavorato per il progetto ALIDECS ( per mezzo di un post-doc di un anno come membro del gruppo di progetto POP-ART ( Lo scopo del progetto è quello di costruire un ambiente di sviluppo integrato e basato su componenti per sistemi real-time. Tale ambiente di sviluppo dovrebbe supportare lo sviluppatore durante tutte le fasi di sviluppo del sistema mettendo a disposizione strumenti automatici per il disegno (basato su componenti), l analisi, la simulazione del sistema e per la sintesi automatica di codice di integrazione corretto. In questo ambito, Massimo Tivoli si specificatamente occupato della definizione di un linguaggio formale di specifica per le interfacce di componenti real-time e del problema di sintetizzare automaticamente adattatori software per componenti real-time al fine di garantire lo sviluppo di sistemi real-time a componenti che risultino corretti per costruzione. 4. Dal 01/04/2005 al 01/10/2005, Västerås, Svezia - Mälardalen University, Mälardalen Real-Time Research Centre ( Post-doc. Massimo Tivoli ha lavorato per i progetti FLEXCON (FLEXible embedded CONtrol systems - e SAVE ( per mezzo di un post-doc di sei mesi. Lo scopo dei sopra citati progetti è stato quello di definire una tecnologia a componenti che supportasse il disegno, l analisi e lo sviluppo di sistemi di controllo per il mercato automobilistico. 5. Dal 01/01/2004 al 31/05/2004, Pittsburgh,PA, USA - Institute for Software Research International, School of Computer Science, Carnegie Mellon University ( Research Scholar. In collaborazione con il Prof. David Garlan, Massimo Tivoli ha formalizzato, progettato e sviluppato un framework per la sintesi automatica di coordinatori software al fine di migliorare la reliability in sistemi basati su componenti. 6. Dal 01/05/2001 al 30/11/2001, L Aquila (AQ) - Nikesoft S.r.L. Consulente IT. Massimo Tivoli ha lavorato, con contratto nazionale metalmeccanico a tempo indeterminato, per il progetto EUROPOL nella divisione Software Components Integration and Test Reports presso il cliente DATAMAT S.p.A. - Roma (RM). 2

3 Argomenti di ricerca Metodi formali. Analisi e sintesi automatica di sistemi software complessi. Ingegneria del software basata su componenti. Composizione e coordinazione automatica di componenti software. Component adaptation. Architetture software. Sistemi real-time. Architetture software a servizi (SOA). Composizione automatica di servizi web. Sintesi Automatica di Connettori Software. Sintesi Automatica di Modelli Comportamentali del Software da Implementazioni Software. Progetti di ricerca in cui Massimo Tivoli è o é stato coinvolto 1. CONNECT ( Progetto FET EU, FP7. 2. D-ASAP ( Progetto PRIN Italiano. 3. PLASTIC ( Progetto IST EU, FP6. 4. ALIDECS ( Francese ACI Securite et Informatique. 5. FLEXCON ( Progetto Svedese SSF/IT. Progetto 6. SAVE ( Progetto Svedese SSF/IT. 7. MURST-CNR SP4. Progetto Italiano MURST-CNR. 8. MIUR-SAHARA. Progetto Italiano MIUR. Membro dei seguenti editorial board: 1. IARIA-ASM: International Journal On Advances in Systems and Measurements. 2. IARIA-AS: International Journal On Advances in Software. Membro del program committee per: 1. ADS 7 Book: Architecting Dependable Systems Book WCSI-10: International Workshop on Component and Service Interoperability. 3. CAMPUS 2010: 3rd Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services. 4. IWOCE 2009: 1st International Workshop on Open Component Ecosystems. 5. VALID 2009: 1st International Conference on Advances in System Testing and Validation Lifecycle. 6. CBSE 2009: 12th International Symposium on Component-Based Software Engineering. 7. ESEC/FSE 2009: 7th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering. 8. SEfSAS 2008: book on Software Engineering for Self-Adaptive Software Systems (as an outcome of the Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems). 3

4 9. CBSE 2008: 11th symposium on Component Based Software Engineering. 10. CAMPUS 2008: 1st DisCoTec international workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services. 11. WCAT 2008: 5th International Workshop on Coordination and Adaptation Techniques. 12. WCAT 2006: 3rd International Workshop on Coordination and Adaptation Techniques for Software Entities, co-locato con ECOOP WCAT 2005: 2nd International Workshop on Coordination and Adaptation Techniques for Software Entities, co-locato con ECOOP Organizzatore dei seguenti workshop internazionali 1. 3rd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 2006), co-locato con ECOOP nd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 2005), co-locato con ECOOP Invitato a Dagsthul Seminar Nr Software Engineering for Self-Adaptive Systems. Dagsthul Seminar Nr Architecting Systems with Trustworthy Components. Revisore esterno per le seguenti conferenze, workshop e riviste internazionali 1. IEEE Transactions on Software Engineering journal (IEEE-TSE). 2. International Symposium on Component-Based Software Engineering (CBSE 2007, CBSE 2006, CBSE 2005). 3. Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007). 4. Software Engineering for Adaptive and Self-Managing Systems (SEAMS2009). 5. IEEE Transactions on Industrial Informatics journal (IEEE-TII). 6. Journal on Universal Computer Science (J.UCS, J.UCS special issue on WCAT07). 7. Journal of Systems and Software (JSS). 8. Journal of Software Maintenance and Evolution: Research and Practice (JSME). 9. International Journal on Software Tools for Technology Transfer (STTT). 10. Fundamental Approaches to Software Engineering (FASE 2010, FASE 2009, FASE 2007). 11. International Conference on Automated Software Engineering (ASE 2007, ASE 2005). 12. India Software Engineering Conference (ISEC 2010, ISEC 2009). 13. International Conference on Embedded Software (EMSOFT 2009). 14. International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2008). 15. ServiceWave 2008 conference. 16. International Conference on Software Engineering (ICSE 2010, ICSE 2008). 17. Working IEEE/IFIP Conference on Software Architecture (WICSA 2009, WICSA 2008). 18. MIT Book Electronic Notes in Computer Science, special issue on Software Adaptation (ENTCS special issue on WCAT06). 20. Workshop on Coordination and Adaptation Techniques on Software Entities (WCAT07). 21. International workshop on Engineering of Software Services for Pervasive Environments (ES- 4

5 SPE 2007). 22. International Symposium on Software Testing and Analysis (ISSTA 2007). 23. IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems Special focus on service oriented computing and architectures (FORTE 2007). 24. EUROMICRO CONFERENCE on Software Engineering and Advanced Applications (SEAA). 25. International Conference on the Quality of Software Architectures (QoSA 2005). 26. Dagsthul Seminar Nr Architecting Systems with Trustworthy Components. Attività didattica nell universitá (docenze universitarie) 1. Nel A.A. 2009/2010, L Aquila (AQ), ITALY - Università degli studi dell Aquila Titolare del corso Laboratorio di Architettura degli Elaboratori. Il corso riguarda i concetti hardware e software di base per le generazioni di processori MIPS32 (MIPS R2000/R3000). In particolare si studiano le nozioni di base dell architettura hardware del processore MIPS32 per poi passare a studiare in maggiore dettaglio il set di istruzioni del processore MIPS32. Il corso fa riferimento allo strumento software MARS come assemblatore e simulatore per il MIPS. Ore: 30. Crediti CFU: Nel A.A. 2009/2010, L Aquila (AQ), ITALY - Università degli studi dell Aquila Titolare del corso Laboratorio di Programmazione 3. Il corso riguarda l analisi dei concetti fondamentali che sono alla base della progettazione dei linguaggi di programmazione. Tali concetti vengono analizzati guardando ai vari paradigmi di programmazione dal funzionale, passando per il procedurale e quello orientato ad oggetti, al logico e orientato ad aspetti. Ore: 60. Crediti CFU: Nel A.A. 2008/2009, L Aquila (AQ), ITALY - Università degli studi dell Aquila Titolare del corso Laboratorio di Programmazione 3. Il corso riguarda l analisi dei concetti fondamentali che sono alla base della progettazione dei linguaggi di programmazione. Tali concetti vengono analizzati guardando ai vari paradigmi di programmazione dal funzionale, passando per il procedurale e quello orientato ad oggetti, al logico e orientato ad aspetti. Ore: 60. Crediti CFU: Nel A.A. 2007/2008, L Aquila (AQ) - Università degli studi dell Aquila Titolare del corso Laboratorio di Programmazione 3. Il corso riguarda l analisi dei concetti fondamentali che sono alla base della progettazione dei linguaggi di programmazione. Tali concetti vengono analizzati guardando ai vari paradigmi di programmazione dal funzionale, passando per il procedurale e quello orientato ad oggetti, al logico e orientato ad aspetti. Ore: 60. Crediti CFU: Nel A.A. 2007/2008, L Aquila (AQ) - Università degli studi dell Aquila Titolare del corso Laboratorio di Ingegneria del Software 1. Il corso riguarda la progettazione UML di sistemi software. Ore: 30. Crediti CFU: Nel A.A. 2006/2007, L Aquila (AQ) - Università degli studi dell Aquila Titolare del corso Laboratorio di Ingegneria del Software 1. Il corso riguarda la progettazione UML di sistemi software. Ore: 30. Crediti CFU: Nel A.A. 2006/2007, L Aquila (AQ) - Università degli studi dell Aquila Assistente del corso Ingegneria del Software 1. Il corso riguarda l analisi e lo sviluppo di sistemi software complessi. Ore: 60. Crediti CFU: Nel A.A. 2006/2007, L Aquila (AQ) - Università degli studi dell Aquila Assistente del corso Fondamenti di Programmazione. Il corso riguarda gli elementi di sintassi dei linguaggi di programmazione, i sistemi di transizione e lo studio della semantica operazionale del linguaggio Java. Ore: 60. Crediti CFU: Nel A.A. 2003/2004, L Aquila (AQ) - Università degli studi dell Aquila Docente (non titolare e a titolo gratutito) per il corso Sistemi Informatici e Dis- 5

6 tribuiti. Il corso riguarda le tecnologie di sviluppo del WEB: XML XSLT XSD JavaScript DOM sviluppo per device mobili (Midlet) sviluppo Servlet. Ore: 60. Crediti CFU: Nel A.A. 2003/2004, L Aquila (AQ) - Università degli studi dell Aquila Assistente del corso Programmazione 1. Il corso riguarda gli elementi di sintassi dei linguaggi di programmazione, i sistemi di transizione e lo studio della semantica operazionale del linguaggio Java. Ore: 60. Crediti CFU: Nel A.A. 2002/2003, L Aquila (AQ) - Università degli studi dell Aquila Assistente per il corso Ingegneria del Software 2. Il corso riguarda argomenti avanzati per la progettazione, analisi, sviluppo e validazione di sistemi software complessi. Ore: 60. Crediti CFU: Nel A.A. 2002/2003, L Aquila (AQ) - Università degli studi dell Aquila Titolare del corso Laboratorio di Ingegneria del Software 1. Il corso riguarda la progettazione UML di sistemi software. Ore: 30. Crediti CFU: 3. Attività didattica in altri enti pubblici/privati (docenze extra-universitarie) 1. Nel 2008, Roma (RM) - Ericsson Lab. Titolare del corso Ingegneria del Software. Ore: Nel 2005, L Aquila (AQ) - Intech Informatica S.r.L. Titolare del corso Programmazione in ambiente visuale (Visual C++). organizzato dalla regione Abruzzo. Ore: 60. Corso 3. Nel 2004, Tivoli (RM) - Liceo Scientifico Spallanzani Titolare del corso Analista e programmatore C/C++. Corso organizzato dalla regione Lazio. Ore: Nel 2003, L Aquila (AQ) - Università degli studi dell Aquila Titolare del corso Programmatore DBMS. Corso organizzato dallo IAL Abruzzo, Regione Abruzzo. Ore: Nel 2002, Roma (RM) - BITMEDIA S.r.L. Titolare dei seguenti corsi di formazione: (i) Java Language (40 ore di corso) e (ii) Java RMI and Distributed Systems (40 ore di corso). Tesi di laurea supervisionate P. Zappacosta. Progettazione e sviluppo di midlet adattabili: uno studio preliminare. Ottobre Tesi di laurea specialistica (in italiano). M. Franzago. SynthesisRT: implementazione di un algoritmo di sintesi di adattatori software per componenti real-time. Relatori: P. Inverardi e M. Tivoli. Luglio Tesi di laurea base (in italiano). F. G. Ahufinger. Automatic and Correct Web Services Orchestration. Relatori: M. Autili, C. Canal e M. Tivoli. Luglio Tesi di laurea specialistica (in inglese). In collaborazione con Universidad de Málaga - Depto. de Lenguajes y Ciencias de la Computacin (programma ERASMUS). S. Paiola. Visual DLiPA: implementazione di un editor visuale per specifiche di sistemi software basate su process algebra con attributi real-time. Relatori: P. Inverardi e M. Tivoli. Aprile Tesi di laurea base (in italiano). G. Iorio. Un approccio composizionale per la sintesi automatica di connettori di coordinazione distribuiti. Relatori: P. Inverardi e M. Tivoli. Aprile Tesi di laurea specialistica (in italiano). M. Autili. Sintesi automatica di connettori per protocolli di comunicazione evoluti. Relatori: P. Inveradi e M. Tivoli. Aprile Tesi di laurea specialistica (in italiano). 6

7 A. Bucchiarone. Sintesi automatica di coordinatori software per ambienti collaborativi. Relatori: P. Inverardi e M. Tivoli. Aprile Tesi di laurea specialistica (in italiano). Lingue straniere Ottima conoscenza dell Inglese scritto e parlato. Conoscenza di base del Francese parlato. Conoscenze tecniche acquisite Programmazione software in ambiente: Windows, UNIX e Linux. Linguaggi di programmazione: C, C++, Java, SQL, Pascal, AspectJ, Lisp, ML. Ambienti di sviluppo: Visual C/C++ (usando Windows API, MFC e ATL), Visual Basic, C++ Builder (usando VCL), SQL Server, NetBeans, IntelliJIdea, Eclipse. Programmazione di servizi di rete (sia lato server che lato client) in ambiente UNIX utilizzando pipe, sockets e il protocollo TCP/IP. Programmazione per componenti, Microsoft Component Object Model (COM/DCOM/COM+), applicazioni J2EE per componenti con Enterpise Java Beans (EJB), applicazioni J2ME, Wireless Toolkit e sviluppo Midlet. Tecnologie di sviluppo per il WEB: HTML, JavaScript, VBScript, XML, XSLT, XSD, DOM e ASP, WSDL, BPEL, sviluppo Servlet, sviluppo di Servizi Web con Eclipse WTP. Linguaggi di modellazione di sistemi software: UML 2.0. Tecnologie per la trasformazione di modelli: JET, ATL, UML 2.0 Java API. Pubblicazioni (elencate per categoria) Riviste internazionali: 1. An architectural approach to the correct and automatic assembly of evolving componentbased systems, P. Pelliccione, M. Tivoli, A. Bucchiarone and A. Polini. Journal: Journal of Systems and Software. Volume: 81, Issue: 12, Pagine: , Anno: DOI REF: [(ISI: IF=1,241 Rank 34/84)] 2. Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems, M. Autili, L. Mostarda, A. Navarra e M. Tivoli. Rivista: Journal of Systems and Software. Volume: 81, Issue: 12, Pagine: , Anno: DOI Ref.: [(ISI: IF=1,241 Rank 34/84)] 3. Failure-free coordinators synthesis for component-based architectures, M.Tivoli e P.Inverardi. Rivista: Science of Computer Programming. Volume: 71, Issue: 3, Pagine: , Anno: [(ISI: IF=1,269 Rank 34/86)] DOI Ref.: 4. The SAVE approach to component-based development of vehicular systems, M.Åkerholm, J.Carlson, J.Fredriksson, H.Hånsson, J.Hakansson, A.Möller, P.Pettersson e M.Tivoli. Rivista: Journal of Systems and Software - Special Issue on component-based software engineering of trustworthy embedded systems. Volume: 80, Issue: 5, Pagine: , Anno: DOI Ref.: doi: /j.jss Web Ref.: 1/2/979c641cda bd24a413a12b. Stampato da: Elsevier Science Inc., New York, NY, USA. [(ISI: IF=1,241 Rank 34/84)] 5. SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors, M.Tivoli e M.Autili. Rivista: RSTI L Objet journal. Volume: 12. Numero: 1. Pages: ISSN: ISBN: Anno: Stampato da: Hermes Science Lavoiser. 6 Fitzroy Square, Londra W1T 5DX, Inghilterra 11, rue Lavoiser, F Parigi. 7

8 6. Deadlock-free software architectures for COM/DCOM Applications, P.Inverardi e M.Tivoli. Rivista: Journal of Systems and Software Special Issue. Numero rivista: 3. Volume: 65. Pagine: ISSN: Anno: Stampato da: Elsevier Science Inc., New York, NY, USA. [(ISI: IF=1,241 Rank 34/84)] Conferenze, Workshops internazionali e Capitoli in Libri: 7. Synthesizing adapters for conversational web-services from their WSDL interface, P. Pelliccione, M. Tivoli, L. Cavallaro, E. Di Nitto and M. Pradella. In Proceedings of the Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), Copytight 2010 ACM, Automatic Synthesis of Behavior Protocols for Composable Web-Services, A. Bertolino, P. Inverardi, P. Pelliccione and M. Tivoli. In Proceedings of The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Amsterdam, The Netherlands, Pagine: , Anno: DOI Ref.: [acceptance rate 15% (32+7/217)] 9. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, V. Issarny, B. Steffen, B. Jonsson, G. Blair, P. Grace, M. Kwiatkowska, R. Calinescu, P. Inverardi, M. Tivoli, A. Bertolino and A. Sabetta. In Proceedings of 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). Potsdam, Germany, Pagine: , Anno: DOI Ref.: Software Engineering for Self-Adaptive Systems: A Research Roadmap, B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. Di Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. M. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. A. Mller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns and J. Whittle. In Software Engineering for Self-Adaptive Systems, Pagine: 1-26, Anno: DOI Ref.: Towards an assume-guarantee theory for adaptable systems, P. Inverardi, P. Pelliccione and M. Tivoli. In International Workshop on Software Engineering for Adaptive and Self- Managing Systems, Pagine: , IEEE Computer Society, Anno: DOI Ref.: A Development Process for Context-Aware Adaptive Services, M. Autili, P. Di Benedetto, D. Di Ruscio, P. Inverardi and M. Tivoli. In 23rd IEEE/ACM International Conference on Automated Software Engineering 2008 (ASE 08), Automated engineering of Autonomous and run-time evolving Systems (ARAMIS 08), Pagine: 9-16, IEEE, Anno: DOI Ref.: A Framework for Analyzing and Testing the Performance of Software Services, A. Bertolino, G. De Angelis, A. Di Marco, P. Inverardi, A. Sabetta and M. Tivoli. In Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), October Special Track: Applications of Formal Approaches to Service-Oriented Computing. Chapter in CCIS, Volume: 17. Pages: Year: ISSN: ISBN: Publisher: Springer-Verlang Berlin Heidelberg. 14. A Development Process for Context-Aware Adaptive Services, M. Autili, P. Di Benedetto, D. Di Ruscio, P. Inverardi, and M. Tivoli. In Proceedings of the 1st International Workshop on Automated engineering of Autonomous and run-time evolving Systems (ARAMIS 2008) L Aquila (Italy) - September 16, In conjunction with the 23rd ASE Conference. Accepted on July In fase di stampa. 15. The Future of Software: Adaptation and Dependability, P. Inverardi and M. Tivoli. In ISSSE , Volume: LNCS 5413, Pages: Anno: A. De Lucia and F. Ferrucci (Eds.). Stampato da: Springer-Verlag Berlin Heidelberg A Development Process for Self-adapting Service Oriented Applications, M.Autili, 8

9 L.Berardinelli, V.Cortellessa, A.Di Marco, D.Di Ruscio, P.Inverardi, and M.Tivoli. Nel proceedings del 5th International Conference on Service-Oriented Computing, Vienna, Austria, Settembre 17-20, Volume: LNCS Pages: Anno: Stampato da: Springer-Verlang Berlin/Heidelberg. 17. A reuse-based approach to the correct and automatic composition of web-services, P. Inverardi and M.Tivoli. Nel proceedings del International Workshop on the Engineering of Software Services for Pervasive Environments (ESSPE 2007) a ESEC/FSE Dubrovnik, Croatia, Settembre 4, Anno: Numero Articolo: 4. Numero Pages: 5. ISBN: Stampato da: ACM Press, New York, NY, USA. 18. SYNTHESIS: a tool for automatically assembling correct and distributed componentbased systems, M.Autili, P.Inverardi, A.Navarra e M.Tivoli. Nel proceedings del 29th International Conference on Software Engineering (ICSE 2007). Minneapolis, MN, USA Maggio Anno: Pagine: EE: Stampato da: IEEE Computer Society. 19. Adaptor synthesis for real-time components, M.Tivoli, P.Fradet, A. Girault e G. Goessler. Nel proceedings del 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), conferenza membro del European Joint Conferences on Theory and Practice of Software (ETAPS 2007). Braga, Portogallo. 24 Marzo - 1 Aprile Stampato da: Springer-Verlang, Berlin/Heidelberg. Volume: LNCS Anno: Pagine: ISBN: [acceptance rate 22% (45/204)] 20. An Adaptation-based Approach to Incrementally Build Component Systems, P.Poizat, G.Salaün e M.Tivoli. Nel proceedings del terzo International Workshop on Formal Aspects of Components Software (FACS 2006) Praga, Rep. Ceca, Settembre 20-22, Volume: ENTCS 182. Pagine: Anno: ISSN: DOI Ref.: Stampato da: Elsevier Science Publishers B. V., Amsterdam, The Netherlands, The Netherlands. 21. Synthesis of concurrent and distributed adaptors for component-based systems, M.Autili, M.Flammini, P.Inverardi, A.Navarra e M.Tivoli. Nel proceedings del European Workshop on Software Architecture (EWSA 2006), Nantes, Francia, 4 e 5 Settembre Volume: LNCS Anno: Pagine: ISSN: ISBN: Stampato da: Springer-Verlang Berlin/Heidelberg. 22. Towards an architectural approach for the dynamic and automatic composition of software components, A.Bucchiarone, P.Pelliccione, A.Polini and M.Tivoli. Nel proceedings del 2nd International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 2), tenuto in congiunzione con ISSTA2006 Portland, Maine, Luglio 17, ISBN: Pagine: Stampato da: ACM Press, New York, NY, USA. 23. Coordination and adaptation techniques: bridging the gap between design and implementation, S.Becker, C.Canal, N.Diakov, J.M.Murillo, P.Poizat and M.Tivoli. Nel Object- Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, Francia, Luglio 3-7, 2006, Rapporti Finali. Volume: LNCS Pagine: Anno: ISBN: Stampato da: Springer-Verlang Berlin/Heidelberg. 24. On dynamic reconfiguration of behavioral adaptations, P.Poizat, G.Salan e M.Tivoli. Nel proceedings del 3rd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT06), tenuto in congiunzione con ECOOP2006. Nantes, Francia, Luglio 4th, Pagine: Towards an Engineering Approach to Component Adaptation, S.Becker, A.Brogi, I.Gorton, S.Overhage, A.Romanovsky e M.Tivoli. Capitolo in Dagstuhl Seminar 04511: Architecting Systems with Trustworthy Components. Stampato da: Springer-Verlang, Berlin/Heidelberg. Volume: LNCS Anno: ISSN: ISBN: Pagine: A component-based development framework for supporting functional and non-functional analysis in control system design, J.Fredriksson, M.Tivoli e I.Crnkovic. Nel proceed- 9

10 ings del 20th IEEE/ACM International Conference on Automated Software Engineering (ASE2005). Novembre 7-11, Long Beach, CA. ISBN: Pagine: Stampato da: ACM Press, New York, NY, USA. 27. Adaptor synthesis for protocol-enhanced component based architectures, M.Tivoli e D.Garlan. Nel proceedings del 5th IEEE/IFIP Working Conference on Software Architecture (WICSA5). Novembre 6-10, Pittsburg, PA. ISBN: Pagine: Stampato da: IEEE Computer Society, Los Alamitos, CA, USA. 28. Synthesis of correct and distributed adaptors for component-based systems: an automatic approach, P.Inverardi, L.Mostarda, M.Tivoli e M.Autili. Nel proceedings del 20th IEEE/ACM International Conference on Automated Software Engineering (ASE2005). Novembre 7-11, Long Beach, CA. ISBN: Pagine: Stampato da: ACM Press, New York, NY, USA. 29. A component-based approach for supporting functional and non-functional analysis in control loop design, M.Tivoli, J.Fredriksson e I.Crnkovic. Nel proceedings del 10th International Workshop on Component-Oriented Programming (WCOP05), tenuto in congiunzione con ECOOP2005. Luglio , Glasgow, Scozia. 30. Synthesis of correct adaptors for protocol enhancement in component based systems, M.Autili, P.Inverardi, M.Tivoli e D.Garlan. Nel proceedings del Specification and Verification of Component-Based Systems (SAVCBS 04) Workshop a FSE Ottobre 31 - Novembre 1, Newport Beach (CA), USA. Pagine: [acceptance rate 43% (13/30)] 31. Automatic adaptor synthesis for protocol transformation, M.Autili, P.Inverardi e M.Tivoli. Nel proceedings del 1st International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT04), tenuto in congiunzione con ECOOP2004. Oslo, Norvegia, Giugno 14, Pagine: ISBN: Correct components assembly for a Product Data Management cooperative system, M.Tivoli, P.Inverardi, V.Presutti, A.Forghieri e M.Sebastianis. Nel proceedings del International Symposium on Component-based Software Engineering (CBSE7) un evento congiunto ai workshops di ICSE2004. Edinburgh, Scozia, Maggio 24-25, Stampato da: Springer-Verlang, Berlino/Heidelberg. Volume: LNCS Anno: ISBN: Pagine: [acceptance rate 15% (12+13/82)] 33. Automatic failures-free connector synthesis: An example, P.Inverardi e M.Tivoli. Radical Innovations of Software and Systems Engineering in the Future. Stampato da: Springer- Verlang, Berlino/Heidelberg. Volume: LNCS Anno: ISSN: ISBN: Pagine: Failure-free Connector Synthesis for Correct Components Assembly, P.Inverardi e M.Tivoli. Nel proceedings del Specification and Verification of Component-Based Systems (SAVCBS 03) Workshop di ESEC/FSE Settembre 1-2, Helsinki, Finlandia. Pagine: Automatic synthesis of coordinators of COTS group-ware applications: an example, P.Inverardi, M.Tivoli e A.Bucchiarone. International Workshop su Distributed and Mobile Collaboration (DMC 2003) 9-11 Giugno, Linz, Austria WETICE ISSN: ISBN: Pagine: Stampato da: IEEE Computer Society, Los Alamitos, CA, USA. 36. A compositional synthesis of failure-free connectors for correct components assembly, P.Inverardi e M.Tivoli. Nel proceedings del 6th ICSE Workshop on Component-Based Software Engineering (CBSE6): Automated Reasoning and Prediction a ICSE2003. Portland, Oregon, USA. Maggio 3-10, Software Architecture for Correct Components Assembly, P.Inverardi and M.Tivoli. Chapter in Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. Publisher: Springer-Verlang, Berlin/Heidelberg. Volume: LNCS Year: ISBN: Pagine: The role of architecture in components assembly, P.Inverardi e M.Tivoli. Nel proceedings del 7th International Workshop on Component-Oriented Programming at ECOOP

11 (WCOP 2002). Malaga, Spagna, Giugno 10-14, Correct and automatic assembly of COTS components: an architectural approach, P.Inverardi e M.Tivoli. Nel proceedings del 5th ICSE Workshop on Component-Based Software Engineering (CBSE5): Benchmarks for Predictable Assembly a ICSE Orlando, Florida, USA, Maggio 19-20, Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications, P.Inverardi e M.Tivoli. Nel ACM Proceedings del ESEC and 9th FSE evento congiunto (ESEC/FSE 2001). Vienna ISBN: Pagine: Stampato da: ACM Press, New York, NY, USA. [acceptance rate 21% (29/137)] Tesi di dottorato di ricerca: An architectural approach to the automatic composition and adaptation of software components, M.Tivoli. Dipartimento di Informatica, Università degli studi dell Aquila. 06/06/2005. Editor per: Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation, S.Becker, C.Canal, N.Diakov, J.M.Murillo, P.Poizat e M.Tivoli (Eds.). Proceedings del 3rd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT06). Tenuto in congiunzione con ECOOP2006. TRCS 011/ Dipartimento di Informatica, Università degli studi dell Aquila. New Issues on Coordination and Adaptation Techniques, S.Becker, C.Canal, J.M.Murillo, P.Poizat e M.Tivoli (Eds.). Proceedings del 2nd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT05). Tenuto in congiunzione con ECOOP2005. TRCS 006/ Dipartimento di Informatica, Università degli studi dell Aquila. Rapporti di ricerca: Adaptor synthesis for real-time components, (long version of the corresponding paper published in the proceedings of TACAS2007), M.Tivoli, P.Fradet, A. Girault and G. Goessler. Research Report, INRIA Rhône-Alpes, poject team POP ART, 655 avenue de l Europe, Montbonnot, France. October Publications/RR/tivoli06.pdf Rapporti tecnici: Coordinators synthesis for failure-free component based architectures, (long version of the corresponding paper published as chapter in LNCS 2804), P.Inverardi and M.Tivoli. University of L Aquila, Computer Science Department. February Model-based specification and analysis of software architectures: concurrent trends and future directions, P.Inverardi, V.Cortellessa, A.Di Marco, H.Muccini, P.Pelliccione and M.Tivoli. University of L Aquila, Computer Science Department. September Synthesis of protocol-enhancing adaptors for component-based systems, (long version of the corresponding paper published in the proceedings of WICSA5), M.Tivoli and D.Garlan. Carnegie Mellon University, Computer Science Department. May Synthesis of correct and distributed adaptors for component-based systems: an automatic approach, (long version of the corresponding paper published in the proceedings of ASE2005), P.Inverardi, L.Mostarda, M.Tivoli and M.Autili. University of L Aquila, Computer Science Department. May A component-based development framework for supporting functional and non-functional analysis in control system design, (long version of the corresponding paper published in the proceedings of ASE2005), J.Fredriksson, M.Tivoli and I.Crnkovic. Mälardalen University, Mälardalen Real-Time Research Centre. May Tutte le pubblicazioni di Massimo Tivoli sono disponibili per il download, sulla sua pagina WEB, al seguente URL: 11

12 Interessi: Sport, Lettura, Cinema, Teatro. Hobbies: Alpinismo, Escursionismo, Corsa, Palestra, Tennis. Servizio militare: Congedato. Legge 675/96 e sue successive modifiche e/o integrazioni: Massimo Tivoli autorizza il trattamento dei dati personali ai sensi della Legge 675/96 e su e successive modifiche e/o integrazioni. L Aquila, 22/04/2010. In fede 12