BonFIRE: A Multi-cloud Test Facility for Internet of Services Experimentation. - Alastair C. Hume; Yahya Al-Hazmi; Bartosz Belter; Konrad Campowsky; Luis M. Carril; Gino Carrozzo; Vegard Engen; David García-Pérez; Jordi Jofre Ponsatí; Roland Kübert; Yongzheng Liang; Cyril Rohr; et al. (TRIDENTCOM, 2012)

On Detecting Concurrency Defects Automatically at the Design Level. - Frank Padberg; Luis M. Carril; Oliver Denninger; Martin Blersch (APSEC (1), 2013)

Fault-tolerant virtual cluster experiments on federated sites using BonFIRE. - Andrés Gómez 002; Luis M. Carril; Raul Valin; José Carlos Mouriño; Carmen Cotelo (Future Gener. Comput. Syst., 2014)

Predicting and Witnessing Data Races Using CSP. - Luis M. Carril; Walter F. Tichy (NFM, 2015)

Interleaving generation for data race and deadlock reproduction. - Luis M. Carril; Walter F. Tichy (SEPS@SPLASH, 2015)

Predicting Errors in Concurrent Systems. - Luis Manuel Carril Rodríguez (2017)