Nuno de Ferraz Almeida e Peixoto Machado


AuthID: R-001-TYG

Confirmed Publications: 14



11
TITLE: Concurrency Debugging with Differential Schedule Projections
AUTHORS: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID
12
TITLE: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTHORS: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLISHED: 2013, SOURCE: HotPar
INDEXED IN: DBLP
13
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 HotDep
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
14
TITLE: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTHORS: Machado, N ; Romano, P ; Rodrigues, L ;
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
Page 2 of 2. Total results: 14.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service