Luis M. Carril

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 2

Top Topics

Internet Service Providers

Knowledge Discovery

Statistical Analysis

Top Venues

Publications

Luis M. Carril, Walter F. Tichy
Predicting and Witnessing Data Races Using CSP. NFM (2015)
Luis M. Carril, Walter F. Tichy
Interleaving generation for data race and deadlock reproduction. SEPS@SPLASH (2015)
Frank Padberg, Luis M. Carril, Oliver Denninger, Martin Blersch
On Detecting Concurrency Defects Automatically at the Design Level. APSEC (1) (2013)
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
BonFIRE: A Multi-cloud Test Facility for Internet of Services Experimentation. TRIDENTCOM (2012)