Extending IDLs with pi-calculus for Protocol Compatibility. - Carlos Canal; Lidia Fuentes; Antonio Vallecillo (ECOOP Workshops, 1999)

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya (JISBD, 1999)

Specification and Refinement of Dynamic Software Architectures. - Carlos Canal; Ernesto Pimentel 001; José M. Troya (WICSA, 1999)

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. - Carlos Canal; Lidia Fuentes; José M. Troya; Antonio Vallecillo (TOOLS (33), 2000)

Extending CORBA Interfaces with Protocols. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (Comput. J., 2001)

Compatibility and inheritance in software architectures. - Carlos Canal; Ernesto Pimentel 001; José M. Troya (Sci. Comput. Program., 2001)

Adapting Components with Mismatching Behaviours. - Andrea Bracciali; Antonio Brogi; Carlos Canal (Component Deployment, 2002)

Dynamically Adapting the Behaviour of Software Components. - Andrea Bracciali; Antonio Brogi; Carlos Canal (COORDINATION, 2002)

Systematic Component Adaptation. - Andrea Bracciali; Antonio Brogi; Carlos Canal (Formal Methods and Component Interaction @ ICALP, 2002)

Soft component adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (SecCo, 2003)

On the specification of software adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (FOCLASA, 2003)

Adding Roles to CORBA Objects. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (IEEE Trans. Software Eng., 2003)

Behavioural Types and Component Adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (AMAST, 2004)

Measuring Component Adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (COORDINATION, 2004)

Coordination and Adaptation Techniques for Software Entities. - Carlos Canal; Juan Manuel Murillo; Pascal Poizat (ECOOP Workshops, 2004)

Behavioural Types for Service Integration: Achievements and Challenges. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (FOCLASA, 2004)

Formalizing Web Service Choreographies. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001; Antonio Vallecillo (WSFM, 2004)

Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia. - Miguel Ángel Pérez Toledano; Amparo Navasa Martínez; Carlos Canal; Juan Manuel Murillo Rodríguez (CIbSE, 2005)

Síntesis de patrones de interacción a partir de diagramas de secuencia en UML. - Miguel Ángel Pérez Toledano; Amparo Navasa Martínez; Juan Manuel Murillo; Carlos Canal Velasco (JISBD, 2005)

Formalizing WSBPEL Business Processes Using Process Algebra. - Javier Cámara 001; Carlos Canal; Javier Cubo; Antonio Vallecillo (FOCLASA, 2005)

A formal approach to component adaptation. - Andrea Bracciali; Antonio Brogi; Carlos Canal (J. Syst. Softw., 2005)

Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. - Carlos Canal; Pascal Poizat; Gwen Salaün (CAL, 2006)

Making Aspect Oriented System Evolution Safer. - Miguel Ángel Pérez Toledano; Amparo Navasa Martínez; Juan Manuel Murillo Rodríguez; Carlos Canal (RAM-SE, 2006)

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. - Steffen Becker 001; Carlos Canal; Nikolay Diakov; Juan Manuel Murillo; Pascal Poizat; Massimo Tivoli (ECOOP Workshops, 2006)

Synchronizing Behavioural Mismatch in Software Composition. - Carlos Canal; Pascal Poizat; Gwen Salaün (FMOODS, 2006)

Evolución de sistemas orientados a aspectos utilizando patrones de interacción. - Miguel Ángel Pérez Toledano; Amparo Navasa Martínez; Juan Manuel Murillo; Carlos Canal (JISBD, 2006)

Software Adaptation. - Carlos Canal; Juan Manuel Murillo; Pascal Poizat (Obj. Logiciel Base données Réseaux, 2006)

Preface. - Steffen Becker 001; Carlos Canal; Nikolay Diakov; Juan Manuel Murillo; Pascal Poizat; Massimo Tivoli (WCAT@ECOOP, 2006)

Dynamic Contextual Adaptation. - Antonio Brogi; Javier Cámara 001; Carlos Canal; Javier Cubo; Ernesto Pimentel 001 (FOCLASA, 2006)

An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. - Javier Cámara 001; Carlos Canal; Javier Cubo; Juan Manuel Murillo (WCAT@ECOOP, 2006)

Component adaptation through flexible subservicing. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (Sci. Comput. Program., 2006)

On the semantics of software adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (Sci. Comput. Program., 2006)

Context-Based Adaptation of Component Behavioural Interfaces. - Javier Cubo; Gwen Salaün; Javier Cámara 001; Carlos Canal; Ernesto Pimentel 001 (COORDINATION, 2007)

