11
TITLE: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
TYPE: Proceedings Paper, PUBLISHED: 2013, SOURCE: 5th USENIX Workshop on Hot Topics in Parallelism, HotPar'13, San Jose, CA, USA, June 24-25, 2013
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Towards effective and efficient search-based deterministic replay
AUTHORS: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
TYPE: Proceedings Paper, 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
13
TITLE: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTHORS: Nuno Machado ; Paolo Romano ; Luis Rodrigues ;
TYPE: Proceedings Paper, PUBLISHED: 2012, SOURCE: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2012 42ND ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
Page 2 of 2. Total results: 13.