Nuno de Ferraz Almeida e Peixoto Machado


AuthID: R-001-TYG

Publicações Confirmadas: 14



1
TÍTULO: Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
AUTORES: Neves, F ; Machado, N ; Vilaça, R ; Pereira, J ;
PUBLICAÇÃO: 2021, FONTE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
2
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: WOS DBLP
3
TÍTULO: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTORES: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2019, FONTE: OPODIS, VOLUME: 153
INDEXADO EM: Scopus DBLP
4
TÍTULO: CoopREP: Cooperative record and replay of concurrency bugs  Full Text
AUTORES: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLICAÇÃO: 2018, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
5
TÍTULO: Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTORES: Neves, F ; Machado, N ; Pereira, J ;
PUBLICAÇÃO: 2018, FONTE: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
6
TÍTULO: MODELLING BASED TEACHING WITH SPREADSHEET. A STUDY IN A HEALTH CARE COURSE
AUTORES: Machado, N ; Baptista, M ;
PUBLICAÇÃO: 2018, FONTE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED)
INDEXADO EM: WOS CrossRef
7
TÍTULO: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTORES: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLICAÇÃO: 2018, FONTE: DAIS, VOLUME: 10853 LNCS
INDEXADO EM: Scopus DBLP CrossRef
8
TÍTULO: BUZZPSS: A Dependable and Adaptive Peer Sampling Service
AUTORES: Machado, N ; Maia, F ; Matos, M ; Oliveira, R ;
PUBLICAÇÃO: 2016, FONTE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
9
TÍTULO: Concurrency Debugging with Differential Schedule Projections  Full Text
AUTORES: Machado, N ; Quinta, D; Lucia, B; Rodrigues, L ;
PUBLICAÇÃO: 2016, FONTE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
10
TÍTULO: Production-guided Concurrency Debugging  Full Text
AUTORES: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID
Página 1 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