default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlos Canal
Carlos Canal Velasco
Person information
- affiliation: University of Málaga, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Alejandro Pérez-Vereda
, Carlos Canal, Ramón Hervás:
Distributed mobile CEP for collaborative social computing. Computing 106(3): 889-913 (2024)- [c84]Javier Zayas Gallardo, Enrique Moguel, Carlos Canal, José García-Alonso:
Quirk+: A Tool for Quantum Software Development Based on Quirk. SANER (Companion) 2024: 151-158 - 2023
- [j34]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): 913-938 (2023) - [c83]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: 272-286 - [c82]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: 67-74 - [c81]Sergio Laso, Lorenzo Tore-Gálvez, Javier Berrocal, Carlos Canal, Juan Manuel Murillo:
Deploying Digital Twins Over the Cloud-to-Thing Continuum. ISCC 2023: 1-6 - [c80]Javier Bonilla, Enrique Moguel, José García-Alonso, Carlos Canal:
Integration of Classical and Quantum Services Using an Enterprise Service Bus. PROFES (2) 2023: 107-118 - [c79]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: 187-190 - [c78]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 - [c77]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: 3-15 - 2022
- [j33]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: 18-37 (2022) - [j32]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: 101718 (2022) - [c76]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: 477-480 - [d1]Javier Berrocal, José García-Alonso, Pablo Fernández, Alejandro Pérez-Vereda, Juan Hernández, Carlos Canal, Juan Manuel Murillo, Antonio Ruiz-Cortés:
Logs obtained executing the HeatMap app with different architectures. IEEE DataPort, 2022
- 2021
- [j31]Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel:
Modelling digital avatars: A tuple space approach. Sci. Comput. Program. 203: 102583 (2021) - [j30]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): 1910-1935 (2021) - [c75]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: 111-122 - 2020
- [j29]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: 146648-146665 (2020) - [j28]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: 8506323:1-8506323:17 (2020) - [j27]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: 8891002:1-8891002:11 (2020)
2010 – 2019
- 2019
- [c74]David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel:
A Programming Framework for People as a Service. ICSOC Workshops 2019: 308-312 - [c73]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: 534-537 - [c72]David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel:
One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. ISCC 2019: 1171-1176 - [c71]Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel:
A Formal Programming Framework for Digital Avatars. SEFM Workshops 2019: 236-251 - [c70]Alejandro Pérez-Vereda, Juan Manuel Murillo, Carlos Canal:
Dynamically Programmable Virtual Profiles as a Service. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 1789-1794 - 2018
- [j26]Carlos Canal, Gwen Salaün:
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Sci. Comput. Program. 168: 169-170 (2018) - [c69]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: 750-753 - [c68]Alejandro Pérez-Vereda, Daniel Flores-Martín, Carlos Canal, Juan Manuel Murillo:
Towards Dynamically Programmable Devices Using Beacons. ICWE Workshops 2018: 49-58 - [c67]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: 1-6 - 2017
- [j25]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: 106-125 (2017) - [j24]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: 32-50 (2017) - [c66]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: 124-136 - [c65]Alejandro Pérez-Vereda, Carlos Canal:
A People-Oriented Paradigm for Smart Cities. ICWE 2017: 584-591 - [c64]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: 1-8 - 2016
- [c63]José García-Alonso, Javier Berrocal, Carlos Canal, Juan Manuel Murillo:
Towards Distributed and Context-Aware Human-Centric Cyber-Physical Systems. ESOCC Workshops 2016: 59-73 - [c62]Javier Berrocal, José García-Alonso, Carlos Canal, Juan Manuel Murillo:
Liquid Context: Migrating the Users' Context Across Devices. ICWE Workshops 2016: 128-141 - [c61]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: 476-483 - [c60]Carlos Canal, Gwen Salaün:
Stability-Based Adaptation of Asynchronously Communicating Software. SEFM 2016: 321-336 - 2015
- [j23]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): 40-47 (2015) - [c59]Carlos Canal, Gwen Salaün:
Model-Based Adaptation of Software Communicating via FIFO Buffers. FASE 2015: 252-266 - [c58]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: 134-135 - [e9]Carlos Canal, Akram Idani:
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8938, Springer 2015, ISBN 978-3-319-15200-4 [contents] - 2014
- [j22]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): 48-53 (2014) - [c57]Carlos Canal, Gwen Salaün:
Adaptation of Asynchronously Communicating Software. ICSOC 2014: 437-444 - 2013
- [j21]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): 2294-2308 (2013) - [c56]Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal:
Assisting Cloud Service Migration Using Software Adaptation Techniques. IEEE CLOUD 2013: 573-580 - [c55]Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal:
A UML Profile for Modeling Multicloud Applications. ESOCC 2013: 180-187 - [c54]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: 277-287 - [c53]Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal:
Development of Adaptive Multi-cloud Applications - A Model-Driven Approach. MODELSWARD 2013: 321-330 - [c52]Joaquín Guillén, Javier Miranda, Juan Manuel Murillo, Carlos Canal:
Developing migratable multicloud applications based on MDE and adaptation techniques. NordiCloud 2013: 30-37 - [e8]Carlos Canal, Massimo Villari:
Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers. Communications in Computer and Information Science 393, Springer 2013, ISBN 978-3-642-45363-2 [contents] - 2012
- [j20]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni:
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54(7): 701-723 (2012) - [j19]Carlos Canal, Javier Cámara, Gwen Salaün:
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012) - [c51]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: 12-19 - [c50]Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal:
Enough about standardization, let's build cloud applications. WICSA/ECSA Companion Volume 2012: 74-77 - 2011
- [j18]Carlos Canal, Antonio Cansado:
Component Reconfiguration in Presence of Mismatch. Informatica (Slovenia) 35(1): 29-37 (2011) - [j17]Javier Cubo, Carlos Canal, Ernesto Pimentel:
Model-Based Dependable Composition of Self-Adaptive Systems. Informatica (Slovenia) 35(1): 51-62 (2011) - [j16]Javier Cubo, Carlos Canal, Ernesto Pimentel:
Context-Aware Composition and Adaptation based on Model Transformation. J. Univers. Comput. Sci. 17(5): 777-806 (2011) - [j15]Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. Sci. Comput. Program. 76(1): 1-2 (2011) - [j14]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. Sci. Comput. Program. 76(8): 631-632 (2011) - 2010
- [j13]Carlos Canal, Corina S. Pasareanu:
Preface. Sci. Comput. Program. 75(10): 809-810 (2010) - [c49]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: 112-126 - [c48]Javier Cámara, Carlos Canal, Nikolay Vasilev:
A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops 2010: 67-76 - [c47]Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal:
Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77 - [c46]Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. FESCA@ETAPS 2010: 19-34 - [e7]Carlos Canal, Corina S. Pasareanu:
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008. Electronic Notes in Theoretical Computer Science 260, Elsevier 2010 [contents] - [e6]Javier Cámara, Carlos Canal, Gwen Salaün:
Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. EPTCS 37, 2010 [contents]
2000 – 2009
- 2009
- [c45]Javier Cámara, Carlos Canal, Gwen Salaün:
Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37 - [c44]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: 627-630 - [c43]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni:
Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75 - [c42]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: 17-20 - [c41]Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. FACS@FMWeek 2009: 95-110 - [e5]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008. Electronic Notes in Theoretical Computer Science 229(2), Elsevier 2009 [contents] - 2008
- [j12]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Software Adaptation. J. Univers. Comput. Sci. 14(13): 2107-2109 (2008) - [j11]Javier Cámara, Gwen Salaün, Carlos Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. Univers. Comput. Sci. 14(13): 2182-2211 (2008) - [j10]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): 2212-2238 (2008) - [j9]Carlos Canal, Pascal Poizat, Gwen Salaün:
Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008) - [c40]Javier Cámara, Gwen Salaün, Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427 - [c39]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: 3-13 - [c38]Carlos Canal, Corina S. Pasareanu:
Preface. FACS 2008: 1-2 - [c37]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. FOCLASA@ICALP 2008: 1-2 - [e4]Carlos Canal, Pascal Poizat, Mirko Viroli:
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(4), Elsevier 2008 [contents] - 2007
- [j8]Carlos Canal, Mirko Viroli:
Preface. Sci. Comput. Program. 66(3): 181-183 (2007) - [c36]Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323 - [c35]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165 - [c34]Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo:
Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114 - [c33]Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal:
TITAN: a Framework for Aspect Oriented System Evolution. ICSEA 2007: 4 - [c32]Javier Cámara, Gwen Salaün, Carlos Canal:
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390 - [c31]Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. FOCLASA 2007: 1-3 - [c30]Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. FACS 2007: 39-55 - [c29]Javier Cámara, Carlos Canal, Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. FACS 2007: 111-130 - [e3]Carlos Canal, Mirko Viroli:
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(2), Elsevier 2007 [contents] - [e2]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli:
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006. Electronic Notes in Theoretical Computer Science 189, Elsevier 2007 [contents] - 2006
- [j7]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Software Adaptation. Obj. Logiciel Base données Réseaux 12(1): 9-31 (2006) - [j6]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006) - [j5]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006) - [c28]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: 31-39 - [c27]Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo Rodríguez, Carlos Canal:
Making Aspect Oriented System Evolution Safer. RAM-SE 2006: 22-34 - [c26]Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodríguez:
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE 2006: 59-70 - [c25]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: 72-86 - [c24]Carlos Canal, Pascal Poizat, Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77 - [c23]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: 514-519 - [c22]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli:
Preface. WCAT@ECOOP 2006: 1-3 - [c21]Carlos Canal, Mirko Viroli:
Preface. FOCLASA 2006: 1-2 - [c20]Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo:
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. WCAT@ECOOP 2006: 21-34 - [c19]Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel:
Dynamic Contextual Adaptation. FOCLASA 2006: 81-95 - [e1]Carlos Canal, Mirko Viroli:
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(1), Elsevier 2006 [contents] - 2005
- [j4]Andrea Bracciali, Antonio Brogi, Carlos Canal:
A formal approach to component adaptation. J. Syst. Softw. 74(1): 45-54 (2005) - [c18]Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Carlos Canal, Juan Manuel Murillo Rodríguez:
Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia. CIbSE 2005: 229-242 - [c17]Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal Velasco:
Síntesis de patrones de interacción a partir de diagramas de secuencia en UML. JISBD 2005: 83-90 - [c16]Carlos Canal, Mirko Viroli:
Preface. FOCLASA 2005: 1-2 - [c15]Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo:
Formalizing WSBPEL Business Processes Using Process Algebra. FOCLASA 2005: 159-173 - 2004
- [c14]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Behavioural Types and Component Adaptation. AMAST 2004: 42-56 - [c13]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Measuring Component Adaptation. COORDINATION 2004: 71-86 - [c12]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147 - [c11]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Behavioural Types for Service Integration: Achievements and Challenges. FOCLASA 2004: 41-54 - [c10]Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo:
Formalizing Web Service Choreographies. WSFM 2004: 73-94 - 2003
- [j3]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
Adding Roles to CORBA Objects. IEEE Trans. Software Eng. 29(3): 242-260 (2003) - [c9]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
Soft component adaptation. SecCo 2003: 1-16 - [c8]Antonio Brogi, Carlos Canal, Ernesto Pimentel:
On the specification of software adaptation. FOCLASA 2003: 47-65 - 2002
- [c7]Andrea Bracciali, Antonio Brogi, Carlos Canal:
Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199 - [c6]Andrea Bracciali, Antonio Brogi, Carlos Canal:
Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95 - [c5]Andrea Bracciali, Antonio Brogi, Carlos Canal:
Systematic Component Adaptation. Formal Methods and Component Interaction @ ICALP 2002: 97-113 - 2001
- [j2]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001) - [j1]Carlos Canal, Ernesto Pimentel, José M. Troya:
Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001) - 2000
- [c4]Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo:
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) 2000: 208-225
1990 – 1999
- 1999
- [c3]Carlos Canal, Lidia Fuentes, Antonio Vallecillo:
Extending IDLs with pi-calculus for Protocol Compatibility. ECOOP Workshops 1999: 5-6 - [c2]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya:
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. JISBD 1999: 443-454 - [c1]Carlos Canal, Ernesto Pimentel, José M. Troya:
Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
