Miguel Nuno Caneiras Bravo
AuthID: R-001-T8N
11
TITLE: Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage.
AUTHORS: Maria Couceiro; Gayana Chandrasekara; Manuel Bravo; Matti Hiltunen; Paolo Romano ; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: 16th Annual Middleware Conference in Proceedings of the 16th Annual Middleware Conference
AUTHORS: Maria Couceiro; Gayana Chandrasekara; Manuel Bravo; Matti Hiltunen; Paolo Romano ; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: 16th Annual Middleware Conference in Proceedings of the 16th Annual Middleware Conference
INDEXED IN: Scopus WOS
12
TITLE: Towards effective and efficient search-based deterministic replay
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLISHED: 2013, SOURCE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013