@article(IEEE_SOFTWARE:2015,
 author       = {M.\nobreakspace Autili and P.\nobreakspace Inverardi and M.\nobreakspace Tivoli},
 year         = {2015},
 title        = {Automated Synthesis of Service Choreographies},
 journal      = {Software, IEEE},
 volume       = {32},
 number       = {1},
 pages        = {50--57},
 doi          = {10.1109/MS.2014.131},
)
@incollection(serene:2013,
 author       = {Marco Autili and Di\nobreakspace Salle, Amleto and Massimo Tivoli},
 year         = {2013},
 title        = {Synthesis of Resilient Choreographies},
 booktitle    = {SERENE},
 series       = {LNCS 8166},
 doi          = {10.1007/978-3-642-40894-6\_8},
)
@incollection(FASE:13,
 author       = {Marco Autili and Davide Ruscio and Di\nobreakspace Salle, Amleto and Paola Inverardi and Massimo Tivoli},
 year         = {2013},
 title        = {A Model-Based Synthesis Process for Choreography Realizability Enforcement},
 booktitle    = {FASE},
 series       = {LNCS},
 volume       = {7793},
 doi          = {10.1007/978-3-642-37057-1\_4},
)
@inproceedings(Autili:14,
 author       = {Marco Autili and Davide\nobreakspace Di Ruscio and Amleto\nobreakspace Di Salle and Alexander Perucci},
 year         = {2014},
 title        = {CHOReOSynt: enforcing choreography realizability in the future internet},
 booktitle    = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
 pages        = {723--726},
 doi          = {10.1145/2635868.2661667},
)
@inproceedings(Foclasa14,
 author       = {Marco Autili and Massimo Tivoli},
 year         = {2015},
 title        = {Distributed Enforcement of Service Choreographies},
 booktitle    = {Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, {FOCLASA} 2014, Rome, Italy, 6th September 2014.},
 pages        = {18--35},
 doi          = {10.4204/EPTCS.175.2},
)
@inproceedings(Bultan:2011,
 author       = {Samik Basu and Tevfik Bultan},
 year         = {2011},
 title        = {Choreography conformance via synchronizability},
 booktitle    = {Proc. of WWW '11},
 doi          = {10.1145/1963405.1963516},
)
@inproceedings(Bultan:2014,
 author       = {Samik Basu and Tevfik Bultan},
 year         = {2014},
 title        = {Automatic verification of interactions in asynchronous systems with unbounded buffers},
 booktitle    = {{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
 pages        = {743--754},
 doi          = {10.1145/2642937.2643016},
)
@inproceedings(Basu-Bultan-POPL:12,
 author       = {Samik Basu and Tevfik Bultan and Meriem Ouederni},
 year         = {2012},
 title        = {Deciding choreography realizability},
 series       = {POPL},
 publisher    = {ACM},
 doi          = {10.1145/2103656.2103680},
)
@inproceedings(Bertolino:2009,
 author       = {Antonia Bertolino and Paola Inverardi and Patrizio Pelliccione and Massimo Tivoli},
 year         = {2009},
 title        = {Automatic Synthesis of Behavior Protocols for Composable Web-services},
 booktitle    = {Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering},
 series       = {ESEC/FSE '09},
 pages        = {141--150},
 doi          = {10.1145/1595696.1595719},
)
@article(CalvertL90,
 author       = {Kenneth\nobreakspace L. Calvert and Simon\nobreakspace S. Lam},
 year         = {1990},
 title        = {Formal Methods for Protocol Conversion},
 journal      = {IEEE Journal on Selected Areas in Communications},
 volume       = {8},
 number       = {1},
 doi          = {10.1109/49.46852},
)
@inproceedings(Erhard:2002,
 author       = {Hong\nobreakspace Hai Do and Sergey Melnik and Erhard Rahm},
 year         = {2002},
 title        = {Comparison of Schema Matching Evaluations},
 booktitle    = {Web, Web-Services, and Database Systems, NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers},
 pages        = {221--237},
 doi          = {10.1007/3-540-36560-5\_17},
)
@inproceedings(Erhard:2002_COMA,
 author       = {Hong\nobreakspace Hai Do and Erhard Rahm},
 year         = {2002},
 title        = {{COMA} - {A} System for Flexible Combination of Schema Matching Approaches},
 booktitle    = {{VLDB} 2002, Proceedings of 28th International Conference on Very Large Data Bases, August 20-23, 2002, Hong Kong, China},
 pages        = {610--621},
 doi          = {10.1016/1287369.1287422},
)
@misc(FIRE:15,
 author       = {{European Commission}},
 year         = {2015},
 title        = {{Digital Agenda for Europe - Future Internet Research and Experimentation (FIRE) initiative}},
 url          = {https://ec.europa.eu/digital-agenda/en/future-internet-research-and-experimentation},
)
@incollection(Gwen:12,
 author       = {Gregor G{\"o}ssler and Gwen Sala{\"u}n},
 year         = {2012},
 title        = {Realizability of Choreographies for Services Interacting Asynchronously},
 booktitle    = {FACS},
 series       = {LNCS},
 volume       = {7253},
 pages        = {151--167},
 doi          = {10.1007/978-3-642-35743-5\_10},
)
@incollection(GwenPascalFASE:13,
 author       = {Matthias G{\"u}demann and Pascal Poizat and Gwen Sala{\"u}n and Alexandre Dumont},
 year         = {2013},
 title        = {VerChor: A Framework for Verifying Choreographies},
 booktitle    = {FASE},
 series       = {LNCS},
 volume       = {7793},
 pages        = {226--230},
 doi          = {10.1007/978-3-642-37057-1\_16},
)
@inproceedings(Gwen:2O12,
 author       = {Matthias G{\"{u}}demann and Gwen Sala{\"{u}}n and Meriem Ouederni},
 year         = {2012},
 title        = {Counterexample Guided Synthesis of Monitors for Realizability Enforcement},
 booktitle    = {Automated Technology for Verification and Analysis - 10th International Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings},
 pages        = {238--253},
 doi          = {10.1007/978-3-642-33386-6\_20},
)
@book(EIP:2004,
 author       = {Gregor Hohpe and Bobby Woolf},
 year         = {2004},
 title        = {Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions - Fiftheenth printing 2011},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@inproceedings(Tivoli:2013,
 author       = {Paola Inverardi and Massimo Tivoli},
 year         = {2013},
 title        = {Automatic Synthesis of Modular Connectors via Composition of Protocol Mediation Patterns},
 booktitle    = {Proceedings of ICSE'13},
 doi          = {10.1109/ICSE.2013.6606546},
)
@inproceedings(esocc13,
 author       = {Sung-Shik T.\nobreakspace Q. Jongmans and Farhad Arbab},
 year         = {2013},
 title        = {Global Consensus through Local Synchronization},
 booktitle    = {ESOCC Workshops},
 pages        = {174--188},
 doi          = {10.1007/978-3-642-45364-9\_15},
)
@inproceedings(pdp14,
 author       = {Sung-Shik T.\nobreakspace Q. Jongmans and Francesco Santini and Farhad Arbab},
 year         = {2014},
 title        = {Partially-Distributed Coordination with Reo},
 booktitle    = {PDP},
 pages        = {697--706},
 doi          = {10.1109/PDP.2014.19},
)
@inproceedings(fmco08,
 author       = {Natallia Kokash and Farhad Arbab},
 year         = {2008},
 title        = {Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems},
 booktitle    = {FMCO},
 pages        = {21--41},
 doi          = {10.1007/978-3-642-04167-9\_2},
)
@article(tsc13,
 author       = {Natallia Kokash and Farhad Arbab},
 year         = {2013},
 title        = {Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools},
 journal      = {IEEE T. Services Computing},
 volume       = {6},
 number       = {2},
 pages        = {186--200},
 doi          = {10.1109/TSC.2011.46},
)
@article(Lam88,
 author       = {Simon\nobreakspace S. Lam},
 year         = {1988},
 title        = {Correction to "Protocol Conversion"},
 journal      = {IEEE Trans. Software Eng.},
 volume       = {14},
 number       = {9},
 doi          = {10.1109/32.6181},
)
@article(scp11,
 author       = {Sun Meng and Farhad Arbab and Christel Baier},
 year         = {2011},
 title        = {Synthesis of Reo circuits from scenario-based interaction specifications},
 journal      = {Sci. Comput. Program.},
 volume       = {76},
 number       = {8},
 pages        = {651--680},
 doi          = {10.1007/978-3-540-78743-3\_12},
)
@inproceedings(Paolucci:2002,
 author       = {Massimo Paolucci and Takahiro Kawamura and Terry\nobreakspace R. Payne and Katia\nobreakspace P. Sycara},
 year         = {2002},
 title        = {Semantic Matching of Web Services Capabilities},
 booktitle    = {The Semantic Web - {ISWC} 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings},
 pages        = {333--347},
 doi          = {10.1007/3-540-48005-6\_26},
)
@inproceedings(converter_synthesis,
 author       = {Roberto Passerone and Luca\nobreakspace De Alfaro and Thomas\nobreakspace A. Henzinger and Sangiovanni-Vincentelli, Alberto\nobreakspace L.},
 year         = {2002},
 title        = {Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin},
 booktitle    = {ICCAD},
 doi          = {10.1145/774572.774592},
)
@inproceedings(pascal12,
 author       = {Pascal Poizat and Gwen Sala{\"u}n},
 year         = {2012},
 title        = {{Checking the Realizability of BPMN 2.0 Choreographies}},
 booktitle    = {{Proc. of SAC 2012}},
 doi          = {10.1145/2245276.2232095},
)
@inproceedings(Sal08,
 author       = {Gwen Sala\"{u}n},
 year         = {2008},
 title        = {Generation of Service Wrapper Protocols from Choreography Specifications},
 booktitle    = {Proc. of SEFM},
 doi          = {10.1109/SEFM.2008.42},
)
@article(Bultan:2012,
 author       = {Gwen Sala{\"{u}}n and Tevfik Bultan and Nima Roohi},
 year         = {2012},
 title        = {Realizability of Choreographies Using Process Algebra Encodings},
 journal      = {{IEEE} T. Services Computing},
 volume       = {5},
 number       = {3},
 pages        = {290--304},
 doi          = {10.1109/TSC.2011.9},
)
@inproceedings(Perucci:14,
 author       = {Amleto\nobreakspace Di Salle and Paola Inverardi and Alexander Perucci},
 year         = {2014},
 title        = {Towards Adaptable and Evolving Service Choreography in the Future Internet},
 booktitle    = {2014 {IEEE} World Congress on Services, {SERVICES} 2014, Anchorage, AK, USA, June 27 - July 2, 2014},
 pages        = {333--337},
 doi          = {10.1109/SERVICES.2014.65},
)
@book(SecurityPatters:2005,
 author       = {Markus Schumacher and Fernandez-Buglioni, Eduardo and Duane Hybertson and Frank Buschmann and Peter Sommerlad},
 year         = {2005},
 title        = {Security Patterns Integrating Security and Systems Engineering},
 publisher    = {John Wiley and Sons Ltd},
)
@book(SHAW_ARCH:1996,
 author       = {Mary Shaw and David Garlan},
 year         = {1996},
 title        = {Software architecture - perspectives on an emerging discipline},
 publisher    = {Prentice Hall},
)
@inproceedings(SPITZ_ICSE_03,
 author       = {Bridget Spitznagel and David Garlan},
 year         = {2003},
 title        = {A Compositional Formalization of Connector Wrappers},
 booktitle    = {ICSE},
 doi          = {10.1109/ICSE.2003.1201216},
)
@inproceedings(VACULIN08,
 author       = {Roman Vacul\'in and Roman Neruda and Katia\nobreakspace P. Sycara},
 year         = {2008},
 title        = {An Agent for Asymmetric Process Mediation in Open Environments.},
 booktitle    = {SOCASE},
 doi          = {10.1007/978-3-540-79968-9\_9},
)