dblp.uni-trier.dewww.uni-trier.de

Carlos Canal Vis

Carlos Canal Velasco

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
49EEJavier Cámara, Jose Antonio Martin, 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
2008
48EEJavier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
47EECarlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008)
46EEJavier 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)
45EEJavier 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)
44EECarlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008)
43 Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. J. UCS 14(13): 2107-2109 (2008)
42 Javier Cámara, Gwen Salaün, Carlos Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. UCS 14(13): 2182-2211 (2008)
41 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)
2007
40EEJavier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
39EECarlos Canal, Juan Manuel Murillo, Pascal Poizat: Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165
38EEJavier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114
37EEMiguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal: TITAN: a Framework for Aspect Oriented System Evolution. ICSEA 2007: 4
36EEJavier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
35EECarlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 175(2): 1-2 (2007)
34EEAntonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
33EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)
32EESteffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007)
31EEJavier 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)
30EECarlos Canal, Mirko Viroli: Preface. Sci. Comput. Program. 66(3): 181-183 (2007)
2006
29 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
28EESteffen 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
27EECarlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
26 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
25 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
24 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
23EECarlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 154(1): 1-2 (2006)
22EEJavier 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)
21EECarlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. L'OBJET 12(1): 9-31 (2006)
20EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)
19EEAntonio 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
17EEAndrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)
2004
16EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56
15EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86
14EECarlos Canal, Juan Manuel Murillo, Pascal Poizat: Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147
13EEAntonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)
12EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)
2003
11EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
10EECarlos 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
9EEAndrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95
8EEAndrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199
7EEAndrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
2001
6EECarlos 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
4EECarlos 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)