Carlos Canal

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 36

Top Venues

ICWE

ICWE Workshops

Pervasive Mob. Comput.

ISCC

Publications

Alejandro Pérez-Vereda, Carlos Canal, Ramón Hervás
Distributed mobile CEP for collaborative social computing. Computing 106 (3) (2024)
Javier Romero-Álvarez, Jaime Alvarado-Valiente, Enrique Moguel, Carlos Canal, José García-Alonso, Juan Manuel Murillo
Leveraging API Specifications for Scaffolding Quantum Applications. QCE (2023)
Sergio Laso, Lorenzo Tore-Gálvez, Javier Berrocal, Carlos Canal, Juan Manuel Murillo
Deploying Digital Twins Over the Cloud-to-Thing Continuum. ISCC (2023)
Lorenzo Toro-Gálvez, Rafael García-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. ICWE Workshops (2023)
Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel
Integrating Citizens' Avatars in Urban Digital Twins. J. Web Eng. 22 (6) (2023)
Alejandro Pérez-Vereda, Luis Cabañero, Nathalie Moreno, Ramón Hervás, Carlos Canal
Distributed Crowdsensing Based on Mobile Personal Data Stores. UCAmI (3) (2023)
Nathalie Moreno, Lorenzo Toro-Gálvez, Javier Troya, Carlos Canal
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum. Agile MDE/MeSS/TTC@STAF (2023)
Javier Bonilla, Enrique Moguel, José García-Alonso, Carlos Canal
Integration of Classical and Quantum Services Using an Enterprise Service Bus. PROFES (2) (2023)
Sergio Laso, Lorenzo Toro-Gálvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo
Towards an Urban Digital Twins Continuum Architecture. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Javier Rojo, José García-Alonso, Javier Berrocal, Juan Hernández, Juan Manuel Murillo, Carlos Canal
Social Events Analyzer (SEA): A Toolkit for Mining Social Workflows by Means of Federated Process Mining. ICWE (2022)
Javier Rojo, José García-Alonso, Javier Berrocal, Juan Hernández, Juan Manuel Murillo, Carlos Canal
SOWCompact: A federated process mining method for social workflows. Inf. Sci. 595 (2022)
Alejandro Pérez-Vereda, Ramón Hervás, Carlos Canal
Digital Avatars: A programming framework for personalized human interactions through virtual profiles. Pervasive Mob. Comput. 87 (2022)
Sergio Laso, Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Service Oriented Computing for Humans as Service Providers. Next-Gen Digital Services (2021)
Sergio Laso, Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Human microservices: A framework for turning humans into service providers. Softw. Pract. Exp. 51 (9) (2021)
Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
Modelling digital avatars: A tuple space approach. Sci. Comput. Program. 203 (2021)
Manuel F. Bertoa, Nathalie Moreno, Alejandro Pérez-Vereda, David Bandera, José M. Álvarez-Palomo, Carlos Canal
Digital Avatars: Promoting Independent Living for Older Adults. Wirel. Commun. Mob. Comput. 2020 (2020)
José García-Alonso, Javier Berrocal, Alejandro Pérez-Vereda, Jaime Galán-Jiménez, Carlos Canal, Juan Manuel Murillo
Using Bluetooth Low Energy Advertisements for the Detection of People Temporal Proximity Patterns. Mob. Inf. Syst. 2020 (2020)
Javier Berrocal, José García-Alonso, Pablo Fernandez, Alejandro Pérez-Vereda, Juan Hernández, Carlos Canal, Juan Manuel Murillo, Antonio Ruiz Cortés
Early Evaluation of Mobile Applications' Resource Consumption and Operating Costs. IEEE Access 8 (2020)
David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
A Programming Framework for People as a Service. ICSOC Workshops (2019)
David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. ISCC (2019)
Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
A Formal Programming Framework for Digital Avatars. SEFM Workshops (2019)
Daniel Flores-Martín, Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Enabling the Interconnection of Smart Devices Through Semantic Web Techniques. ICWE (2019)
Alejandro Pérez-Vereda, Juan Manuel Murillo, Carlos Canal
Dynamically Programmable Virtual Profiles as a Service. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2019)
Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Towards Multi-Device Context Aware Systems for Elders Well-being. UbiComp/ISWC Adjunct (2018)
Alejandro Pérez-Vereda, Daniel Flores-Martín, Carlos Canal, Juan Manuel Murillo
Towards Dynamically Programmable Devices Using Beacons. ICWE Workshops (2018)
Jaime Galán-Jiménez, Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Situational and Adaptive Context-Aware Routing for Opportunistic IoT Networks. ITNAC (2018)
Carlos Canal, Gwen Salaün
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Sci. Comput. Program. 168 (2018)
Alejandro Pérez-Vereda, Carlos Canal
A People-Oriented Paradigm for Smart Cities. ICWE (2017)
Javier Berrocal, José García-Alonso, Jaime Galán-Jiménez, Juan Manuel Murillo, Niko Mäkitalo, Tommi Mikkonen, Carlos Canal
Situational context in the programmable world. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Javier Berrocal, José García-Alonso, Cristina Vicente-Chicote, Juan Hernández Núñez, Tommi Mikkonen, Carlos Canal, Juan Manuel Murillo
Early analysis of resource consumption patterns in mobile applications. Pervasive Mob. Comput. 35 (2017)
Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal
Rich contextual information for monitoring the elderly in an early stage of cognitive impairment. Pervasive Mob. Comput. 34 (2017)
José García-Alonso, Javier Berrocal, Carlos Canal, Juan Manuel Murillo
Seamless Interactions on the Internet of Things. A Spotify-Based Proof of Concept. ICSOC Workshops (2017)
Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Situational-Context: A Unified View of Everything Involved at a Particular Situation. ICWE (2016)
Carlos Canal, Gwen Salaün
Stability-Based Adaptation of Asynchronously Communicating Software. SEFM (2016)
José García-Alonso, Javier Berrocal, Carlos Canal, Juan Manuel Murillo
Towards Distributed and Context-Aware Human-Centric Cyber-Physical Systems. ESOCC Workshops (2016)
Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo
Liquid Context: Migrating the Users' Context Across Devices. ICWE Workshops (2016)
Javier Berrocal, Carlos Canal, José García-Alonso, Niko Mäkitalo, Tommi Mikkonen, Javier Miranda, Juan Manuel Murillo
Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures. MOBILESoft (2015)
Carlos Canal, Gwen Salaün
Model-Based Adaptation of Software Communicating via FIFO Buffers. FASE (2015)
Javier Miranda, Niko Mäkitalo, José García-Alonso, Javier Berrocal, Tommi Mikkonen, Carlos Canal, Juan Manuel Murillo
From the Internet of Things to the Internet of People. IEEE Internet Comput. 19 (2) (2015)
Carlos Canal, Gwen Salaün
Adaptation of Asynchronously Communicating Software. ICSOC (2014)
Joaquín Guillén, Javier Miranda, Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal
People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles. IEEE Softw. 31 (2) (2014)
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal
Development of Adaptive Multi-cloud Applications - A Model-Driven Approach. MODELSWARD (2013)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal
A service-oriented framework for developing cross cloud migratable software. J. Syst. Softw. 86 (9) (2013)
Javier Miranda, Joaquín Guillén, Javier Berrocal, José García-Alonso, Juan Manuel Murillo, Carlos Canal
Architecting Infrastructures for Cloud-Enabled Mobile Devices. ESOCC Workshops (2013)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal
Developing migratable multicloud applications based on MDE and adaptation techniques. NordiCloud (2013)
Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal
A UML Profile for Modeling Multicloud Applications. ESOCC (2013)
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal
Assisting Cloud Service Migration Using Software Adaptation Techniques. IEEE CLOUD (2013)
Carlos Canal, Javier Cámara, Gwen Salaün
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78 (1) (2012)
Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal
Enough about standardization, let's build cloud applications. WICSA/ECSA Companion Volume (2012)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54 (7) (2012)
Javier Miranda, Juan Manuel Murillo, Joaquín Guillén, Carlos Canal
Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs. WAS4FI-Mashups (2012)
Carlos Canal, Antonio Cansado
Component Reconfiguration in Presence of Mismatch. Informatica (Slovenia) 35 (1) (2011)
Javier Cubo, Carlos Canal, Ernesto Pimentel
Model-Based Dependable Composition of Self-Adaptive Systems. Informatica (Slovenia) 35 (1) (2011)
Carlos Canal, Pascal Poizat, Marjan Sirjani
Preface. Sci. Comput. Program. 76 (8) (2011)
Javier Cubo, Carlos Canal, Ernesto Pimentel
Context-Aware Composition and Adaptation based on Model Transformation. J. Univers. Comput. Sci. 17 (5) (2011)
Carlos Canal, Pascal Poizat, Mirko Viroli
Preface. Sci. Comput. Program. 76 (1) (2011)
Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
Handling Data-Based Concurrency in Context-Aware Service Protocols FOCLASA (2010)
Carlos Canal, Corina S. Pasareanu
Preface. Sci. Comput. Program. 75 (10) (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) (2010)
Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Electron. Notes Theor. Comput. Sci. 263 (2010)
Carlos Canal, Corina S. Pasareanu
Preface. Electron. Notes Theor. Comput. Sci. 260 (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Javier Cámara, Carlos Canal, Nikolay Vasilev
A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops (2010)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC (2009)
Carlos Canal, Pascal Poizat, Marjan Sirjani
Preface. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün
A formal model and composition language for context-aware service protocols. CASTA@ESEC/SIGSOFT FSE (2009)
Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE (2009)
Javier Cámara, Carlos Canal, Gwen Salaün
Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS (2009)
Javier Cámara, Gwen Salaün, Carlos Canal
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. Univers. Comput. Sci. 14 (13) (2008)
Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal
A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development. J. Univers. Comput. Sci. 14 (13) (2008)
Carlos Canal, Pascal Poizat, Mirko Viroli
Preface. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electron. Notes Theor. Comput. Sci. 215 (2008)
Javier Cubo, Carlos Canal, Ernesto Pimentel
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. MOMPES (2008)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Software Adaptation. J. Univers. Comput. Sci. 14 (13) (2008)
Javier Cámara, Gwen Salaün, Carlos Canal
Clint: A Composition Language Interpreter (Tool Paper). FASE (2008)
Javier Cámara, Carlos Canal, Gwen Salaün
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. Electron. Notes Theor. Comput. Sci. 215 (2008)
Carlos Canal, Pascal Poizat, Gwen Salaün
Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34 (4) (2008)
Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal
TITAN: a Framework for Aspect Oriented System Evolution. ICSEA (2007)
Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo
in User Interfaces. ECSA (2007)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Practical Approaches for Software Adaptation. ECOOP Workshops (2007)
Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. Electron. Notes Theor. Comput. Sci. 189 (2007)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
Behavioural Types for Service Integration: Achievements and Challenges. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Carlos Canal, Mirko Viroli
Preface. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
Preface. Electron. Notes Theor. Comput. Sci. 189 (2007)
Carlos Canal, Mirko Viroli
Preface. Sci. Comput. Program. 66 (3) (2007)
Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
Dynamic Contextual Adaptation. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION (2007)
Javier Cámara, Gwen Salaün, Carlos Canal
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM (2007)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
Component adaptation through flexible subservicing. Sci. Comput. Program. 63 (1) (2006)
Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodriguez
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE (2006)
Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal
Evolución de sistemas orientados a aspectos utilizando patrones de interacción. JISBD (2006)
Carlos Canal, Mirko Viroli
Preface. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo
Formalizing WSBPEL Business Processes Using Process Algebra. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
On the semantics of software adaptation. Sci. Comput. Program. 61 (2) (2006)
Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP Workshops (2006)
Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo Rodriguez, Carlos Canal
Making Aspect Oriented System Evolution Safer. RAM-SE (2006)
Carlos Canal, Pascal Poizat, Gwen Salaün
Synchronizing Behavioural Mismatch in Software Composition. FMOODS (2006)
Carlos Canal, Pascal Poizat, Gwen Salaün
Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL (2006)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Software Adaptation. Obj. Logiciel Base données Réseaux 12 (1) (2006)
Andrea Bracciali, Antonio Brogi, Carlos Canal
A formal approach to component adaptation. J. Syst. Softw. 74 (1) (2005)

Carlos Canal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlos Canal