A formal approach to component adaptation A Bracciali, A Brogi, C Canal Journal of Systems and Software 74 (1), 45-54, 2005 | 359 | 2005 |
Formalizing web service choreographies A Brogi, C Canal, E Pimentel, A Vallecillo Electronic notes in theoretical computer science 105, 73-94, 2004 | 341 | 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 | 319 | 2015 |
A survey on fog computing for the Internet of Things P Bellavista, J Berrocal, A Corradi, SK Das, L Foschini, A Zanni Pervasive and mobile computing 52, 71-99, 2019 | 287 | 2019 |
Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün IEEE Transactions on Software Engineering 34 (4), 546-563, 2008 | 196 | 2008 |
Specification and refinement of dynamic software architectures C Canal, E Pimentel, JM Troya Working Conference on Software Architecture, 107-125, 1999 | 179 | 1999 |
A cloud-based Internet of Things platform for ambient assisted living J Cubo, A Nieto, E Pimentel Sensors 14 (8), 14070-14105, 2014 | 162 | 2014 |
Compatibility and inheritance in software architectures C Canal, E Pimentel, JM Troya Science of Computer Programming 41 (2), 105-138, 2001 | 149 | 2001 |
Software adaptation. C Canal, JM Murillo, P Poizat Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006 | 144 | 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 | 123 | 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 | 96 | 2003 |
Static fault localization in model transformations L Burgueno, J Troya, M Wimmer, A Vallecillo IEEE Transactions on Software Engineering 41 (5), 490-506, 2014 | 85 | 2014 |
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 | 85 | 2009 |
The talavera manifesto for quantum software engineering and programming. M Piattini, G Peterssen, R Pérez-Castillo, JL Hevia, MA Serrano, ... QANSWER, 1-5, 2020 | 84 | 2020 |
Debugging UML designs with model checking M del Mar Gallardo, P Merino, E Pimentel Journal of Object Technology 1 (2), 101-117, 2002 | 82 | 2002 |
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 |
Formal specification and testing of model transformations A Vallecillo, M Gogolla, L Burgueno, M Wimmer, L Hamann International School on Formal Methods for the Design of Computer …, 2012 | 80 | 2012 |
Synchronizing behavioural mismatch in software composition C Canal, P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 79 | 2006 |
SeaClouds: a European project on seamless management of multi-cloud applications A Brogi, A Ibrahim, J Soldani, J Carrasco, J Cubo, E Pimentel, F D'Andria ACM SIGSOFT Software Engineering Notes 39 (1), 1-4, 2014 | 74 | 2014 |
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 | 71 | 2006 |