Carlos Canal

Carlos Canal Velasco

	2012
j36		Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive specification and verification of behavioral adaptation contracts. Information & Software Technology 54(7): 701-723 (2012)
j35		Carlos Canal, Javier Cámara, Gwen Salaün: Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012)
c31		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
j34		Javier Cubo, Carlos Canal, Ernesto Pimentel: Context-Aware Composition and Adaptation based on Model Transformation. J. UCS 17(5): 777-806 (2011)
j33		Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. Sci. Comput. Program. 76(1): 1-2 (2011)
j32		Carlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Sci. Comput. Program. 76(8): 631-632 (2011)
	2010
j31		Carlos Canal, Corina S. Pasareanu: Preface. Electr. Notes Theor. Comput. Sci. 260: 1-2 (2010)
j30		Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo: A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Electr. Notes Theor. Comput. Sci. 263: 95-110 (2010)
j29		Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel: Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electr. Notes Theor. Comput. Sci. 264(1): 19-34 (2010)
j28		Carlos Canal, Corina S. Pasareanu: Preface. Sci. Comput. Program. 75(10): 809-810 (2010)
c30		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
c29		Javier Cámara, Carlos Canal, Nikolay Vasilev: A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops 2010: 67-76
c28		Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal: Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77
e1		Javier Cámara, Carlos Canal, Gwen Salaün (Eds.): Proceedings International Workshop on Component and Service Interoperability. EPTCS 37, 2010
	2009
j27		Carlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 229(2): 1-2 (2009)
c27		Javier Cámara, Carlos Canal, Gwen Salaün: Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37
c26		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
c25		Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75
	2008
j26		Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008)
j25		Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat: A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electr. Notes Theor. Comput. Sci. 215: 39-55 (2008)
j24		Javier Cámara, Carlos Canal, Gwen Salaün: Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. Electr. Notes Theor. Comput. Sci. 215: 111-130 (2008)
j23		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. J. UCS 14(13): 2107-2109 (2008)
j22		Javier Cámara, Gwen Salaün, Carlos Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. UCS 14(13): 2182-2211 (2008)
j21		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. UCS 14(13): 2212-2238 (2008)
j20		Carlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008)
c24		Javier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
c23		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
	2007
j19		Carlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 175(2): 1-2 (2007)
j18		Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
j17		Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)
j16		Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007)
j15		Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. Electr. Notes Theor. Comput. Sci. 189: 21-34 (2007)
j14		Carlos Canal, Mirko Viroli: Preface. Sci. Comput. Program. 66(3): 181-183 (2007)
c22		Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
c21		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165
c20		Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114
c19		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
c18		Javier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
	2006
j13		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. L'OBJET 12(1): 9-31 (2006)
j12		Carlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 154(1): 1-2 (2006)
j11		Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo: Formalizing WSBPEL Business Processes Using Process Algebra. Electr. Notes Theor. Comput. Sci. 154(1): 159-173 (2006)
j10		Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)
j9		Antonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)
c17		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
c16		Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo Rodriguez, Carlos Canal: Making Aspect Oriented System Evolution Safer. RAM-SE 2006: 22-34
c15		Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodriguez: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE 2006: 59-70
c14		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
c13		Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
c12		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
	2005
j8		Andrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)
c11		Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Carlos Canal, Juan Manuel Murillo Rodriguez: Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia. CIbSE 2005: 229-242
c10		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
	2004
j7		Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)
j6		Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)
c9		Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56
c8		Antonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86
c7		Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147
	2003
j5		Antonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): 1-16 (2003)
j4		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)
	2002
j3		Andrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): 97-113 (2002)
c6		Andrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199
c5		Andrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95
	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
	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

Last update Sat May 18 23:29:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page