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 ; Vilaca, 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: 2
IN MY: DBLP
2
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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
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: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
4
TITLE: CoopREP: Cooperative record and replay of concurrency bugs. 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
IN MY: ORCID | DBLP
5
TITLE: Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTHORS: Francisco Neves ; Nuno Machado ; Jose Pereira ;
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: 11
IN MY: DBLP
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: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
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
IN MY: ORCID | DBLP
9
TITLE: Concurrency Debugging with Differential Schedule Projections  Full Text
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
IN MY: ORCID | DBLP
10
TITLE: Production-guided Concurrency Debugging  Full Text
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
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: 5
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 14.

A place for researchers and their institutions

Useful Links

Get Help

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