Carlos Canal
Carlos Canal
Verified email at lcc.uma.es
TitleCited byYear
A formal approach to component adaptation
A Bracciali, A Brogi, C Canal
Journal of Systems and Software 74 (1), 45-54, 2005
3302005
Formalizing web service choreographies
A Brogi, C Canal, E Pimentel, A Vallecillo
Electronic notes in theoretical computer science 105, 73-94, 2004
3042004
Model-based adaptation of behavioral mismatching components
C Canal, P Poizat, G Salaün
IEEE Transactions on Software Engineering 34 (4), 546-563, 2008
1742008
Specification and refinement of dynamic software architectures
C Canal, E Pimentel, JM Troya
Working Conference on Software Architecture, 107-125, 1999
1561999
From the Internet of Things to the Internet of People
J Miranda, N Mäkitalo, J Garcia-Alonso, J Berrocal, T Mikkonen, C Canal, ...
IEEE Internet Computing 19 (2), 40-47, 2015
1382015
Compatibility and inheritance in software architectures
C Canal, E Pimentel, JM Troya
Science of Computer Programming 41 (2), 105-138, 2001
1332001
Software adaptation
C Canal, J Manuel, MP Poizat
in L'objet, 12 (1): 9-31, 2006. Special Issue on Coordination and Adaptation …, 2006
1162006
Adding roles to CORBA objects
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
IEEE Transactions on Software Engineering 29 (3), 242-260, 2003
862003
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
Proceedings of the 31st International Conference on Software Engineering …, 2009
782009
Synchronizing behavioural mismatch in software composition
C Canal, P Poizat, G Salaün
International Conference on Formal Methods for Open Object-Based Distributed …, 2006
752006
Extending CORBA interfaces with protocols
C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo
The Computer Journal 44 (5), 448-462, 2001
702001
Formalizing wsbpel business processes using process algebra
J Cámara, C Canal, J Cubo, A Vallecillo
Electronic Notes in Theoretical Computer Science 154 (1), 159-173, 2006
642006
People as a service: a mobile-centric model for providing collective sociological profiles
J Guillen, J Miranda, J Berrocal, J Garcia-Alonso, JM Murillo, C Canal
IEEE software 31 (2), 48-53, 2013
632013
A model-based approach to the verification and adaptation of WF/. NET components
J Cubo, G Salaün, C Canal, E Pimentel, P Poizat
Electronic Notes in Theoretical Computer Science 215, 39-55, 2008
512008
Behavioural types and component adaptation
A Brogi, C Canal, E Pimentel
International Conference on Algebraic Methodology and Software Technology, 42-56, 2004
502004
Guest editorial: automated component-based software engineering
I Crnkovic, HW Schmidt, J Stafford, K Wallnau
Journal of Systems and Software 74 (1), 1-3, 2005
45*2005
Component adaptation through flexible subservicing
A Brogi, C Canal, E Pimentel
Science of Computer Programming 63 (1), 39-56, 2006
442006
Extending CORBA interfaces with/spl pi/-calculus for protocol compatibility
C Canal, L Fuentes, JM Troya, A Vallecillo
Proceedings 33rd International Conference on Technology of Object-Oriented …, 2000
382000
A service-oriented framework for developing cross cloud migratable software
J Guillén, J Miranda, JM Murillo, C Canal
Journal of Systems and Software 86 (9), 2294-2308, 2013
362013
A formal framework for structural reconfiguration of components under behavioural adaptation
A Cansado, C Canal, G Salaün, J Cubo
Electronic Notes in Theoretical Computer Science 263, 95-110, 2010
362010
The system can't perform the operation now. Try again later.
Articles 1–20