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

Carlos Canal Home Page Coauthor index pubzone.org

Carlos Canal Velasco

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

DBLP keys2012
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
2011
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cubo, Carlos Canal, Ernesto Pimentel: Context-Aware Composition and Adaptation based on Model Transformation. J. UCS 17(5): 777-806 (2011)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Pascal Poizat, Mirko Viroli: Preface. Sci. Comput. Program. 76(1): 1-2 (2011)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Sci. Comput. Program. 76(8): 631-632 (2011)
2010
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Carlos Canal, Gwen Salaün: Proceedings International Workshop on Component and Service Interoperability WCSI 2010
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal: Handling Data-Based Concurrency in Context-Aware Service Protocols FOCLASA 2010: 62-77
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Carlos Canal, Nikolay Vasilev: A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. OTM Workshops 2010: 67-76
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Corina S. Pasareanu: Preface. Electr. Notes Theor. Comput. Sci. 260: 1-2 (2010)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Corina S. Pasareanu: Preface. Sci. Comput. Program. 75(10): 809-810 (2010)
2009
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Carlos Canal, Gwen Salaün: Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 229(2): 1-2 (2009)
2008
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. J. UCS 14(13): 2107-2109 (2008)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Gwen Salaün, Carlos Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. UCS 14(13): 2182-2211 (2008)
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Á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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Juan Manuel Murillo, Pascal Poizat: Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo: Enabling Adaptivity in User Interfaces. ECSA 2007: 106-114
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal: TITAN: a Framework for Aspect Oriented System Evolution. ICSEA 2007: 4
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 175(2): 1-2 (2007)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Mirko Viroli: Preface. Sci. Comput. Program. 66(3): 181-183 (2007)
2006
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Á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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Á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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodriguez: An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. RAM-SE 2006: 59-70
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 154(1): 1-2 (2006)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. L'OBJET 12(1): 9-31 (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)
2005
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Á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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Á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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Antonio Brogi, Carlos Canal: A formal approach to component adaptation. Journal of Systems and Software 74(1): 45-54 (2005)
2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Juan Manuel Murillo, Pascal Poizat: Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)
2003
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): 1-16 (2003)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Antonio Brogi, Carlos Canal: Dynamically Adapting the Behaviour of Software Components. COORDINATION 2002: 88-95
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Antonio Brogi, Carlos Canal: Adapting Components with Mismatching Behaviours. Component Deployment 2002: 185-199
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bracciali, Antonio Brogi, Carlos Canal: Systematic Component Adaptation. Electr. Notes Theor. Comput. Sci. 66(4): 97-113 (2002)
2001
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) 2000: 208-225
1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Lidia Fuentes, Antonio Vallecillo: Extending IDLs with pi-calculus for Protocol Compatibility. ECOOP Workshops 1999: 5-6
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Canal, Ernesto Pimentel, José M. Troya: Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126

Coauthor Index

1Steffen Becker [29] [33]
2Andrea Bracciali [7] [8] [9] [17]
3Antonio Brogi [7] [8] [9] [11] [12] [13] [15] [16] [17] [20] [21] [34] [35]
4Javier Cámara [23] [25] [32] [35] [37] [39] [41] [43] [47] [50] [52] [53] [54] [56] [59] [60] [62] [66]
5Antonio Cansado [57]
6Javier Cubo [23] [25] [32] [35] [39] [41] [46] [49] [54] [57] [61] [65]
7Nikolay Diakov [29] [33]
8Lidia Fuentes [2] [3] [4] [6] [10]
9José Antonio Martín [54] [56] [60]
10Amparo Navasa Martínez [18] [19] [26] [27] [38] [42]
11Juan Manuel Murillo (Juan Manuel Murillo Rodriguez) [14] [18] [19] [22] [25] [26] [27] [29] [32] [33] [38] [39] [40] [42] [44]
12Meriem Ouederni [53] [54] [66]
13Corina S. Pasareanu [55] [58]
14Ernesto Pimentel [1] [2] [5] [6] [10] [11] [12] [13] [15] [16] [20] [21] [34] [35] [41] [46] [49] [54] [56] [60] [61] [65]
15Pascal Poizat [14] [22] [28] [29] [30] [33] [40] [44] [45] [46] [48] [51] [63] [64]
16Gwen Salaün [28] [30] [37] [41] [43] [45] [46] [47] [50] [52] [53] [54] [56] [57] [60] [61] [62] [66]
17Marjan Sirjani [51] [63]
18Massimo Tivoli [29] [33]
19Miguel Ángel Pérez Toledano [18] [19] [26] [27] [38] [42]
20José M. Troya (José María Troya Linero) [1] [2] [4] [5] [6] [10]
21Antonio Vallecillo (Antonio Vallecillo Moreno) [3] [4] [6] [10] [13] [23]
22Nikolay Vasilev [59]
23Mirko Viroli [24] [31] [36] [48] [64]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page