Bonfire: A multi-cloud test facility for internet of services experimentation AC Hume, Y Al-Hazmi, B Belter, K Campowsky, LM Carril, G Carrozzo, ... Testbeds and Research Infrastructure. Development of Networks and …, 2012 | 50 | 2012 |
Advanced Computing Services for Radiotherapy Treatment Planning LM Carril, Z Martín-Rodríguez, C Mouriño, A Gómez, R Díaz, C Fernández Cloud Computing Methodology, Systems, and Applications, Chapter: 23, 529-551, 2011 | 19* | 2011 |
Fault-tolerant virtual cluster experiments on federated sites using BonFIRE A Gómez, LM Carril, R Valin, JC Mouriño, C Cotelo Future Generation Computer Systems 34, 17-25, 2014 | 17 | 2014 |
Interleaving generation for data race and deadlock reproduction LM Carril, WF Tichy SEPS 2015 Software Engineering for Parallel Systems, 2015 | 3 | 2015 |
Predicting and witnessing data races using CSP LM Carril, WF Tichy NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 3 | 2015 |
Enabling the deployment of virtual clusters on the VCOC experiment of the BonFIRE federated cloud R Valin, LM Carril, JC Mourino, C Cotelo, A Gómez, C Fernández CLOUD COMPUTING 2012, 249, 2012 | 3 | 2012 |
On Detecting Concurrency Defects Automatically at the Design Level F Padberg, LM Carril, O Denninger, M Blersch 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 263-271, 2013 | 1 | 2013 |
Advanced Computing Services for Radiotherapy Treatment Planning on Cloud LM Carril, Z Martín-Rodríguez, C Mouriño, A Gómez, R Díaz, C Fernández Cloud Computing, 529-551, 2017 | | 2017 |
Predicting Data Races from Program Traces LM Carril SEPARS 2016, 2016 | | 2016 |