1
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
TYPE: Proceedings Paper, 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
2
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
TYPE: Proceedings Paper, 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
3
TITLE: CoopREP: Cooperative record and replay of concurrency bugs. CoopREP: Cooperative Record and Replay of Concurrency Bugs  Full Text
AUTHORS: Nuno Machado ; Paolo Romano ; Luis Rodrigues;
TYPE: Article, PUBLISHED: 2018, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: Falcon: A Practical Log-based Analysis Tool for Distributed Systems
AUTHORS: Francisco Neves ; Nuno Machado ; Jose Pereira ;
TYPE: Proceedings Paper, 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: 4
IN MY: DBLP
5
TITLE: MODELLING BASED TEACHING WITH SPREADSHEET. A STUDY IN A HEALTH CARE COURSE
AUTHORS: Nuno Machado ; Monica Baptista;
TYPE: Proceedings Paper, PUBLISHED: 2018, SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED)
INDEXED IN: WOS
6
TITLE: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTHORS: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
TYPE: Proceedings Paper, 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
7
TITLE: BUZZPSS: A Dependable and Adaptive Peer Sampling Service
AUTHORS: Machado, N ; Maia, F ; Matos, M ; Oliveira, R ;
TYPE: Proceedings Paper, 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
8
TITLE: Concurrency Debugging with Differential Schedule Projections  Full Text
AUTHORS: Nuno Machado ; Daniel Quinta; Brandon Lucia; Luis Rodrigues;
TYPE: Article, PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 25, ISSUE: 2
INDEXED IN: WOS
9
TITLE: Production-guided Concurrency Debugging  Full Text
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
TYPE: Article, 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
10
TITLE: Concurrency Debugging with Differential Schedule Projections
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
TYPE: Article, PUBLISHED: 2015, SOURCE: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 13.