A formal approach to component adaptation A Bracciali, A Brogi, C Canal Journal of Systems and Software 74 (1), 45-54, 2005 | 362 | 2005 |
Formalizing web service choreographies A Brogi, C Canal, E Pimentel, A Vallecillo Electronic notes in theoretical computer science 105, 73-94, 2004 | 343 | 2004 |
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 | 326 | 2015 |
Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün IEEE Transactions on Software Engineering 34 (4), 546-563, 2008 | 198 | 2008 |
Specification and refinement of dynamic software architectures C Canal, E Pimentel, JM Troya Working Conference on Software Architecture, 107-125, 1999 | 177 | 1999 |
Compatibility and inheritance in software architectures C Canal, E Pimentel, JM Troya Science of Computer Programming 41 (2), 105-138, 2001 | 150 | 2001 |
Software adaptation. C Canal, JM Murillo, P Poizat Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006 | 146 | 2006 |
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 | 126 | 2013 |
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 | 99 | 2003 |
Itaca: An integrated toolbox for the automatic composition and adaptation of web services J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel 2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009 | 86 | 2009 |
Extending CORBA interfaces with protocols C Canal, L Fuentes, E Pimentel, JM Troya, A Vallecillo The Computer Journal 44 (5), 448-462, 2001 | 81 | 2001 |
Synchronizing behavioural mismatch in software composition C Canal, P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 80 | 2006 |
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 | 72 | 2006 |
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 | 56 | 2008 |
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 | 51 | 2013 |
Behavioural types and component adaptation A Brogi, C Canal, E Pimentel International Conference on Algebraic Methodology and Software Technology, 42-56, 2004 | 49 | 2004 |
Early analysis of resource consumption patterns in mobile applications J Berrocal, J Garcia-Alonso, C Vicente-Chicote, J Hernández, T Mikkonen, ... Pervasive and Mobile Computing 35, 32-50, 2017 | 48 | 2017 |
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 | 46 | 2000 |
Component adaptation through flexible subservicing A Brogi, C Canal, E Pimentel Science of Computer Programming 63 (1), 39-56, 2006 | 45 | 2006 |
Rich contextual information for monitoring the elderly in an early stage of cognitive impairment J Berrocal, J Garcia-Alonso, JM Murillo, C Canal Pervasive and Mobile Computing 34, 106-125, 2017 | 42 | 2017 |