| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni |
Interactive specification and verification of behavioral adaptation contracts.  |
Information & Software Technology  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Marjan Sirjani |
Preface. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli |
Preface. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Carlos Canal, Ernesto Pimentel |
Context-Aware Composition and Adaptation based on Model Transformation. |
J. UCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Corina S. Pasareanu |
Preface. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Corina S. Pasareanu |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Gwen Salaün (eds.) |
Proceedings International Workshop on Component and Service Interoperability |
WCSI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal |
Handling Data-Based Concurrency in Context-Aware Service Protocols |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Nikolay Vasilev |
A Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing. |
OTM Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Marjan Sirjani |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni |
Interactive Specification and Verification of Behavioural Adaptation Contracts. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
components and services, behavioural interface, adaptation, validation and verification, graphical notation |
| 1 | Javier Cámara, Carlos Canal, Gwen Salaün |
Behavioural self-adaptation of services in ubiquitous computing environments. |
SEAMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Gwen Salaün |
Model-Based Adaptation of Behavioral Mismatching Components. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Juan Manuel Murillo, Pascal Poizat |
Software Adaptation. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Gwen Salaün |
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Clint: A Composition Language Interpreter (Tool Paper). |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel |
Dynamic Contextual Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo |
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Behavioural Types for Service Integration: Achievements and Challenges. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo |
Enabling Adaptivity in User Interfaces. |
ECSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Juan Manuel Murillo, Pascal Poizat |
Practical Approaches for Software Adaptation. |
ECOOP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel |
Context-Based Adaptation of Component Behavioural Interfaces. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal |
TITAN: a Framework for Aspect Oriented System Evolution. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
algebraic descriptions, UML, testing, Aspect-oriented programming, test generation, state machines, sequence diagrams |
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Component adaptation through flexible subservicing. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
On the semantics of software adaptation. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Juan Manuel Murillo, Pascal Poizat |
Software Adaptation. |
L'OBJET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo |
Formalizing WSBPEL Business Processes Using Process Algebra. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Gwen Salaün |
Synchronizing Behavioural Mismatch in Software Composition. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodriguez |
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. |
RAM-SE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo Rodriguez, Carlos Canal |
Making Aspect Oriented System Evolution Safer. |
RAM-SE |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
A formal approach to component adaptation. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo |
Formalizing Web Service Choreographies. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
On the specification of software adaptation. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Juan Manuel Murillo, Pascal Poizat |
Coordination and Adaptation Techniques for Software Entities. |
ECOOP Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Behavioural Types and Component Adaptation. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Measuring Component Adaptation. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo |
Adding Roles to CORBA Objects. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
compatibility and substitutability of components, protocols, software components, component-based software development, Interface definition languages |
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Soft component adaptation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Systematic Component Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Dynamically Adapting the Behaviour of Software Components. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Antonio Brogi, Carlos Canal |
Adapting Components with Mismatching Behaviours. |
Component Deployment |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Ernesto Pimentel, José M. Troya |
Compatibility and inheritance in software architectures. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with Protocols. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
p-calculus, CORBA, open systems, behavioral specifications, protocol specifications |
| 1 | Carlos Canal, Lidia Fuentes, Antonio Vallecillo |
Extending IDLs with pi-calculus for Protocol Compatibility. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Ernesto Pimentel, José M. Troya |
Specification and Refinement of Dynamic Software Architectures. |
WICSA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya |
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. |
JISBD |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")