Practical Approaches for Software Adaptation. - Carlos Canal; Juan Manuel Murillo; Pascal Poizat (ECOOP Workshops, 2007)

Enabling Adaptivity in User Interfaces. - Javier Cámara 001; Carlos Canal; Javier Cubo; Juan Manuel Murillo (ECSA, 2007)

TITAN: a Framework for Aspect Oriented System Evolution. - Miguel Ángel Pérez Toledano; Amparo Navasa Martínez; Juan Manuel Murillo; Carlos Canal (ICSEA, 2007)

Run-time Composition and Adaptation of Mismatching Behavioural Transactions. - Javier Cámara 001; Gwen Salaün; Carlos Canal (SEFM, 2007)

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. - Javier Cámara 001; Carlos Canal; Gwen Salaün (FACS, 2007)

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. - Javier Cubo; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001; Pascal Poizat (FACS, 2007)

Preface. - Carlos Canal; Mirko Viroli (Sci. Comput. Program., 2007)

Clint: A Composition Language Interpreter (Tool Paper). - Javier Cámara 001; Gwen Salaün; Carlos Canal (FASE, 2008)

Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001 (MOMPES, 2008)

Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. - Javier Cámara 001; Gwen Salaün; Carlos Canal (J. Univers. Comput. Sci., 2008)

A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development. - Miguel Ángel Pérez Toledano; Amparo Navasa Martínez; Juan Manuel Murillo; Carlos Canal (J. Univers. Comput. Sci., 2008)

Model-Based Adaptation of Behavioral Mismatching Components. - Carlos Canal; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2008)

Behavioural self-adaptation of services in ubiquitous computing environments. - Javier Cámara 001; Carlos Canal; Gwen Salaün (SEAMS, 2009)

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Javier Cubo; Meriem Ouederni; Carlos Canal; Ernesto Pimentel 001 (ICSE, 2009)

Interactive Specification and Verification of Behavioural Adaptation Contracts. - Javier Cámara 001; Gwen Salaün; Carlos Canal; Meriem Ouederni (QSIC, 2009)

A formal model and composition language for context-aware service protocols. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001; Gwen Salaün (CASTA@ESEC/SIGSOFT FSE, 2009)

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. - Antonio Cansado; Carlos Canal; Gwen Salaün; Javier Cubo (FACS@FMWeek, 2009)

A Case Study in Model-Based Adaptation of Web Services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001 (ISoLA (2), 2010)

A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. - Javier Cámara 001; Carlos Canal; Nikolay Vasilev (OTM Workshops, 2010)

Handling Data-Based Concurrency in Context-Aware Service Protocols - Javier Cubo; Ernesto Pimentel 001; Gwen Salaün; Carlos Canal (FOCLASA, 2010)

Semi-Automatic Specification of Behavioural Service Adaptation Contracts. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001 (FESCA@ETAPS, 2010)

Preface. - Carlos Canal; Corina S. Pasareanu (Sci. Comput. Program., 2010)

Component Reconfiguration in Presence of Mismatch. - Carlos Canal; Antonio Cansado (Informatica (Slovenia), 2011)

Model-Based Dependable Composition of Self-Adaptive Systems. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001 (Informatica (Slovenia), 2011)

Context-Aware Composition and Adaptation based on Model Transformation. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001 (J. Univers. Comput. Sci., 2011)

Preface. - Carlos Canal; Pascal Poizat; Marjan Sirjani (Sci. Comput. Program., 2011)

Preface. - Carlos Canal; Pascal Poizat; Mirko Viroli (Sci. Comput. Program., 2011)

Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs. - Javier Miranda; Juan Manuel Murillo; Joaquín Guillén; Carlos Canal (WAS4FI-Mashups, 2012)

Enough about standardization, let's build cloud applications. - Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal (WICSA/ECSA Companion Volume, 2012)

Interactive specification and verification of behavioral adaptation contracts. - Javier Cámara 001; Gwen Salaün; Carlos Canal; Meriem Ouederni (Inf. Softw. Technol., 2012)

Structural reconfiguration of systems under behavioral adaptation. - Carlos Canal; Javier Cámara 001; Gwen Salaün (Sci. Comput. Program., 2012)

Assisting Cloud Service Migration Using Software Adaptation Techniques. - Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal (IEEE CLOUD, 2013)

A UML Profile for Modeling Multicloud Applications. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal (ESOCC, 2013)

