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 ; Vilaca, 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: 2
NO MEU: DBLP
2
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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
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: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
4
TÍTULO: CoopREP: Cooperative record and replay of concurrency bugs. CoopREP: Cooperative Record and Replay of Concurrency Bugs
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
NO MEU: ORCID | DBLP
5
TÍTULO: Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTORES: Francisco Neves ; Nuno Machado ; Jose Pereira ;
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: 11
NO MEU: DBLP
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: 18th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018 in Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings, VOLUME: 10853
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
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 | DBLP
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
NO MEU: ORCID | DBLP
10
TÍTULO: Production-guided Concurrency Debugging  Full Text
AUTORES: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
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: 5
NO MEU: ORCID | DBLP
Página 1 de 2. Total de resultados: 14.

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

Links Úteis

Ajuda

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