BibTeX records: Carlos Canal

download as .bib file

@inproceedings{DBLP:conf/icsoc/BanderaPCP19,
  author    = {David Bandera and
               Alejandro P{\'{e}}rez{-}Vereda and
               Carlos Canal and
               Ernesto Pimentel},
  editor    = {Sami Yangui and
               Athman Bouguettaya and
               Xiao Xue and
               Noura Faci and
               Walid Gaaloul and
               Qi Yu and
               Zhangbing Zhou and
               Nathalie Hernandez and
               Elisa Yumi Nakagawa},
  title     = {A Programming Framework for People as a Service},
  booktitle = {Service-Oriented Computing - {ICSOC} 2019 Workshops - WESOACS, ASOCA,
               ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {12019},
  pages     = {308--312},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-45989-5\_29},
  doi       = {10.1007/978-3-030-45989-5\_29},
  timestamp = {Mon, 04 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/BanderaPCP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Flores-MartinBG19,
  author    = {Daniel Flores{-}Mart{\'{\i}}n and
               Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Carlos Canal and
               Juan Manuel Murillo},
  editor    = {Maxim Bakaev and
               Flavius Frasincar and
               In{-}Young Ko},
  title     = {Enabling the Interconnection of Smart Devices Through Semantic Web
               Techniques},
  booktitle = {Web Engineering - 19th International Conference, {ICWE} 2019, Daejeon,
               South Korea, June 11-14, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11496},
  pages     = {534--537},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-19274-7\_41},
  doi       = {10.1007/978-3-030-19274-7\_41},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icwe/Flores-MartinBG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/BanderaPCP19,
  author    = {David Bandera and
               Alejandro P{\'{e}}rez{-}Vereda and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {One Step Towards Dynamically Programmable Things: an Implementation
               Using Beacons},
  booktitle = {2019 {IEEE} Symposium on Computers and Communications, {ISCC} 2019,
               Barcelona, Spain, June 29 - July 3, 2019},
  pages     = {1171--1176},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ISCC47284.2019.8969584},
  doi       = {10.1109/ISCC47284.2019.8969584},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iscc/BanderaPCP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/Perez-VeredaMC19,
  author    = {Alejandro P{\'{e}}rez{-}Vereda and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {Dynamically Programmable Virtual Profiles as a Service},
  booktitle = {2019 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
               Advanced {\&} Trusted Computing, Scalable Computing {\&} Communications,
               Cloud {\&} Big Data Computing, Internet of People and Smart City
               Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester,
               United Kingdom, August 19-23, 2019},
  pages     = {1789--1794},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00317},
  doi       = {10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00317},
  timestamp = {Mon, 20 Apr 2020 11:50:00 +0200},
  biburl    = {https://dblp.org/rec/conf/uic/Perez-VeredaMC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalS18,
  author    = {Carlos Canal and
               Gwen Sala{\"{u}}n},
  title     = {Preface: Special issue on Foundations of Coordination Languages and
               Self-adaptive Systems},
  journal   = {Sci. Comput. Program.},
  volume    = {168},
  pages     = {169--170},
  year      = {2018},
  url       = {https://doi.org/10.1016/j.scico.2018.09.003},
  doi       = {10.1016/j.scico.2018.09.003},
  timestamp = {Tue, 16 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/CanalS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/BerrocalGCM18,
  author    = {Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Carlos Canal and
               Juan Manuel Murillo},
  title     = {Towards Multi-Device Context Aware Systems for Elders Well-being},
  booktitle = {Proceedings of the 2018 {ACM} International Joint Conference and 2018
               International Symposium on Pervasive and Ubiquitous Computing and
               Wearable Computers, UbiComp/ISWC 2018 Adjunct, Singapore, October
               08-12, 2018},
  pages     = {750--753},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3267305.3267706},
  doi       = {10.1145/3267305.3267706},
  timestamp = {Mon, 05 Nov 2018 17:19:23 +0100},
  biburl    = {https://dblp.org/rec/conf/huc/BerrocalGCM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Perez-VeredaFCM18,
  author    = {Alejandro P{\'{e}}rez{-}Vereda and
               Daniel Flores{-}Mart{\'{\i}}n and
               Carlos Canal and
               Juan Manuel Murillo},
  editor    = {Cesare Pautasso and
               Fernando S{\'{a}}nchez{-}Figueroa and
               Kari Syst{\"{a}} and
               Juan Manuel Murillo Rodriguez},
  title     = {Towards Dynamically Programmable Devices Using Beacons},
  booktitle = {Current Trends in Web Engineering - {ICWE} 2018 International Workshops,
               MATWEP, EnWot, KD-WEB, WEOD, TourismKG, C{\'{a}}ceres, Spain,
               June 5, 2018, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11153},
  pages     = {49--58},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03056-8\_5},
  doi       = {10.1007/978-3-030-03056-8\_5},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icwe/Perez-VeredaFCM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itnac/Galan-JimenezBG18,
  author    = {Jaime Gal{\'{a}}n{-}Jim{\'{e}}nez and
               Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Carlos Canal and
               Juan Manuel Murillo},
  title     = {Situational and Adaptive Context-Aware Routing for Opportunistic IoT
               Networks},
  booktitle = {28th International Telecommunication Networks and Applications Conference,
               {ITNAC} 2018, Sydney, Australia, November 21-23, 2018},
  pages     = {1--6},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.org/10.1109/ATNAC.2018.8615241},
  doi       = {10.1109/ATNAC.2018.8615241},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/itnac/Galan-JimenezBG18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/BerrocalGMC17,
  author    = {Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {Rich contextual information for monitoring the elderly in an early
               stage of cognitive impairment},
  journal   = {Pervasive Mob. Comput.},
  volume    = {34},
  pages     = {106--125},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.pmcj.2016.05.001},
  doi       = {10.1016/j.pmcj.2016.05.001},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/percom/BerrocalGMC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/BerrocalGVHMCM17,
  author    = {Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Cristina Vicente{-}Chicote and
               Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez and
               Tommi Mikkonen and
               Carlos Canal and
               Juan Manuel Murillo},
  title     = {Early analysis of resource consumption patterns in mobile applications},
  journal   = {Pervasive Mob. Comput.},
  volume    = {35},
  pages     = {32--50},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.pmcj.2016.06.011},
  doi       = {10.1016/j.pmcj.2016.06.011},
  timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/percom/BerrocalGVHMCM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/Garcia-AlonsoBC17,
  author    = {Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Javier Berrocal and
               Carlos Canal and
               Juan Manuel Murillo},
  editor    = {Lars Braubach and
               Juan Manuel Murillo and
               Nima Kaviani and
               Manuel Lama and
               Loli Burgue{\~{n}}o and
               Naouel Moha and
               Marc Oriol},
  title     = {Seamless Interactions on the Internet of Things. {A} Spotify-Based
               Proof of Concept},
  booktitle = {Service-Oriented Computing - {ICSOC} 2017 Workshops - ASOCA, ISyCC,
               WESOACS, and Satellite Events, M{\'{a}}laga, Spain, November
               13-16, 2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10797},
  pages     = {124--136},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-91764-1\_10},
  doi       = {10.1007/978-3-319-91764-1\_10},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/Garcia-AlonsoBC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/Perez-VeredaC17,
  author    = {Alejandro P{\'{e}}rez{-}Vereda and
               Carlos Canal},
  editor    = {Jordi Cabot and
               Roberto De Virgilio and
               Riccardo Torlone},
  title     = {A People-Oriented Paradigm for Smart Cities},
  booktitle = {Web Engineering - 17th International Conference, {ICWE} 2017, Rome,
               Italy, June 5-8, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10360},
  pages     = {584--591},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60131-1\_46},
  doi       = {10.1007/978-3-319-60131-1\_46},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icwe/Perez-VeredaC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/BerrocalGGMMMC17,
  author    = {Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Jaime Gal{\'{a}}n{-}Jim{\'{e}}nez and
               Juan Manuel Murillo and
               Niko M{\"{a}}kitalo and
               Tommi Mikkonen and
               Carlos Canal},
  title     = {Situational context in the programmable world},
  booktitle = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
               Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
               Cloud {\&} Big Data Computing, Internet of People and Smart City
               Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
               CA, USA, August 4-8, 2017},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.1109/UIC-ATC.2017.8397663},
  doi       = {10.1109/UIC-ATC.2017.8397663},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/uic/BerrocalGGMMMC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/Garcia-AlonsoBC16,
  author    = {Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Javier Berrocal and
               Carlos Canal and
               Juan Manuel Murillo},
  editor    = {Alexander Lazovik and
               Stefan Schulte},
  title     = {Towards Distributed and Context-Aware Human-Centric Cyber-Physical
               Systems},
  booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
               2016, Vienna, Austria, September 5-7, 2016, Revised Selected Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {707},
  pages     = {59--73},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-72125-5\_5},
  doi       = {10.1007/978-3-319-72125-5\_5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/esocc/Garcia-AlonsoBC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BerrocalGCM16a,
  author    = {Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Carlos Canal and
               Juan Manuel Murillo},
  editor    = {Sven Casteleyn and
               Peter Dolog and
               Cesare Pautasso},
  title     = {Liquid Context: Migrating the Users' Context Across Devices},
  booktitle = {Current Trends in Web Engineering - {ICWE} 2016 International Workshops,
               DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June
               6-9, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9881},
  pages     = {128--141},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46963-8\_11},
  doi       = {10.1007/978-3-319-46963-8\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/icwe/BerrocalGCM16a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BerrocalGCM16,
  author    = {Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Carlos Canal and
               Juan Manuel Murillo},
  editor    = {Alessandro Bozzon and
               Philippe Cudr{\'{e}}{-}Mauroux and
               Cesare Pautasso},
  title     = {Situational-Context: {A} Unified View of Everything Involved at a
               Particular Situation},
  booktitle = {Web Engineering - 16th International Conference, {ICWE} 2016, Lugano,
               Switzerland, June 6-9, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9671},
  pages     = {476--483},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-38791-8\_34},
  doi       = {10.1007/978-3-319-38791-8\_34},
  timestamp = {Wed, 25 Sep 2019 18:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icwe/BerrocalGCM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CanalS16,
  author    = {Carlos Canal and
               Gwen Sala{\"{u}}n},
  editor    = {Rocco De Nicola and
               eva K{\"{u}}hn},
  title     = {Stability-Based Adaptation of Asynchronously Communicating Software},
  booktitle = {Software Engineering and Formal Methods - 14th International Conference,
               {SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
               2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9763},
  pages     = {321--336},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41591-8\_22},
  doi       = {10.1007/978-3-319-41591-8\_22},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/CanalS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/MirandaMGBMCM15,
  author    = {Javier Miranda and
               Niko M{\"{a}}kitalo and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Javier Berrocal and
               Tommi Mikkonen and
               Carlos Canal and
               Juan Manuel Murillo},
  title     = {From the Internet of Things to the Internet of People},
  journal   = {{IEEE} Internet Comput.},
  volume    = {19},
  number    = {2},
  pages     = {40--47},
  year      = {2015},
  url       = {https://doi.org/10.1109/MIC.2015.24},
  doi       = {10.1109/MIC.2015.24},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/internet/MirandaMGBMCM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CanalS15,
  author    = {Carlos Canal and
               Gwen Sala{\"{u}}n},
  editor    = {Alexander Egyed and
               Ina Schaefer},
  title     = {Model-Based Adaptation of Software Communicating via {FIFO} Buffers},
  booktitle = {Fundamental Approaches to Software Engineering - 18th International
               Conference, {FASE} 2015, Held as Part of the European Joint Conferences
               on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
               11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9033},
  pages     = {252--266},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46675-9\_17},
  doi       = {10.1007/978-3-662-46675-9\_17},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/CanalS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BerrocalCGMMMM15,
  author    = {Javier Berrocal and
               Carlos Canal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Niko M{\"{a}}kitalo and
               Tommi Mikkonen and
               Javier Miranda and
               Juan Manuel Murillo},
  editor    = {Aharon Abadi and
               Danny Dig and
               Yael Dubinsky},
  title     = {Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures},
  booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
               and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
  pages     = {134--135},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/MobileSoft.2015.31},
  doi       = {10.1109/MobileSoft.2015.31},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/BerrocalCGMMMM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2014w,
  editor    = {Carlos Canal and
               Akram Idani},
  title     = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
               HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
               1-2, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8938},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15201-1},
  doi       = {10.1007/978-3-319-15201-1},
  isbn      = {978-3-319-15200-4},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/2014w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GuillenMBGMC14,
  author    = {Joaqu{\'{\i}}n Guill{\'{e}}n and
               Javier Miranda and
               Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {People as a Service: {A} Mobile-centric Model for Providing Collective
               Sociological Profiles},
  journal   = {{IEEE} Software},
  volume    = {31},
  number    = {2},
  pages     = {48--53},
  year      = {2014},
  url       = {https://doi.org/10.1109/MS.2013.140},
  doi       = {10.1109/MS.2013.140},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/software/GuillenMBGMC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/CanalS14,
  author    = {Carlos Canal and
               Gwen Sala{\"{u}}n},
  editor    = {Xavier Franch and
               Aditya K. Ghose and
               Grace A. Lewis and
               Sami Bhiri},
  title     = {Adaptation of Asynchronously Communicating Software},
  booktitle = {Service-Oriented Computing - 12th International Conference, {ICSOC}
               2014, Paris, France, November 3-6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8831},
  pages     = {437--444},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45391-9\_34},
  doi       = {10.1007/978-3-662-45391-9\_34},
  timestamp = {Sat, 19 Oct 2019 20:21:05 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/CanalS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GuillenMMC13,
  author    = {Joaqu{\'{\i}}n Guill{\'{e}}n and
               Javier Miranda and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {A service-oriented framework for developing cross cloud migratable
               software},
  journal   = {J. Syst. Softw.},
  volume    = {86},
  number    = {9},
  pages     = {2294--2308},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jss.2012.12.033},
  doi       = {10.1016/j.jss.2012.12.033},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jss/GuillenMMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/MirandaGMC13,
  author    = {Javier Miranda and
               Joaqu{\'{\i}}n Guill{\'{e}}n and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {Assisting Cloud Service Migration Using Software Adaptation Techniques},
  booktitle = {2013 {IEEE} Sixth International Conference on Cloud Computing, Santa
               Clara, CA, USA, June 28 - July 3, 2013},
  pages     = {573--580},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/CLOUD.2013.35},
  doi       = {10.1109/CLOUD.2013.35},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/IEEEcloud/MirandaGMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/GuillenMMC13,
  author    = {Joaqu{\'{\i}}n Guill{\'{e}}n and
               Javier Miranda and
               Juan Manuel Murillo and
               Carlos Canal},
  editor    = {Kung{-}Kiu Lau and
               Winfried Lamersdorf and
               Ernesto Pimentel},
  title     = {A {UML} Profile for Modeling Multicloud Applications},
  booktitle = {Service-Oriented and Cloud Computing - Second European Conference,
               {ESOCC} 2013, M{\'{a}}laga, Spain, September 11-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8135},
  pages     = {180--187},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40651-5\_15},
  doi       = {10.1007/978-3-642-40651-5\_15},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/esocc/GuillenMMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/MirandaGBGMC13,
  author    = {Javier Miranda and
               Joaqu{\'{\i}}n Guill{\'{e}}n and
               Javier Berrocal and
               Jos{\'{e}} Garc{\'{\i}}a{-}Alonso and
               Juan Manuel Murillo and
               Carlos Canal},
  editor    = {Carlos Canal and
               Massimo Villari},
  title     = {Architecting Infrastructures for Cloud-Enabled Mobile Devices},
  booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
               2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {393},
  pages     = {277--287},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45364-9\_23},
  doi       = {10.1007/978-3-642-45364-9\_23},
  timestamp = {Sat, 16 Sep 2017 12:08:59 +0200},
  biburl    = {https://dblp.org/rec/conf/esocc/MirandaGBGMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/MirandaGMC13,
  author    = {Javier Miranda and
               Joaqu{\'{\i}}n Guill{\'{e}}n and
               Juan Manuel Murillo and
               Carlos Canal},
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Joaquim Filipe and
               Rui C{\'{e}}sar das Neves},
  title     = {Development of Adaptive Multi-cloud Applications - {A} Model-Driven
               Approach},
  booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
               on Model-Driven Engineering and Software Development, Barcelona, Spain,
               19 - 21 February, 2013},
  pages     = {321--330},
  publisher = {SciTePress},
  year      = {2013},
  url       = {https://doi.org/10.5220/0004370603210330},
  doi       = {10.5220/0004370603210330},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/modelsward/MirandaGMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordicloud/GuillenMMC13,
  author    = {Joaqu{\'{\i}}n Guill{\'{e}}n and
               Javier Miranda and
               Juan Manuel Murillo and
               Carlos Canal},
  editor    = {Arnor Solberg and
               Muhammad Ali Babar and
               Marlon Dumas and
               Carlos E. Cuesta},
  title     = {Developing migratable multicloud applications based on {MDE} and adaptation
               techniques},
  booktitle = {Second Nordic Symposium on Cloud Computing {\&} Internet Technologies,
               NordiCloud '13, Oslo, Norway, September 1-3, 2013},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {826},
  pages     = {30--37},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2513534.2513541},
  doi       = {10.1145/2513534.2513541},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/nordicloud/GuillenMMC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esocc/2013w,
  editor    = {Carlos Canal and
               Massimo Villari},
  title     = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
               2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {393},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45364-9},
  doi       = {10.1007/978-3-642-45364-9},
  isbn      = {978-3-642-45363-2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/esocc/2013w.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/CamaraSCO12,
  author    = {Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n and
               Carlos Canal and
               Meriem Ouederni},
  title     = {Interactive specification and verification of behavioral adaptation
               contracts},
  journal   = {Inf. Softw. Technol.},
  volume    = {54},
  number    = {7},
  pages     = {701--723},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.infsof.2012.01.010},
  doi       = {10.1016/j.infsof.2012.01.010},
  timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/infsof/CamaraSCO12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalCS12,
  author    = {Carlos Canal and
               Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n},
  title     = {Structural reconfiguration of systems under behavioral adaptation},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {1},
  pages     = {46--64},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2011.09.003},
  doi       = {10.1016/j.scico.2011.09.003},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/CanalCS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MirandaGMC12,
  author    = {Javier Miranda and
               Joaqu{\'{\i}}n Guill{\'{e}}n and
               Juan Manuel Murillo and
               Carlos Canal},
  editor    = {Tomi M{\"{a}}nnist{\"{o}} and
               Muhammad Ali Babar and
               Carlos E. Cuesta and
               Juha Erik Savolainen},
  title     = {Enough about standardization, let's build cloud applications},
  booktitle = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
               and European Conference on Software Architecture, {WICSA/ECSA} 2012,
               Helsinki, Finland, August 20-24, 2012 - Companion Volume},
  series    = {{ACM} International Conference Proceeding Series},
  volume    = {704},
  pages     = {74--77},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2361999.2362011},
  doi       = {10.1145/2361999.2362011},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/wicsa/MirandaGMC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/CanalC11,
  author    = {Carlos Canal and
               Antonio Cansado},
  title     = {Component Reconfiguration in Presence of Mismatch},
  journal   = {Informatica (Slovenia)},
  volume    = {35},
  number    = {1},
  pages     = {29--37},
  year      = {2011},
  url       = {http://www.informatica.si/index.php/informatica/article/view/331},
  timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/informaticaSI/CanalC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/CuboCP11,
  author    = {Javier Cubo and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Model-Based Dependable Composition of Self-Adaptive Systems},
  journal   = {Informatica (Slovenia)},
  volume    = {35},
  number    = {1},
  pages     = {51--62},
  year      = {2011},
  url       = {http://www.informatica.si/index.php/informatica/article/view/333},
  timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/informaticaSI/CuboCP11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CuboCP11,
  author    = {Javier Cubo and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Context-Aware Composition and Adaptation based on Model Transformation},
  journal   = {J. {UCS}},
  volume    = {17},
  number    = {5},
  pages     = {777--806},
  year      = {2011},
  url       = {https://doi.org/10.3217/jucs-017-05-0777},
  doi       = {10.3217/jucs-017-05-0777},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jucs/CuboCP11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPV11,
  author    = {Carlos Canal and
               Pascal Poizat and
               Mirko Viroli},
  title     = {Preface},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {1},
  pages     = {1--2},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.06.002},
  doi       = {10.1016/j.scico.2010.06.002},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/CanalPV11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPS11,
  author    = {Carlos Canal and
               Pascal Poizat and
               Marjan Sirjani},
  title     = {Preface},
  journal   = {Sci. Comput. Program.},
  volume    = {76},
  number    = {8},
  pages     = {631--632},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.scico.2010.06.003},
  doi       = {10.1016/j.scico.2010.06.003},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/CanalPS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CanalP10,
  author    = {Carlos Canal and
               Corina S. Pasareanu},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {260},
  pages     = {1--2},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2009.12.028},
  doi       = {10.1016/j.entcs.2009.12.028},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CanalP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CansadoCSC10,
  author    = {Antonio Cansado and
               Carlos Canal and
               Gwen Sala{\"{u}}n and
               Javier Cubo},
  title     = {A Formal Framework for Structural Reconfiguration of Components under
               Behavioural Adaptation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {263},
  pages     = {95--110},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2010.05.006},
  doi       = {10.1016/j.entcs.2010.05.006},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CansadoCSC10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CamaraMSCP10,
  author    = {Javier C{\'{a}}mara and
               Jos{\'{e}} Antonio Mart{\'{\i}}n and
               Gwen Sala{\"{u}}n and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Semi-Automatic Specification of Behavioural Service Adaptation Contracts},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {264},
  number    = {1},
  pages     = {19--34},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.entcs.2010.07.003},
  doi       = {10.1016/j.entcs.2010.07.003},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CamaraMSCP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalP10,
  author    = {Carlos Canal and
               Corina S. Pasareanu},
  title     = {Preface},
  journal   = {Sci. Comput. Program.},
  volume    = {75},
  number    = {10},
  pages     = {809--810},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.scico.2010.03.001},
  doi       = {10.1016/j.scico.2010.03.001},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/CanalP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CamaraMSCP10,
  author    = {Javier C{\'{a}}mara and
               Jos{\'{e}} Antonio Mart{\'{\i}}n and
               Gwen Sala{\"{u}}n and
               Carlos Canal and
               Ernesto Pimentel},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {A Case Study in Model-Based Adaptation of Web Services},
  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}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6416},
  pages     = {112--126},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16561-0\_16},
  doi       = {10.1007/978-3-642-16561-0\_16},
  timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl    = {https://dblp.org/rec/conf/isola/CamaraMSCP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/CamaraCV10,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Nikolay Vasilev},
  editor    = {Robert Meersman and
               Tharam S. Dillon and
               Pilar Herrero},
  title     = {A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous
               Computing},
  booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2010 Workshops -
               Confederated International Workshops and Posters: International Workshops:
               AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE,
               SeDeS, {SWWS} and {OTMA.} Hersonissos, Crete, Greece, October 25-29,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6428},
  pages     = {67--76},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16961-8\_20},
  doi       = {10.1007/978-3-642-16961-8\_20},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/otm/CamaraCV10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1007-5092,
  author    = {Javier Cubo and
               Ernesto Pimentel and
               Gwen Sala{\"{u}}n and
               Carlos Canal},
  editor    = {Mohammad Reza Mousavi and
               Gwen Sala{\"{u}}n},
  title     = {Handling Data-Based Concurrency in Context-Aware Service Protocols},
  booktitle = {Proceedings Ninth International Workshop on the Foundations of Coordination
               Languages and Software Architectures, {FOCLASA} 2010, Paris, France,
               4th September 2010},
  series    = {{EPTCS}},
  volume    = {30},
  pages     = {62--77},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.30.5},
  doi       = {10.4204/EPTCS.30.5},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1007-5092.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1010-2337,
  editor    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Gwen Sala{\"{u}}n},
  title     = {Proceedings International Workshop on Component and Service Interoperability,
               {WCSI} 2010, M{\'{a}}laga, Spain, 29th June 2010},
  series    = {{EPTCS}},
  volume    = {37},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.37},
  doi       = {10.4204/EPTCS.37},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1010-2337.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CanalPS09,
  author    = {Carlos Canal and
               Pascal Poizat and
               Marjan Sirjani},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {229},
  number    = {2},
  pages     = {1--2},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.06.025},
  doi       = {10.1016/j.entcs.2009.06.025},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CanalPS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraCS09,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Gwen Sala{\"{u}}n},
  title     = {Behavioural self-adaptation of services in ubiquitous computing environments},
  booktitle = {2009 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
               Systems, {SEAMS} 2009, Vancouver, BC, Canada, May 18-19, 2009},
  pages     = {28--37},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/SEAMS.2009.5069071},
  doi       = {10.1109/SEAMS.2009.5069071},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CamaraCS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CamaraMSCOCP09,
  author    = {Javier C{\'{a}}mara and
               Jos{\'{e}} Antonio Mart{\'{\i}}n and
               Gwen Sala{\"{u}}n and
               Javier Cubo and
               Meriem Ouederni and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {{ITACA:} An integrated toolbox for the automatic composition and adaptation
               of Web services},
  booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
               May 16-24, 2009, Vancouver, Canada, Proceedings},
  pages     = {627--630},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {https://doi.org/10.1109/ICSE.2009.5070572},
  doi       = {10.1109/ICSE.2009.5070572},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CamaraMSCOCP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/CamaraSCO09,
  author    = {Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n and
               Carlos Canal and
               Meriem Ouederni},
  editor    = {Byoungju Choi},
  title     = {Interactive Specification and Verification of Behavioural Adaptation
               Contracts},
  booktitle = {Proceedings of the Ninth International Conference on Quality Software,
               {QSIC} 2009, Jeju, Korea, August 24-25, 2009},
  pages     = {65--75},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/QSIC.2009.17},
  doi       = {10.1109/QSIC.2009.17},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/qsic/CamaraSCO09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CuboCPS09,
  author    = {Javier Cubo and
               Carlos Canal and
               Ernesto Pimentel and
               Gwen Sala{\"{u}}n},
  editor    = {Oscar Nierstrasz},
  title     = {A formal model and composition language for context-aware service
               protocols},
  booktitle = {Proceedings of the first international workshop on Context-aware software
               technology and applications, CASTA@ESEC/SIGSOFT {FSE} 2009, Amsterdam,
               The Netherlands, August 24, 2009},
  pages     = {17--20},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1595768.1595775},
  doi       = {10.1145/1595768.1595775},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CuboCPS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CanalPV08,
  author    = {Carlos Canal and
               Pascal Poizat and
               Mirko Viroli},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {194},
  number    = {4},
  pages     = {1--3},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.03.095},
  doi       = {10.1016/j.entcs.2008.03.095},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CanalPV08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CuboSCPP08,
  author    = {Javier Cubo and
               Gwen Sala{\"{u}}n and
               Carlos Canal and
               Ernesto Pimentel and
               Pascal Poizat},
  title     = {A Model-Based Approach to the Verification and Adaptation of {WF/.NET}
               Components},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {215},
  pages     = {39--55},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.020},
  doi       = {10.1016/j.entcs.2008.06.020},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CuboSCPP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CamaraCS08,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Gwen Sala{\"{u}}n},
  title     = {Multiple Concern Adaptation for Run-time Composition in Context-Aware
               Systems},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {215},
  pages     = {111--130},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.024},
  doi       = {10.1016/j.entcs.2008.06.024},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CamaraCS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CanalMP08,
  author    = {Carlos Canal and
               Juan Manuel Murillo and
               Pascal Poizat},
  title     = {Software Adaptation},
  journal   = {J. {UCS}},
  volume    = {14},
  number    = {13},
  pages     = {2107--2109},
  year      = {2008},
  url       = {http://www.jucs.org/jucs\_14\_13/software\_adaptation\%20},
  timestamp = {Fri, 24 Apr 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jucs/CanalMP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CamaraSC08,
  author    = {Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n and
               Carlos Canal},
  title     = {Composition and Run-time Adaptation of Mismatching Behavioural Interfaces},
  journal   = {J. {UCS}},
  volume    = {14},
  number    = {13},
  pages     = {2182--2211},
  year      = {2008},
  url       = {https://doi.org/10.3217/jucs-014-13-2182},
  doi       = {10.3217/jucs-014-13-2182},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jucs/CamaraSC08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ToledanoMMC08,
  author    = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
               Amparo Navasa Mart{\'{\i}}nez and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development},
  journal   = {J. {UCS}},
  volume    = {14},
  number    = {13},
  pages     = {2212--2238},
  year      = {2008},
  url       = {https://doi.org/10.3217/jucs-014-13-2212},
  doi       = {10.3217/jucs-014-13-2212},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jucs/ToledanoMMC08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CanalPS08,
  author    = {Carlos Canal and
               Pascal Poizat and
               Gwen Sala{\"{u}}n},
  title     = {Model-Based Adaptation of Behavioral Mismatching Components},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {34},
  number    = {4},
  pages     = {546--563},
  year      = {2008},
  url       = {https://doi.org/10.1109/TSE.2008.31},
  doi       = {10.1109/TSE.2008.31},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tse/CanalPS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/CamaraSC08,
  author    = {Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n and
               Carlos Canal},
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Paola Inverardi},
  title     = {Clint: {A} Composition Language Interpreter (Tool Paper)},
  booktitle = {Fundamental Approaches to Software Engineering, 11th International
               Conference, {FASE} 2008, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
               March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4961},
  pages     = {423--427},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78743-3\_31},
  doi       = {10.1007/978-3-540-78743-3\_31},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/CamaraSC08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/CuboCP08,
  author    = {Javier Cubo and
               Carlos Canal and
               Ernesto Pimentel},
  editor    = {Ricardo Jorge Machado and
               Jo{\~{a}}o M. Fernandes and
               Fl{\'{a}}vio Rech Wagner and
               Rick Kazman},
  title     = {Towards a Model-Based Approach for Context-Aware Composition and Adaptation:
               {A} Case Study using {WF/.NET}},
  booktitle = {Model-based Methodologies for Pervasive and Embedded Software, 5th
               International Workshop on Model-based Methodologies for Pervasive
               and Embedded Software, {MOMPES} 2008, Budapest, Hungary, April 5,
               2008, Proceedings},
  pages     = {3--13},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/MOMPES.2008.13},
  doi       = {10.1109/MOMPES.2008.13},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/mompes/CuboCP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CanalV07,
  author    = {Carlos Canal and
               Mirko Viroli},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {175},
  number    = {2},
  pages     = {1--2},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.03.001},
  doi       = {10.1016/j.entcs.2007.03.001},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CanalV07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrogiCCCP07,
  author    = {Antonio Brogi and
               Javier C{\'{a}}mara and
               Carlos Canal and
               Javier Cubo and
               Ernesto Pimentel},
  title     = {Dynamic Contextual Adaptation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {175},
  number    = {2},
  pages     = {81--95},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.03.005},
  doi       = {10.1016/j.entcs.2007.03.005},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BrogiCCCP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrogiCP07,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Behavioural Types for Service Integration: Achievements and Challenges},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {180},
  number    = {2},
  pages     = {41--54},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.10.045},
  doi       = {10.1016/j.entcs.2006.10.045},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BrogiCP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BeckerCDMPT07,
  author    = {Steffen Becker and
               Carlos Canal and
               Nikolay Diakov and
               Juan Manuel Murillo and
               Pascal Poizat and
               Massimo Tivoli},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {189},
  pages     = {1--3},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.05.044},
  doi       = {10.1016/j.entcs.2007.05.044},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BeckerCDMPT07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CamaraCCM07,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Javier Cubo and
               Juan Manuel Murillo},
  title     = {An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {189},
  pages     = {21--34},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.03.026},
  doi       = {10.1016/j.entcs.2007.03.026},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CamaraCCM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalV07,
  author    = {Carlos Canal and
               Mirko Viroli},
  title     = {Preface},
  journal   = {Sci. Comput. Program.},
  volume    = {66},
  number    = {3},
  pages     = {181--183},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.scico.2007.02.001},
  doi       = {10.1016/j.scico.2007.02.001},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scp/CanalV07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CuboSCCP07,
  author    = {Javier Cubo and
               Gwen Sala{\"{u}}n and
               Javier C{\'{a}}mara and
               Carlos Canal and
               Ernesto Pimentel},
  editor    = {Amy L. Murphy and
               Jan Vitek},
  title     = {Context-Based Adaptation of Component Behavioural Interfaces},
  booktitle = {Coordination Models and Languages, 9th International Conference, {COORDINATION}
               2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4467},
  pages     = {305--323},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72794-1\_17},
  doi       = {10.1007/978-3-540-72794-1\_17},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/coordination/CuboSCCP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CanalMP07,
  author    = {Carlos Canal and
               Juan Manuel Murillo and
               Pascal Poizat},
  editor    = {Michael Cebulla},
  title     = {Practical Approaches for Software Adaptation},
  booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
               Germany, July 30-31, 2007, Final Reports},
  series    = {Lecture Notes in Computer Science},
  volume    = {4906},
  pages     = {154--165},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-78195-0\_15},
  doi       = {10.1007/978-3-540-78195-0\_15},
  timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoopw/CanalMP07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/CamaraCCM07,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Javier Cubo and
               Juan Manuel Murillo},
  editor    = {Fl{\'{a}}vio Oquendo},
  title     = {Enabling \emph{Adaptivity} in User Interfaces},
  booktitle = {Software Architecture, First European Conference, {ECSA} 2007, Aranjuez,
               Spain, September 24-26, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4758},
  pages     = {106--114},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75132-8\_9},
  doi       = {10.1007/978-3-540-75132-8\_9},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/ecsa/CamaraCCM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/Perez-ToledanoNMC07,
  author    = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
               Amparo Navasa Mart{\'{\i}}nez and
               Juan Manuel Murillo and
               Carlos Canal},
  title     = {{TITAN:} a Framework for Aspect Oriented System Evolution},
  booktitle = {Proceedings of the Second International Conference on Software Engineering
               Advances {(ICSEA} 2007), August 25-31, 2007, Cap Esterel, French Riviera,
               France},
  pages     = {4},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://doi.org/10.1109/ICSEA.2007.77},
  doi       = {10.1109/ICSEA.2007.77},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icsea/Perez-ToledanoNMC07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CamaraSC07,
  author    = {Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n and
               Carlos Canal},
  title     = {Run-time Composition and Adaptation of Mismatching Behavioural Transactions},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {381--390},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://doi.org/10.1109/SEFM.2007.35},
  doi       = {10.1109/SEFM.2007.35},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/CamaraSC07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/CanalMP06,
  author    = {Carlos Canal and
               Juan Manuel Murillo and
               Pascal Poizat},
  title     = {Software Adaptation},
  journal   = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
  volume    = {12},
  number    = {1},
  pages     = {9--31},
  year      = {2006},
  url       = {https://doi.org/10.3166/objet.12.1.9-31},
  doi       = {10.3166/objet.12.1.9-31},
  timestamp = {Wed, 20 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/Lobjet/CanalMP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CanalV06,
  author    = {Carlos Canal and
               Mirko Viroli},
  title     = {Preface},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {154},
  number    = {1},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.029},
  doi       = {10.1016/j.entcs.2005.12.029},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CanalV06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/CamaraCCV06,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Javier Cubo and
               Antonio Vallecillo},
  title     = {Formalizing {WSBPEL} Business Processes Using Process Algebra},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {154},
  number    = {1},
  pages     = {159--173},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.12.038},
  doi       = {10.1016/j.entcs.2005.12.038},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/CamaraCCV06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrogiCP06a,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {On the semantics of software adaptation},
  journal   = {Sci. Comput. Program.},
  volume    = {61},
  number    = {2},
  pages     = {136--151},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.scico.2005.10.009},
  doi       = {10.1016/j.scico.2005.10.009},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/BrogiCP06a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrogiCP06,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Component adaptation through flexible subservicing},
  journal   = {Sci. Comput. Program.},
  volume    = {63},
  number    = {1},
  pages     = {39--56},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.scico.2005.07.012},
  doi       = {10.1016/j.scico.2005.07.012},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/BrogiCP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cal/CanalPS06,
  author    = {Carlos Canal and
               Pascal Poizat and
               Gwen Sala{\"{u}}n},
  editor    = {Mourad Chabane Oussalah and
               Fl{\'{a}}vio Oquendo and
               Dalila Tamzalit and
               Tahar Khammaci},
  title     = {Adaptation de composants logiciels Une approche automatis{\'{e}}e
               bas{\'{e}}e sur des expressions r{\'{e}}guli{\`{e}}res de
               vecteurs de synchronisation},
  booktitle = {1er Conf{\'{e}}rence francophone sur les Architectures Logicielles
               {(CAL} 2006), 4-6 September 2006, Nantes, France},
  pages     = {31--39},
  publisher = {Hermes Science},
  year      = {2006},
  timestamp = {Mon, 11 Sep 2006 13:24:33 +0200},
  biburl    = {https://dblp.org/rec/conf/cal/CanalPS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ToledanoMRC06,
  author    = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
               Amparo Navasa Mart{\'{\i}}nez and
               Juan Manuel Murillo Rodriguez and
               Carlos Canal},
  editor    = {Walter Cazzola and
               Shigeru Chiba and
               Yvonne Coady and
               Gunter Saake},
  title     = {Making Aspect Oriented System Evolution Safer},
  booktitle = {RAM-SE'06-ECOOP'06 Workshop on Reflection, AOP, and Meta-Data for
               Software Evolution, Proceedings, Nantes, France, July 4, 2006},
  pages     = {22--34},
  publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
               Magdeburg},
  year      = {2006},
  timestamp = {Thu, 22 Mar 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/ToledanoMRC06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CamaraCCR06,
  author    = {Javier C{\'{a}}mara and
               Carlos Canal and
               Javier Cubo and
               Juan Manuel Murillo Rodriguez},
  editor    = {Walter Cazzola and
               Shigeru Chiba and
               Yvonne Coady and
               Gunter Saake},
  title     = {An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution},
  booktitle = {RAM-SE'06-ECOOP'06 Workshop on Reflection, AOP, and Meta-Data for
               Software Evolution, Proceedings, Nantes, France, July 4, 2006},
  pages     = {59--70},
  publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
               Magdeburg},
  year      = {2006},
  timestamp = {Thu, 22 Mar 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/CamaraCCR06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BeckerCDMPT06,
  author    = {Steffen Becker and
               Carlos Canal and
               Nikolay Diakov and
               Juan Manuel Murillo and
               Pascal Poizat and
               Massimo Tivoli},
  editor    = {Mario S{\"{u}}dholt and
               Charles Consel},
  title     = {Coordination and Adaptation Techniques: Bridging the Gap Between Design
               and Implementation},
  booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
               2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
  series    = {Lecture Notes in Computer Science},
  volume    = {4379},
  pages     = {72--86},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/978-3-540-71774-4\_9},
  doi       = {10.1007/978-3-540-71774-4\_9},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoopw/BeckerCDMPT06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/CanalPS06,
  author    = {Carlos Canal and
               Pascal Poizat and
               Gwen Sala{\"{u}}n},
  editor    = {Roberto Gorrieri and
               Heike Wehrheim},
  title     = {Synchronizing Behavioural Mismatch in Software Composition},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
               June 14-16, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4037},
  pages     = {63--77},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11768869\_7},
  doi       = {10.1007/11768869\_7},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/fmoods/CanalPS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/ToledanoMMC06,
  author    = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
               Amparo Navasa Mart{\'{\i}}nez and
               Juan Manuel Murillo and
               Carlos Canal},
  editor    = {Jos{\'{e}} Crist{\'{o}}bal Riquelme Santos and
               Pere Botella},
  title     = {Evoluci{\'{o}}n de sistemas orientados a aspectos utilizando
               patrones de interacci{\'{o}}n},
  booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
               {(JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain},
  pages     = {514--519},
  year      = {2006},
  timestamp = {Thu, 04 Oct 2007 15:05:39 +0200},
  biburl    = {https://dblp.org/rec/conf/jisbd/ToledanoMMC06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BraccialiBC05,
  author    = {Andrea Bracciali and
               Antonio Brogi and
               Carlos Canal},
  title     = {A formal approach to component adaptation},
  journal   = {J. Syst. Softw.},
  volume    = {74},
  number    = {1},
  pages     = {45--54},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.jss.2003.05.007},
  doi       = {10.1016/j.jss.2003.05.007},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jss/BraccialiBC05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibse/ToledanoMCR05,
  author    = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
               Amparo Navasa Mart{\'{\i}}nez and
               Carlos Canal and
               Juan Manuel Murillo Rodriguez},
  editor    = {Hern{\'{a}}n Astudillo and
               Carla Taramasco},
  title     = {Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas
               de Secuencia},
  booktitle = {Memorias de la {VIII} Conferencia Iberoamericana de Software Engineering
               (CIbSE 2005), Valparaiso, Chile, Mayo 2-6, 2005},
  pages     = {229--242},
  year      = {2005},
  timestamp = {Wed, 22 Dec 2010 14:14:38 +0100},
  biburl    = {https://dblp.org/rec/conf/cibse/ToledanoMCR05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/ToledanoMMV05,
  author    = {Miguel {\'{A}}ngel P{\'{e}}rez Toledano and
               Amparo Navasa Mart{\'{\i}}nez and
               Juan Manuel Murillo and
               Carlos Canal Velasco},
  editor    = {Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez and
               Juan Hern{\'{a}}ndez N{\'{u}}{\~{n}}ez},
  title     = {S{\'{\i}}ntesis de patrones de interacci{\'{o}}n a partir
               de diagramas de secuencia en {UML}},
  booktitle = {Actas de las {X} Jornadas de Ingenier{\'{\i}}a del Software y
               Bases de Datos {(JISBD} 2005), September 14-16, 2005, Granada, Spain},
  pages     = {83--90},
  publisher = {Thomson},
  year      = {2005},
  timestamp = {Sun, 25 Mar 2007 17:04:04 +0200},
  biburl    = {https://dblp.org/rec/conf/jisbd/ToledanoMMV05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrogiCP04,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {On the specification of software adaptation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {97},
  pages     = {47--65},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.04.031},
  doi       = {10.1016/j.entcs.2004.04.031},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BrogiCP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrogiCPV04,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel and
               Antonio Vallecillo},
  title     = {Formalizing Web Service Choreographies},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {105},
  pages     = {73--94},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.05.007},
  doi       = {10.1016/j.entcs.2004.05.007},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BrogiCPV04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BrogiCP04,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  editor    = {Charles Rattray and
               Savi Maharaj and
               Carron Shankland},
  title     = {Behavioural Types and Component Adaptation},
  booktitle = {Algebraic Methodology and Software Technology, 10th International
               Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3116},
  pages     = {42--56},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-27815-3\_8},
  doi       = {10.1007/978-3-540-27815-3\_8},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/amast/BrogiCP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BrogiCP04,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  editor    = {Rocco De Nicola and
               Gian Luigi Ferrari and
               Greg Meredith},
  title     = {Measuring Component Adaptation},
  booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
               2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2949},
  pages     = {71--86},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-24634-3\_8},
  doi       = {10.1007/978-3-540-24634-3\_8},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/coordination/BrogiCP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CanalMP04,
  author    = {Carlos Canal and
               Juan Manuel Murillo and
               Pascal Poizat},
  editor    = {Jacques Malenfant and
               Bjarte M. {\O}stvold},
  title     = {Coordination and Adaptation Techniques for Software Entities},
  booktitle = {Object-Oriented Technology: {ECOOP} 2004 Workshop Reader, {ECOOP}
               2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports},
  series    = {Lecture Notes in Computer Science},
  volume    = {3344},
  pages     = {133--147},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-30554-5\_13},
  doi       = {10.1007/978-3-540-30554-5\_13},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoopw/CanalMP04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BrogiCP03,
  author    = {Antonio Brogi and
               Carlos Canal and
               Ernesto Pimentel},
  title     = {Soft component adaptation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {85},
  number    = {3},
  pages     = {1--16},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(04)80681-9},
  doi       = {10.1016/S1571-0661(04)80681-9},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BrogiCP03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CanalFPTV03,
  author    = {Carlos Canal and
               Lidia Fuentes and
               Ernesto Pimentel and
               Jos{\'{e}} M. Troya and
               Antonio Vallecillo},
  title     = {Adding Roles to {CORBA} Objects},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {29},
  number    = {3},
  pages     = {242--260},
  year      = {2003},
  url       = {https://doi.org/10.1109/TSE.2003.1183935},
  doi       = {10.1109/TSE.2003.1183935},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tse/CanalFPTV03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BraccialiBC02,
  author    = {Andrea Bracciali and
               Antonio Brogi and
               Carlos Canal},
  title     = {Systematic Component Adaptation},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {66},
  number    = {4},
  pages     = {97--113},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80452-3},
  doi       = {10.1016/S1571-0661(04)80452-3},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/BraccialiBC02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cd/BraccialiBC02,
  author    = {Andrea Bracciali and
               Antonio Brogi and
               Carlos Canal},
  editor    = {Judy M. Bishop},
  title     = {Adapting Components with Mismatching Behaviours},
  booktitle = {Component Deployment, {IFIP/ACM} Working Conference, {CD} 2002, Berlin,
               Germany, June 20-21, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2370},
  pages     = {185--199},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45440-3\_13},
  doi       = {10.1007/3-540-45440-3\_13},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/cd/BraccialiBC02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BraccialiBC02,
  author    = {Andrea Bracciali and
               Antonio Brogi and
               Carlos Canal},
  editor    = {Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Dynamically Adapting the Behaviour of Software Components},
  booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION}
               2002, YORK, UK, April 8-11, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2315},
  pages     = {88--95},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46000-4\_10},
  doi       = {10.1007/3-540-46000-4\_10},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/coordination/BraccialiBC02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CanalFPTV01,
  author    = {Carlos Canal and
               Lidia Fuentes and
               Ernesto Pimentel and
               Jos{\'{e}} M. Troya and
               Antonio Vallecillo},
  title     = {Extending {CORBA} Interfaces with Protocols},
  journal   = {Comput. J.},
  volume    = {44},
  number    = {5},
  pages     = {448--462},
  year      = {2001},
  url       = {https://doi.org/10.1093/comjnl/44.5.448},
  doi       = {10.1093/comjnl/44.5.448},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/cj/CanalFPTV01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CanalPT01,
  author    = {Carlos Canal and
               Ernesto Pimentel and
               Jos{\'{e}} M. Troya},
  title     = {Compatibility and inheritance in software architectures},
  journal   = {Sci. Comput. Program.},
  volume    = {41},
  number    = {2},
  pages     = {105--138},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0167-6423(01)00002-8},
  doi       = {10.1016/S0167-6423(01)00002-8},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/scp/CanalPT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/CanalFTV00,
  author    = {Carlos Canal and
               Lidia Fuentes and
               Jos{\'{e}} M. Troya and
               Antonio Vallecillo},
  title     = {Extending {CORBA} Interfaces with p-Calculus for Protocol Compatibility},
  booktitle = {{TOOLS} 2000: 33rd International Conference on Technology of Object-Oriented
               Languages and Systems, 5-8 June 2000, St. Malo, France},
  pages     = {208--225},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {https://doi.org/10.1109/TOOLS.2000.848763},
  doi       = {10.1109/TOOLS.2000.848763},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/conf/tools/CanalFTV00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CanalFV99,
  author    = {Carlos Canal and
               Lidia Fuentes and
               Antonio Vallecillo},
  editor    = {Ana M. D. Moreira and
               Serge Demeyer},
  title     = {Extending IDLs with pi-calculus for Protocol Compatibility},
  booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
               Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1743},
  pages     = {5--6},
  publisher = {Springer},
  year      = {1999},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoopw/CanalFV99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/CanalFPT99,
  author    = {Carlos Canal and
               Lidia Fuentes and
               Ernesto Pimentel and
               Jos{\'{e}} M. Troya},
  editor    = {Pere Botella and
               Juan Hern{\'{a}}ndez and
               F{\`{e}}lix Saltor},
  title     = {Coordinaci{\'{o}}n de Componentes Distribuidos: un Enfoque Generativo
               Basado en Arquitectura del Software},
  booktitle = {{IV} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
               (JISBD'99), C{\'{a}}ceres, del 24 al 26 de noviembre de 1999},
  pages     = {443--454},
  publisher = {Grupo de Paralelismo, Departamento de Inform{\'{a}}tica, Escuela
               Polit{\'{e}}cnia, Universidad de Extremadura},
  year      = {1999},
  timestamp = {Thu, 11 Dec 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/jisbd/CanalFPT99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/CanalPT99,
  author    = {Carlos Canal and
               Ernesto Pimentel and
               Jos{\'{e}} M. Troya},
  editor    = {Patrick Donohoe},
  title     = {Specification and Refinement of Dynamic Software Architectures},
  booktitle = {Software Architecture, {TC2} First Working {IFIP} Conference on Software
               Architecture (WICSA1), 22-24 February 1999, San Antonio, Texas, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {140},
  pages     = {107--126},
  publisher = {Kluwer},
  year      = {1999},
  timestamp = {Wed, 16 Oct 2002 13:28:43 +0200},
  biburl    = {https://dblp.org/rec/conf/wicsa/CanalPT99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics