@inproceedings{InverardiPT09,
  title = {Towards an assume-guarantee theory for adaptable systems},
  author = {Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
  year = {2009},
  doi = {10.1109/SEAMS.2009.5069079},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEAMS.2009.5069079},
  researchr = {https://researchr.org/publication/InverardiPT09},
  cites = {0},
  citedby = {0},
  pages = {106-115},
  booktitle = {2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2009, Vancouver, BC, Canada, May 18-19, 2009},
  publisher = {IEEE},
  isbn = {978-1-4244-3724-5},
}

@inproceedings{AutiliIT15-0,
  title = {Automated Integration of Service-Oriented Software Systems},
  author = {Marco Autili and Paola Inverardi and Massimo Tivoli},
  year = {2015},
  doi = {10.1007/978-3-319-24644-4_2},
  url = {http://dx.doi.org/10.1007/978-3-319-24644-4_2},
  researchr = {https://researchr.org/publication/AutiliIT15-0},
  cites = {0},
  citedby = {0},
  pages = {30-45},
  booktitle = {Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  editor = {Mehdi Dastani and Marjan Sirjani},
  volume = {9392},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-24643-7},
}

@inproceedings{InverardiMTA05,
  title = {Synthesis of correct and distributed adaptors for component-based systems: an automatic approach},
  author = {Paola Inverardi and Leonardo Mostarda and Massimo Tivoli and Marco Autili},
  year = {2005},
  doi = {10.1145/1101908.1101981},
  url = {http://doi.acm.org/10.1145/1101908.1101981},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/InverardiMTA05},
  cites = {0},
  citedby = {0},
  pages = {405-409},
  booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA},
  editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman},
  publisher = {ACM},
}

@article{AkerholmCFHHMPT07,
  title = {The SAVE approach to component-based development of vehicular systems},
  author = {Mikael Åkerholm and Jan Carlson and Johan Fredriksson and Hans Hansson and John Håkansson and Anders Möller and Paul Pettersson and Massimo Tivoli},
  year = {2007},
  doi = {10.1016/j.jss.2006.08.016},
  url = {http://dx.doi.org/10.1016/j.jss.2006.08.016},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/AkerholmCFHHMPT07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {80},
  number = {5},
  pages = {655-667},
}

@inproceedings{AutiliFINT06,
  title = {Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems},
  author = {Marco Autili and Michele Flammini and Paola Inverardi and Alfredo Navarra and Massimo Tivoli},
  year = {2006},
  doi = {10.1007/11966104_3},
  url = {http://dx.doi.org/10.1007/11966104_3},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AutiliFINT06},
  cites = {0},
  citedby = {0},
  pages = {17-32},
  booktitle = {Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers},
  editor = {Volker Gruhn and Flávio Oquendo},
  volume = {4344},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-69271-1},
}

@inproceedings{AutiliBCMRIT07,
  title = {A Development Process for Self-adapting Service Oriented Applications},
  author = {Marco Autili and L. Berardinelli and Vittorio Cortellessa and Antinisca Di Marco and Davide Di Ruscio and Paola Inverardi and Massimo Tivoli},
  year = {2007},
  doi = {10.1007/978-3-540-74974-5_41},
  url = {http://dx.doi.org/10.1007/978-3-540-74974-5_41},
  researchr = {https://researchr.org/publication/AutiliBCMRIT07},
  cites = {0},
  citedby = {0},
  pages = {442-448},
  booktitle = {Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings},
  editor = {Bernd J. Krämer and Kwei-Jay Lin and Priya Narasimhan},
  volume = {4749},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74973-8},
}

@inproceedings{AutiliGT14,
  title = {IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014)},
  author = {Marco Autili and Alfredo Goldman and Massimo Tivoli},
  year = {2014},
  doi = {10.1109/SERVICES.2014.63},
  url = {http://dx.doi.org/10.1109/SERVICES.2014.63},
  researchr = {https://researchr.org/publication/AutiliGT14},
  cites = {0},
  citedby = {0},
  pages = {323-324},
  booktitle = {2014 IEEE World Congress on Services, Anchorage, AK, USA, June 27 - July 2, 2014},
  publisher = {IEEE},
}

@inproceedings{InverardiARPT13,
  title = {Producing software by integration: challenges and research directions (keynote)},
  author = {Paola Inverardi and Marco Autili and Davide Di Ruscio and Patrizio Pelliccione and Massimo Tivoli},
  year = {2013},
  doi = {10.1145/2491411.2505428},
  url = {http://doi.acm.org/10.1145/2491411.2505428},
  researchr = {https://researchr.org/publication/InverardiARPT13},
  cites = {0},
  citedby = {0},
  pages = {2-12},
  booktitle = {Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini},
  publisher = {ACM},
  isbn = {978-1-4503-2237-9},
}

@inproceedings{BertolinoIPT09,
  title = {Automatic synthesis of behavior protocols for composable web-services},
  author = {Antonia Bertolino and Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
  year = {2009},
  doi = {10.1145/1595696.1595719},
  url = {http://doi.acm.org/10.1145/1595696.1595719},
  tags = {protocol, web service, web services},
  researchr = {https://researchr.org/publication/BertolinoIPT09},
  cites = {0},
  citedby = {0},
  pages = {141-150},
  booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009},
  editor = {Hans van Vliet and Valérie Issarny},
  publisher = {ACM},
  isbn = {978-1-60558-001-2},
}

@inproceedings{BertolinoAMIST08,
  title = {A Framework for Analyzing and Testing the Performance of Software Services},
  author = {Antonia Bertolino and Guglielmo De Angelis and Antinisca Di Marco and Paola Inverardi and Antonino Sabetta and Massimo Tivoli},
  year = {2008},
  doi = {10.1007/978-3-540-88479-8_15},
  url = {http://dx.doi.org/10.1007/978-3-540-88479-8_15},
  tags = {testing},
  researchr = {https://researchr.org/publication/BertolinoAMIST08},
  cites = {0},
  citedby = {0},
  pages = {206-220},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {17},
  series = {Communications in Computer and Information Science},
  publisher = {Springer},
  isbn = {978-3-540-88478-1},
}

@inproceedings{InverardiT08,
  title = {The Future of Software: Adaptation and Dependability},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2008},
  doi = {10.1007/978-3-540-95888-8_1},
  url = {http://dx.doi.org/10.1007/978-3-540-95888-8_1},
  researchr = {https://researchr.org/publication/InverardiT08},
  cites = {0},
  citedby = {0},
  pages = {1-31},
  booktitle = {Software Engineering, International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures},
  editor = {Andrea De Lucia and Filomena Ferrucci},
  volume = {5413},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-95887-1},
}

@inproceedings{InverardiT02,
  title = {Automatic Failures-Free Connector Synthesis: An Example},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2941&spage=184},
  researchr = {https://researchr.org/publication/InverardiT02},
  cites = {0},
  citedby = {0},
  pages = {184-197},
  booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers},
  editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo},
  volume = {2941},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21179-9},
}

@inproceedings{AutiliIT14,
  title = {CHOREOS: Large scale choreographies for the future internet},
  author = {Marco Autili and Paola Inverardi and Massimo Tivoli},
  year = {2014},
  doi = {10.1109/CSMR-WCRE.2014.6747202},
  url = {http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747202},
  researchr = {https://researchr.org/publication/AutiliIT14},
  cites = {0},
  citedby = {0},
  pages = {391-394},
  booktitle = {2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014},
  editor = {Serge Demeyer and Dave Binkley and Filippo Ricca},
  publisher = {IEEE},
}

@inproceedings{AutiliIMST15,
  title = {Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications},
  author = {Marco Autili and Paola Inverardi and Filippo Mignosi and Romina Spalazzese and Massimo Tivoli},
  year = {2015},
  doi = {10.1007/978-3-319-15579-1_1},
  url = {http://dx.doi.org/10.1007/978-3-319-15579-1_1},
  researchr = {https://researchr.org/publication/AutiliIMST15},
  cites = {0},
  citedby = {0},
  pages = {3-24},
  booktitle = {Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings},
  editor = {Adrian Horia Dediu and Enrico Formenti and Carlos Martín-Vide and Bianca Truthe},
  volume = {8977},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-15578-4},
}

@inproceedings{BucchiaronePPT06,
  title = {Towards an architectural approach for the dynamic and automatic composition of software components},
  author = {Antonio Bucchiarone and Andrea Polini and Patrizio Pelliccione and Massimo Tivoli},
  year = {2006},
  doi = {10.1145/1147249.1147251},
  url = {http://doi.acm.org/10.1145/1147249.1147251},
  tags = {software architecture, software components, architecture, composition, software component, systematic-approach},
  researchr = {https://researchr.org/publication/BucchiaronePPT06},
  cites = {0},
  citedby = {0},
  pages = {12-21},
  booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 200},
  editor = {Robert M. Hierons and Henry Muccini},
  publisher = {ACM},
  isbn = {1-59593-459-6},
}

@article{AutiliIT15,
  title = {Automated Synthesis of Service Choreographies},
  author = {Marco Autili and Paola Inverardi and Massimo Tivoli},
  year = {2015},
  doi = {10.1109/MS.2014.131},
  url = {http://dx.doi.org/10.1109/MS.2014.131},
  researchr = {https://researchr.org/publication/AutiliIT15},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {32},
  number = {1},
  pages = {50-57},
}

@inproceedings{AutiliCRIPT11,
  title = {EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty},
  author = {Marco Autili and Vittorio Cortellessa and Davide Di Ruscio and Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
  year = {2011},
  doi = {10.1145/2025113.2025199},
  url = {http://doi.acm.org/10.1145/2025113.2025199},
  researchr = {https://researchr.org/publication/AutiliCRIPT11},
  cites = {0},
  citedby = {0},
  pages = {488-491},
  booktitle = {SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011},
  editor = {Tibor Gyimóthy and Andreas Zeller},
  publisher = {ACM},
  isbn = {978-1-4503-0443-6},
}

@article{InverardiT03,
  title = {Deadlock-free software architectures for COM/DCOM Applications},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2003},
  doi = {10.1016/S0164-1212(02)00037-7},
  url = {http://dx.doi.org/10.1016/S0164-1212(02)00037-7},
  tags = {software architecture, architecture},
  researchr = {https://researchr.org/publication/InverardiT03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {65},
  number = {3},
  pages = {173-183},
}

@inproceedings{BeckerBGORT04,
  title = {Towards an Engineering Approach to Component Adaptation},
  author = {Steffen Becker and Antonio Brogi and Ian Gorton and Sven Overhage and Alexander Romanovsky and Massimo Tivoli},
  year = {2004},
  doi = {10.1007/11786160_11},
  url = {http://dx.doi.org/10.1007/11786160_11},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/BeckerBGORT04},
  cites = {0},
  citedby = {0},
  pages = {193-215},
  booktitle = {Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
  editor = {Ralf H. Reussner and Judith A. Stafford and Clemens A. Szyperski},
  volume = {3938},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35800-5},
}

@article{BeckerCDMPT07,
  title = {Preface},
  author = {Steffen Becker and Carlos Canal and Nikolay Diakov and Juan Manuel Murillo and Pascal Poizat and Massimo Tivoli},
  year = {2007},
  doi = {10.1016/j.entcs.2007.05.044},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.05.044},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/BeckerCDMPT07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {189},
  pages = {1-3},
}

@inproceedings{TivoliG05,
  title = {Adaptor Synthesis for Protocol-Enhanced Component Based Architectures},
  author = {Massimo Tivoli and David Garlan},
  year = {2005},
  doi = {10.1109/WICSA.2005.9},
  url = {http://doi.ieeecomputersociety.org/10.1109/WICSA.2005.9},
  tags = {rule-based, protocol, architecture},
  researchr = {https://researchr.org/publication/TivoliG05},
  cites = {0},
  citedby = {0},
  pages = {276-277},
  booktitle = {Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2548-2},
}

@inproceedings{AutiliGT15,
  title = {IEEE Services Visionary Track on Service Composition for the Future Internet (SCFI 2015)},
  author = {Marco Autili and Alfredo Goldman and Massimo Tivoli},
  year = {2015},
  doi = {10.1109/SERVICES.2015.56},
  url = {http://dx.doi.org/10.1109/SERVICES.2015.56},
  researchr = {https://researchr.org/publication/AutiliGT15},
  cites = {0},
  citedby = {0},
  pages = {327-328},
  booktitle = {2015 IEEE World Congress on Services, SERVICES 2015, New York City, NY, USA, June 27 - July 2, 2015},
  editor = {Liang-Jie Zhang and Rami Bahsoon},
  publisher = {IEEE},
  isbn = {978-1-4673-7275-6},
}

@inproceedings{AutiliRIPT11,
  title = {ModelLAND: Where Do Models Come from?},
  author = {Marco Autili and Davide Di Ruscio and Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
  year = {2011},
  doi = {10.1007/978-3-319-08915-7_6},
  url = {http://dx.doi.org/10.1007/978-3-319-08915-7_6},
  researchr = {https://researchr.org/publication/AutiliRIPT11},
  cites = {0},
  citedby = {0},
  pages = {162-187},
  booktitle = {Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27 - December 2, 2011]},
  editor = {Nelly Bencomo and Robert B. France and Betty H. C. Cheng and Uwe Aßmann},
  volume = {8378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-08914-0},
}

@inproceedings{ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
  title = {Software Engineering for Self-Adaptive Systems: A Research Roadmap},
  author = {Betty H. C. Cheng and Rogério de Lemos and Holger Giese and Paola Inverardi and Jeff Magee and Jesper Andersson and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Giovanna Di Marzo Serugendo and Schahram Dustdar and Anthony Finkelstein and Cristina Gacek and Kurt Geihs and Vincenzo Grassi and Gabor Karsai and Holger M. Kienle and Jeff Kramer and Marin Litoiu and Sam Malek and Raffaela Mirandola and Hausi A. Müller and Sooyong Park and Mary Shaw and Matthias Tichy and Massimo Tivoli and Danny Weyns and Jon Whittle},
  year = {2009},
  doi = {10.1007/978-3-642-02161-9_1},
  url = {http://dx.doi.org/10.1007/978-3-642-02161-9_1},
  tags = {software engineering, C++},
  researchr = {https://researchr.org/publication/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09},
  cites = {0},
  citedby = {0},
  pages = {1-26},
  booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]},
  editor = {Betty H. C. Cheng and Rogério de Lemos and Holger Giese and Paola Inverardi and Jeff Magee},
  volume = {5525},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02160-2},
}

@inproceedings{TivoliFGG07,
  title = {Adaptor Synthesis for Real-Time Components},
  author = {Massimo Tivoli and Pascal Fradet and Alain Girault and Gregor Gößler},
  year = {2007},
  doi = {10.1007/978-3-540-71209-1_16},
  url = {http://dx.doi.org/10.1007/978-3-540-71209-1_16},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/TivoliFGG07},
  cites = {0},
  citedby = {0},
  pages = {185-200},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi},
  editor = {Orna Grumberg and Michael Huth},
  volume = {4424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71208-4},
}

@inproceedings{AutiliST13,
  title = {Synthesis of Resilient Choreographies},
  author = {Marco Autili and Amleto Di Salle and Massimo Tivoli},
  year = {2013},
  doi = {10.1007/978-3-642-40894-6_8},
  url = {http://dx.doi.org/10.1007/978-3-642-40894-6_8},
  researchr = {https://researchr.org/publication/AutiliST13},
  cites = {0},
  citedby = {0},
  pages = {94-108},
  booktitle = {Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
  editor = {Anatoliy Gorbenko and Alexander Romanovsky and Vyacheslav S. Kharchenko},
  volume = {8166},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40894-6},
}

@inproceedings{InverardiT03:0,
  title = {Software Architecture for Correct Components Assembly},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2804&spage=92},
  tags = {software architecture, software components, architecture, software component},
  researchr = {https://researchr.org/publication/InverardiT03%3A0},
  cites = {0},
  citedby = {0},
  pages = {92-121},
  booktitle = {Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures},
  editor = {Marco Bernardo and Paola Inverardi},
  volume = {2804},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20083-5},
}

@article{PoizatST07,
  title = {An Adaptation-based Approach to Incrementally Build Component Systems},
  author = {Pascal Poizat and Gwen Salaün and Massimo Tivoli},
  year = {2007},
  doi = {10.1016/j.entcs.2006.09.037},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.09.037},
  tags = {rule-based, incremental, Pascal, systematic-approach},
  researchr = {https://researchr.org/publication/PoizatST07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {182},
  pages = {155-170},
}

@inproceedings{IssarnySJBGKCITBS09,
  title = {CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems},
  author = {Valérie Issarny and Bernhard Steffen and Bengt Jonsson and Gordon S. Blair and Paul Grace and Marta Z. Kwiatkowska and Radu Calinescu and Paola Inverardi and Massimo Tivoli and Antonia Bertolino and Antonino Sabetta},
  year = {2009},
  doi = {10.1109/ICECCS.2009.44},
  url = {http://dx.doi.org/10.1109/ICECCS.2009.44},
  researchr = {https://researchr.org/publication/IssarnySJBGKCITBS09},
  cites = {0},
  citedby = {0},
  pages = {154-161},
  booktitle = {14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009},
  publisher = {IEEE Computer Society},
}

@inproceedings{InverardiTB03,
  title = {Automatic synthesis of coordinators for COTS group-ware applications: an example},
  author = {Paola Inverardi and Massimo Tivoli and Antonio Bucchiarone},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/wetice/2003/1963/00/19630123abs.htm},
  researchr = {https://researchr.org/publication/InverardiTB03},
  cites = {0},
  citedby = {0},
  pages = {123},
  booktitle = {12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1963-6},
}

@inproceedings{CavallaroNPPT10,
  title = {Synthesizing adapters for conversational web-services from their WSDL interface},
  author = {Luca Cavallaro and Elisabetta Di Nitto and Patrizio Pelliccione and Matteo Pradella and Massimo Tivoli},
  year = {2010},
  doi = {10.1145/1808984.1808996},
  url = {http://doi.acm.org/10.1145/1808984.1808996},
  researchr = {https://researchr.org/publication/CavallaroNPPT10},
  cites = {0},
  citedby = {0},
  pages = {104-113},
  booktitle = {2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2010, Cape Town, South Africa, May 3-4, 2010},
  editor = {Rogério de Lemos and Mauro Pezzè},
  publisher = {ACM},
}

@inproceedings{AutiliRILT11,
  title = {A development process for requirements based service choreography},
  author = {Marco Autili and Davide Di Ruscio and Paola Inverardi and James Lockerbie and Massimo Tivoli},
  year = {2011},
  doi = {10.1109/RESS.2011.6043925},
  url = {http://dx.doi.org/10.1109/RESS.2011.6043925},
  researchr = {https://researchr.org/publication/AutiliRILT11},
  cites = {0},
  citedby = {0},
  pages = {59-62},
  booktitle = {Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on, Trento, Italy, August 30, 2011},
  publisher = {IEEE},
  isbn = {978-1-4577-0939-5},
}

@article{AutiliMNT08,
  title = {Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems},
  author = {Marco Autili and Leonardo Mostarda and Alfredo Navarra and Massimo Tivoli},
  year = {2008},
  doi = {10.1016/j.jss.2008.04.006},
  url = {http://dx.doi.org/10.1016/j.jss.2008.04.006},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AutiliMNT08},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {81},
  number = {12},
  pages = {2210-2236},
}

@inproceedings{InverardiT01,
  title = {Automatic synthesis of deadlock free connectors for COM/DCOM applications},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2001},
  doi = {10.1145/503209.503227},
  url = {http://doi.acm.org/10.1145/503209.503227},
  researchr = {https://researchr.org/publication/InverardiT01},
  cites = {0},
  citedby = {0},
  pages = {121-131},
  booktitle = {ESEC / SIGSOFT FSE},
}

@inproceedings{BeckerCDMPT06,
  title = {Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation},
  author = {Steffen Becker and Carlos Canal and Nikolay Diakov and Juan Manuel Murillo and Pascal Poizat and Massimo Tivoli},
  year = {2006},
  doi = {10.1007/978-3-540-71774-4_9},
  url = {http://dx.doi.org/10.1007/978-3-540-71774-4_9},
  tags = {Pascal, design},
  researchr = {https://researchr.org/publication/BeckerCDMPT06},
  cites = {0},
  citedby = {0},
  pages = {72-86},
  booktitle = {Object-Oriented Technology, ECOOP 2006 Workshop Reader, ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
  editor = {Mario Südholt and Charles Consel},
  volume = {4379},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71772-0},
}

@inproceedings{AutiliCIKT10,
  title = {Towards a Connector Algebra},
  author = {Marco Autili and Chris Chilton and Paola Inverardi and Marta Z. Kwiatkowska and Massimo Tivoli},
  year = {2010},
  doi = {10.1007/978-3-642-16561-0_28},
  url = {http://dx.doi.org/10.1007/978-3-642-16561-0_28},
  tags = { algebra},
  researchr = {https://researchr.org/publication/AutiliCIKT10},
  cites = {0},
  citedby = {0},
  pages = {278-292},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {6416},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16560-3},
}

@article{TivoliI08,
  title = {Failure-free coordinators synthesis for component-based architectures},
  author = {Massimo Tivoli and Paola Inverardi},
  year = {2008},
  doi = {10.1016/j.scico.2008.03.001},
  url = {http://dx.doi.org/10.1016/j.scico.2008.03.001},
  tags = {rule-based, architecture},
  researchr = {https://researchr.org/publication/TivoliI08},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {71},
  number = {3},
  pages = {181-212},
}

@article{TivoliA06,
  title = {SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors},
  author = {Massimo Tivoli and Marco Autili},
  year = {2006},
  url = {http://objet.revuesonline.com/article.jsp?articleId=7950},
  tags = {protocol},
  researchr = {https://researchr.org/publication/TivoliA06},
  cites = {0},
  citedby = {0},
  journal = {L OBJET},
  volume = {12},
  number = {1},
  pages = {77-103},
}

@article{AutiliIPT12,
  title = {Developing highly complex distributed systems: a software engineering perspective},
  author = {Marco Autili and Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
  year = {2012},
  doi = {10.1007/s13174-011-0048-5},
  url = {http://dx.doi.org/10.1007/s13174-011-0048-5},
  researchr = {https://researchr.org/publication/AutiliIPT12},
  cites = {0},
  citedby = {0},
  journal = {J. Internet Services and Applications},
  volume = {3},
  number = {1},
  pages = {15-22},
}

@inproceedings{AutiliINT07,
  title = {SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems},
  author = {Marco Autili and Paola Inverardi and Alfredo Navarra and Massimo Tivoli},
  year = {2007},
  doi = {10.1109/ICSE.2007.84},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.84},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AutiliINT07},
  cites = {0},
  citedby = {0},
  pages = {784-787},
  booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {IEEE Computer Society},
}

@inproceedings{AutiliCRIPT12,
  title = {Integration Architecture Synthesis for Taming Uncertainty in the Digital Space},
  author = {Marco Autili and Vittorio Cortellessa and Davide Di Ruscio and Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
  year = {2012},
  doi = {10.1007/978-3-642-34059-8_6},
  url = {http://dx.doi.org/10.1007/978-3-642-34059-8_6},
  researchr = {https://researchr.org/publication/AutiliCRIPT12},
  cites = {0},
  citedby = {0},
  pages = {118-131},
  booktitle = {Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers},
  editor = {Radu Calinescu and David Garlan},
  volume = {7539},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-34058-1},
}

@inproceedings{InverardiST11,
  title = {Application-Layer Connector Synthesis},
  author = {Paola Inverardi and Romina Spalazzese and Massimo Tivoli},
  year = {2011},
  doi = {10.1007/978-3-642-21455-4_5},
  url = {http://dx.doi.org/10.1007/978-3-642-21455-4_5},
  researchr = {https://researchr.org/publication/InverardiST11},
  cites = {0},
  citedby = {0},
  pages = {148-190},
  booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures},
  editor = {Marco Bernardo and Valérie Issarny},
  volume = {6659},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-21454-7},
}

@inproceedings{AutiliSGPT15,
  title = {Biological Immunity and Software Resilience: Two Faces of the Same Coin?},
  author = {Marco Autili and Amleto Di Salle and Francesco Gallo and Alexander Perucci and Massimo Tivoli},
  year = {2015},
  doi = {10.1007/978-3-319-23129-7_1},
  url = {http://dx.doi.org/10.1007/978-3-319-23129-7_1},
  researchr = {https://researchr.org/publication/AutiliSGPT15},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings},
  editor = {Alessandro Fantechi and Patrizio Pelliccione},
  volume = {9274},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-23128-0},
}

@inproceedings{InverardiT13,
  title = {Automatic synthesis of modular connectors via composition of protocol mediation patterns},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2486790},
  researchr = {https://researchr.org/publication/InverardiT13},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
  editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
  publisher = {IEEE / ACM},
  isbn = {978-1-4673-3076-3},
}

@inproceedings{BozhinoskiRMPT15,
  title = {FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters},
  author = {Darko Bozhinoski and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione and Massimo Tivoli},
  year = {2015},
  doi = {10.1109/ASE.2015.104},
  url = {http://dx.doi.org/10.1109/ASE.2015.104},
  researchr = {https://researchr.org/publication/BozhinoskiRMPT15},
  cites = {0},
  citedby = {0},
  pages = {801-806},
  booktitle = {30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015},
  editor = {Myra B. Cohen and Lars Grunske and Michael Whalen},
  publisher = {IEEE},
  isbn = {978-1-5090-0025-8},
}

@inproceedings{FredrikssonTC05,
  title = {A component-based development framework for supporting functional and non-functional analysis in control system design},
  author = {Johan Fredriksson and Massimo Tivoli and Ivica Crnkovic},
  year = {2005},
  doi = {10.1145/1101908.1101972},
  url = {http://doi.acm.org/10.1145/1101908.1101972},
  tags = {control systems, analysis, design},
  researchr = {https://researchr.org/publication/FredrikssonTC05},
  cites = {0},
  citedby = {0},
  pages = {368-371},
  booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA},
  editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman},
  publisher = {ACM},
}

@inproceedings{AutiliBRIT08,
  title = {A development process for context-aware adaptive services},
  author = {Marco Autili and Paolo Di Benedetto and Davide Di Ruscio and Paola Inverardi and Massimo Tivoli},
  year = {2008},
  doi = {10.1109/ASEW.2008.4686288},
  url = {http://dx.doi.org/10.1109/ASEW.2008.4686288},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/AutiliBRIT08},
  cites = {0},
  citedby = {0},
  pages = {9-16},
  booktitle = {23rd IEEE/ACM International Conference on Automated Software Engineering - Workshop Proceedings (ASE Workshops 2008), 15-16 September 2008, L Aquila, Italy},
  publisher = {IEEE},
  isbn = {978-1-4244-2776-5},
}

@inproceedings{AutiliRSIT13,
  title = {A Model-Based Synthesis Process for Choreography Realizability Enforcement},
  author = {Marco Autili and Davide Di Ruscio and Amleto Di Salle and Paola Inverardi and Massimo Tivoli},
  year = {2013},
  doi = {10.1007/978-3-642-37057-1_4},
  url = {http://dx.doi.org/10.1007/978-3-642-37057-1_4},
  researchr = {https://researchr.org/publication/AutiliRSIT13},
  cites = {0},
  citedby = {0},
  pages = {37-52},
  booktitle = {Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor = {Vittorio Cortellessa and Dániel Varró},
  volume = {7793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-37056-4},
}

@inproceedings{TivoliIPFS04,
  title = {Correct Components Assembly for a Product Data Management Cooperative System},
  author = {Massimo Tivoli and Paola Inverardi and Valentina Presutti and Alessandro Forghieri and Maurizio Sebastianis},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3054&spage=84},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/TivoliIPFS04},
  cites = {0},
  citedby = {0},
  pages = {84-99},
  booktitle = {Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
  editor = {Ivica Crnkovic and Judith A. Stafford and Heinz W. Schmidt and Kurt C. Wallnau},
  volume = {3054},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21998-6},
}

@inproceedings{InverardiT07,
  title = {A reuse-based approach to the correct and automatic composition of web-services},
  author = {Paola Inverardi and Massimo Tivoli},
  year = {2007},
  doi = {10.1145/1294904.1294908},
  url = {http://doi.acm.org/10.1145/1294904.1294908},
  tags = {rule-based, web service, composition, reuse, web services, systematic-approach},
  researchr = {https://researchr.org/publication/InverardiT07},
  cites = {0},
  citedby = {0},
  pages = {29-33},
  booktitle = {Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, ESSPE 2007, Dubrovnik, Croatia, September 4, 2007},
  editor = {Alexander L. Wolf},
  publisher = {ACM},
  isbn = {978-1-59593-798-8},
}

@inproceedings{MertenHSPT12,
  title = {Automated Inference of Models for Black Box Systems Based on Interface Descriptions},
  author = {Maik Merten and Falk Howar and Bernhard Steffen and Patrizio Pelliccione and Massimo Tivoli},
  year = {2012},
  doi = {10.1007/978-3-642-34026-0_7},
  url = {http://dx.doi.org/10.1007/978-3-642-34026-0_7},
  researchr = {https://researchr.org/publication/MertenHSPT12},
  cites = {0},
  citedby = {0},
  pages = {79-96},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I},
  editor = {Tiziana Margaria and Bernhard Steffen},
  volume = {7609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-34025-3},
}

@article{PelliccioneTBP08,
  title = {An architectural approach to the correct and automatic assembly of evolving component-based systems},
  author = {Patrizio Pelliccione and Massimo Tivoli and Antonio Bucchiarone and Andrea Polini},
  year = {2008},
  doi = {10.1016/j.jss.2008.05.030},
  url = {http://dx.doi.org/10.1016/j.jss.2008.05.030},
  tags = {rule-based, architecture, systematic-approach},
  researchr = {https://researchr.org/publication/PelliccioneTBP08},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {81},
  number = {12},
  pages = {2237-2251},
}
@proceedings{cbse-2013,
  title = {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},
  year = {2013},
  url = {http://dl.acm.org/citation.cfm?id=2465449},
  researchr = {https://researchr.org/publication/cbse-2013},
  cites = {0},
  citedby = {0},
  booktitle = {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},
  conference = {cbse},
  editor = {Philippe Kruchten and Dimitra Giannakopoulou and Massimo Tivoli},
  publisher = {ACM},
  isbn = {978-1-4503-2122-8},
}

@proceedings{staf-2015ps,
  title = {Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1400},
  researchr = {https://researchr.org/publication/staf-2015ps},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015},
  conference = {staf},
  editor = {Marco Autili and Tom Ritter and Andrey Sadovykh and Massimo Tivoli},
  volume = {1400},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@proceedings{models-2014modcomp,
  title = {Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014},
  year = {2014},
  url = {http://ceur-ws.org/Vol-1281},
  researchr = {https://researchr.org/publication/models-2014modcomp},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014},
  conference = {MoDELS},
  editor = {Federico Ciccozzi and Massimo Tivoli and Jan Carlson},
  volume = {1281},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}