Carlos Canal

Carlos Canal Velasco

2008
40	EE	Javier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
2007
39	EE	Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
38	EE	Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165
37	EE	Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114
36	EE	Miguel Ángel Perez-Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal: TITAN: a Framework for Aspect Oriented System Evolution. ICSEA 2007: 4
35	EE	Javier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
34	EE	Carlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 175(2): 1-2 (2007)
33	EE	Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
32	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)
31	EE	Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007)
30	EE	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)
29	EE	Carlos Canal, Mirko Viroli: Preface. Sci. Comput. Program. 66(3): 181-183 (2007)
2006
28		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
27	EE	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
26	EE	Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
25		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
24		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
23		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
22	EE	Carlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 154(1): 1-2 (2006)
21	EE	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)
20	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)
19	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)
2005
18		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
17	EE	Andrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)
2004
16	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56
15	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86
14	EE	Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147
13	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)
12	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)
2003
11	EE	Antonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
10	EE	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
9	EE	Andrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95
8	EE	Andrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199
7	EE	Andrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
2001
6	EE	Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001)
5		Carlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001)
2000
4	EE	Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) 2000: 208-225
1999
3		Carlos Canal, Lidia Fuentes, Antonio Vallecillo: Extending IDLs with pi-calculus for Protocol Compatibility. ECOOP Workshops 1999: 5-6
2		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
1		Carlos Canal, Ernesto Pimentel, José M. Troya: Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126

Coauthor Index

1	Steffen Becker	[27] [31]
2	Andrea Bracciali	[7] [8] [9] [17]
3	Antonio Brogi	[7] [8] [9] [11] [12] [13] [15] [16] [17] [19] [20] [32] [33]
4	Javier Cámara	[21] [23] [30] [33] [35] [37] [39] [40]
5	Javier Cubo	[21] [23] [30] [33] [37] [39]
6	Nikolay Diakov	[27] [31]
7	Lidia Fuentes	[2] [3] [4] [6] [10]
8	Amparo Navasa Martínez	[18] [24] [25] [36]
9	Juan Manuel Murillo (Juan Manuel Murillo Rodriguez)	[14] [18] [23] [24] [25] [27] [30] [31] [36] [37] [38]
10	Miguel Ángel Perez-Toledano	[36]
11	Ernesto Pimentel	[1] [2] [5] [6] [10] [11] [12] [13] [15] [16] [19] [20] [32] [33] [39]
12	Pascal Poizat	[14] [26] [27] [28] [31] [38]
13	Gwen Salaün	[26] [28] [35] [39] [40]
14	Massimo Tivoli	[27] [31]
15	Miguel Ángel Pérez Toledano	[18] [24] [25]
16	José M. Troya (José María Troya Linero)	[1] [2] [4] [5] [6] [10]
17	Antonio Vallecillo	[3] [4] [6] [10] [13] [21]
18	Mirko Viroli	[22] [29] [34]

Colors in the list of coauthors