Architecting Infrastructures for Cloud-Enabled Mobile Devices. - Javier Miranda; Joaquín Guillén; Javier Berrocal; José García-Alonso; Juan Manuel Murillo; Carlos Canal (ESOCC Workshops, 2013)

Development of Adaptive Multi-cloud Applications - A Model-Driven Approach. - Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal (MODELSWARD, 2013)

Developing migratable multicloud applications based on MDE and adaptation techniques. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal (NordiCloud, 2013)

A service-oriented framework for developing cross cloud migratable software. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal (J. Syst. Softw., 2013)

Adaptation of Asynchronously Communicating Software. - Carlos Canal; Gwen Salaün (ICSOC, 2014)

People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles. - Joaquín Guillén; Javier Miranda; Javier Berrocal; José García-Alonso; Juan Manuel Murillo; Carlos Canal (IEEE Softw., 2014)

Model-Based Adaptation of Software Communicating via FIFO Buffers. - Carlos Canal; Gwen Salaün (FASE, 2015)

Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures. - Javier Berrocal; Carlos Canal; José García-Alonso; Niko Mäkitalo; Tommi Mikkonen; Javier Miranda; Juan Manuel Murillo (MOBILESoft, 2015)

From the Internet of Things to the Internet of People. - Javier Miranda; Niko Mäkitalo; José García-Alonso; Javier Berrocal; Tommi Mikkonen; Carlos Canal; Juan Manuel Murillo (IEEE Internet Comput., 2015)

Towards Distributed and Context-Aware Human-Centric Cyber-Physical Systems. - José García-Alonso; Javier Berrocal; Carlos Canal; Juan Manuel Murillo (ESOCC Workshops, 2016)

Situational-Context: A Unified View of Everything Involved at a Particular Situation. - Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (ICWE, 2016)

Liquid Context: Migrating the Users' Context Across Devices. - Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (ICWE Workshops, 2016)

Stability-Based Adaptation of Asynchronously Communicating Software. - Carlos Canal; Gwen Salaün (SEFM, 2016)

Seamless Interactions on the Internet of Things. A Spotify-Based Proof of Concept. - José García-Alonso; Javier Berrocal; Carlos Canal; Juan Manuel Murillo (ICSOC Workshops, 2017)

A People-Oriented Paradigm for Smart Cities. - Alejandro Pérez-Vereda; Carlos Canal (ICWE, 2017)

