Nuno de Ferraz Almeida e Peixoto Machado


AuthID: R-001-TYG

Publicações Confirmadas: 14



11
TÍTULO: Concurrency Debugging with Differential Schedule Projections
AUTORES: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
NO MEU: ORCID
12
TÍTULO: Property-Driven Cooperative Logging for Concurrency Bugs Replication
AUTORES: Nuno Machado ; Paolo Romano ; Luís E T Rodrigues;
PUBLICAÇÃO: 2013, FONTE: HotPar
INDEXADO EM: DBLP
13
TÍTULO: Towards effective and efficient search-based deterministic replay
AUTORES: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLICAÇÃO: 2013, FONTE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in HotDep
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
14
TÍTULO: Lightweight Cooperative Logging for Fault Replication in Concurrent Programs  Full Text
AUTORES: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLICAÇÃO: 2012, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
Página 2 de 2. Total de resultados: 14.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service