Nuno de Ferraz Almeida e Peixoto Machado


AuthID: R-001-TYG

Confirmed Publications: 14



1
TITLE: Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
AUTHORS: Neves, F ; Machado, N ; Vilaça, R ; Pereira, J ;
PUBLISHED: 2021, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 6
2
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Terra Neves, M; Machado, N ; Lynce, I ; Manquinho, V;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: WOS DBLP
3
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: OPODIS, VOLUME: 153
INDEXED IN: Scopus DBLP
4
TITLE: CoopREP: Cooperative record and replay of concurrency bugs
AUTHORS: Machado, N ; Romano, P ; Rodrigues, L ;
PUBLISHED: 2018, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3
5
TITLE: Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTHORS: Neves, F ; Machado, N ; Pereira, J ;
PUBLISHED: 2018, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 15
6
TITLE: MODELLING BASED TEACHING WITH SPREADSHEET. A STUDY IN A HEALTH CARE COURSE
AUTHORS: Machado, N ; Baptista, M ;
PUBLISHED: 2018, SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED)
INDEXED IN: WOS CrossRef
7
TITLE: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTHORS: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
PUBLISHED: 2018, SOURCE: DAIS, VOLUME: 10853 LNCS
INDEXED IN: Scopus DBLP CrossRef
8
TITLE: BUZZPSS: A Dependable and Adaptive Peer Sampling Service
AUTHORS: Machado, N ; Maia, F ; Matos, M ; Oliveira, R ;
PUBLISHED: 2016, SOURCE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC)
INDEXED IN: Scopus WOS DBLP CrossRef
9
TITLE: Concurrency Debugging with Differential Schedule Projections
AUTHORS: Machado, N ; Quinta, D; Lucia, B; Rodrigues, L ;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
10
TITLE: Production-guided Concurrency Debugging
AUTHORS: Machado, N ; Lucia, B; Rodrigues, L ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 15
Page 1 of 2. Total results: 14.

footer slogan

Useful Links

Get Help

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