Luis M. Carril

According to our database, Luis M. Carril authored at least 6 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Predicting Errors in Concurrent Systems.

Luis Manuel Carril Rodríguez

PhD thesis, 2017

2015

Interleaving generation for data race and deadlock reproduction.

Luis M. Carril, Walter F. Tichy

Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems, 2015

Predicting and Witnessing Data Races Using CSP.

Luis M. Carril, Walter F. Tichy

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Fault-tolerant virtual cluster experiments on federated sites using BonFIRE.

Andrés Gómez, Luis M. Carril, Raul Valin, José Carlos Mouriño, Carmen Cotelo

Future Gener. Comput. Syst., 2014

2013

On Detecting Concurrency Defects Automatically at the Design Level.

Frank Padberg, Luis M. Carril, Oliver Denninger, Martin Blersch

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

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, Gregory van Seghbroeck

Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012