2008 |
11 | EE | Javier Cámara,
Gwen Salaün,
Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper).
FASE 2008: 423-427 |
10 | EE | 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) |
9 | | Javier Cámara,
Gwen Salaün,
Carlos Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.
J. UCS 14(13): 2182-2211 (2008) |
2007 |
8 | EE | Javier Cubo,
Gwen Salaün,
Javier Cámara,
Carlos Canal,
Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces.
COORDINATION 2007: 305-323 |
7 | EE | Javier Cámara,
Carlos Canal,
Javier Cubo,
Juan Manuel Murillo:
Enabling Adaptivity in User Interfaces.
ECSA 2007: 106-114 |
6 | EE | Javier Cámara,
Gwen Salaün,
Carlos Canal:
Run-time Composition and Adaptation of Mismatching Behavioural Transactions.
SEFM 2007: 381-390 |
5 | 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) |
4 | 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) |
2006 |
3 | | 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 |
2 | 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) |
2003 |
1 | EE | Mike Mannion,
Javier Cámara:
Theorem Proving for Product Line Model Verification.
PFE 2003: 211-224 |