Situational context in the programmable world. - Javier Berrocal; José García-Alonso; Jaime Galán-Jiménez; Juan Manuel Murillo; Niko Mäkitalo; Tommi Mikkonen; Carlos Canal (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Rich contextual information for monitoring the elderly in an early stage of cognitive impairment. - Javier Berrocal; José García-Alonso; Juan Manuel Murillo; Carlos Canal (Pervasive Mob. Comput., 2017)

Early analysis of resource consumption patterns in mobile applications. - Javier Berrocal; José García-Alonso; Cristina Vicente-Chicote; Juan Hernández Núñez; Tommi Mikkonen; Carlos Canal; Juan Manuel Murillo (Pervasive Mob. Comput., 2017)

Towards Multi-Device Context Aware Systems for Elders Well-being. - Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (UbiComp/ISWC Adjunct, 2018)

Towards Dynamically Programmable Devices Using Beacons. - Alejandro Pérez-Vereda; Daniel Flores-Martín; Carlos Canal; Juan Manuel Murillo (ICWE Workshops, 2018)

Situational and Adaptive Context-Aware Routing for Opportunistic IoT Networks. - Jaime Galán-Jiménez; Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (ITNAC, 2018)

Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. - Carlos Canal; Gwen Salaün (Sci. Comput. Program., 2018)

A Programming Framework for People as a Service. - David Bandera; Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (ICSOC Workshops, 2019)

Enabling the Interconnection of Smart Devices Through Semantic Web Techniques. - Daniel Flores-Martín; Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (ICWE, 2019)

One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. - David Bandera; Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (ISCC, 2019)

A Formal Programming Framework for Digital Avatars. - Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (SEFM Workshops, 2019)

Dynamically Programmable Virtual Profiles as a Service. - Alejandro Pérez-Vereda; Juan Manuel Murillo; Carlos Canal (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

Early Evaluation of Mobile Applications' Resource Consumption and Operating Costs. - Javier Berrocal; José García-Alonso; Pablo Fernandez 001; Alejandro Pérez-Vereda; Juan Hernández 001; Carlos Canal; Juan Manuel Murillo; Antonio Ruiz Cortés (IEEE Access, 2020)

Using Bluetooth Low Energy Advertisements for the Detection of People Temporal Proximity Patterns. - José García-Alonso; Javier Berrocal; Alejandro Pérez-Vereda; Jaime Galán-Jiménez; Carlos Canal; Juan Manuel Murillo (Mob. Inf. Syst., 2020)

Digital Avatars: Promoting Independent Living for Older Adults. - Manuel F. Bertoa; Nathalie Moreno; Alejandro Pérez-Vereda; David Bandera; José M. Álvarez-Palomo; Carlos Canal (Wirel. Commun. Mob. Comput., 2020)

Service Oriented Computing for Humans as Service Providers. - Sergio Laso; Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (Next-Gen Digital Services, 2021)

Modelling digital avatars: A tuple space approach. - Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (Sci. Comput. Program., 2021)

Human microservices: A framework for turning humans into service providers. - Sergio Laso; Javier Berrocal; José García-Alonso; Carlos Canal; Juan Manuel Murillo (Softw. Pract. Exp., 2021)

Social Events Analyzer (SEA): A Toolkit for Mining Social Workflows by Means of Federated Process Mining. - Javier Rojo 004; José García-Alonso; Javier Berrocal; Juan Hernández 001; Juan Manuel Murillo; Carlos Canal (ICWE, 2022)

SOWCompact: A federated process mining method for social workflows. - Javier Rojo 004; José García-Alonso; Javier Berrocal; Juan Hernández 001; Juan Manuel Murillo; Carlos Canal (Inf. Sci., 2022)

Digital Avatars: A programming framework for personalized human interactions through virtual profiles. - Alejandro Pérez-Vereda; Ramón Hervás; Carlos Canal (Pervasive Mob. Comput., 2022)

Logs obtained executing the HeatMap app with different architectures. - Javier Berrocal; José García-Alonso; Pablo Fernández 001; Alejandro Pérez-Vereda; Juan Hernández 001; Carlos Canal; Juan Manuel Murillo; Antonio Ruiz-Cortés (IEEE DataPort, 2022)

Towards an Urban Digital Twins Continuum Architecture. - Sergio Laso; Lorenzo Toro-Gálvez; Javier Berrocal; Javier Troya; Carlos Canal; Juan Manuel Murillo (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. - Lorenzo Toro-Gálvez; Rafael García-Luque; Javier Troya; Carlos Canal; Ernesto Pimentel 001 (ICWE Workshops, 2023)

Deploying Digital Twins Over the Cloud-to-Thing Continuum. - Sergio Laso; Lorenzo Tore-Gálvez; Javier Berrocal; Carlos Canal; Juan Manuel Murillo (ISCC, 2023)

Integration of Classical and Quantum Services Using an Enterprise Service Bus. - Javier Bonilla; Enrique Moguel; José García-Alonso; Carlos Canal (PROFES (2), 2023)

Leveraging API Specifications for Scaffolding Quantum Applications. - Javier Romero-Álvarez; Jaime Alvarado-Valiente; Enrique Moguel; Carlos Canal; José García-Alonso; Juan Manuel Murillo (QCE, 2023)

Modeling Urban Digital Twins over the Cloud-to-Thing Continuum. - Nathalie Moreno; Lorenzo Toro-Gálvez; Javier Troya; Carlos Canal (Agile MDE/MeSS/TTC@STAF, 2023)

Distributed Crowdsensing Based on Mobile Personal Data Stores. - Alejandro Pérez-Vereda; Luis Cabañero; Nathalie Moreno; Ramón Hervás; Carlos Canal (UCAmI (3), 2023)

Integrating Citizens' Avatars in Urban Digital Twins. - Rafael García-Luque; Lorenzo Toro-Gálvez; Nathalie Moreno; Javier Troya; Carlos Canal; Ernesto Pimentel 001 (J. Web Eng., 2023)

Towards a Digital Twin System for Human Crowd Motion Prediction. - Ignacio Alba; Javier Troya; Carlos Canal (EDOC Workshops, 2024)

Quirk+: A Tool for Quantum Software Development Based on Quirk. - Javier Zayas Gallardo; Enrique Moguel; Carlos Canal; José García-Alonso (SANER (Companion), 2024)

Distributed mobile CEP for collaborative social computing. - Alejandro Pérez-Vereda; Carlos Canal; Ramón Hervás (Computing, 2024)