Follow
Luis Manuel Carril Rodríguez
Luis Manuel Carril Rodríguez
Verified email at kit.edu
Title
Cited by
Cited by
Year
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
502012
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
172014
Interleaving generation for data race and deadlock reproduction
LM Carril, WF Tichy
SEPS 2015 Software Engineering for Parallel Systems, 2015
32015
Predicting and witnessing data races using CSP
LM Carril, WF Tichy
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
32015
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
32012
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
12013
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
The system can't perform the operation now. Try again later.
Articles 1–9