@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 = {ICSE},
}

@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 = {fsen},
}

@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 = {ASE},
}

@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 = {jss},
  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 = {ewsa},
}

@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 = {icsoc},
}

@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 = {services},
}

@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 = {FSE},
}

@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 = {FSE},
}

@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 = {ISoLA},
}

@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 = {issse},
}

@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 = {rissef},
}

@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 = {CSMR},
}

@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 = {LATA},
}

@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 = {ISSTA},
}

@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 = {FSE},
}

@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 = {jss},
  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 = {Dagstuhl},
}

@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 = {ENTCS},
  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 = {wicsa},
}

@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 = {services},
}

@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 = {Dagstuhl},
}

@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 = {Dagstuhl},
}

@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 = {TACAS},
}

@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 = {SERENE},
}

@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 = {sfm},
}

@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 = {ENTCS},
  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 = {ICECCS},
}

@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 = {wetice},
}

@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 = {ICSE},
}

@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 = {RE},
}

@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 = {jss},
  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/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 = {ECOOPW},
}

@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 = {ISoLA},
}

@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 = {SCP},
  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 = {Lobjet},
  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 = {jisa},
  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 = {ICSE},
}

@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 = {monterey},
}

@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 = {sfm},
}

@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 = {SERENE},
}

@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 = {ICSE},
}

@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 = {ASE},
}

@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 = {ASE},
}

@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 = {jckbse},
}

@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 = {FASE},
}

@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 = {cbse},
}

@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 = {ESEC/FSE},
}

@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 = {ISoLA},
}

@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 = {jss},
  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},
}