1
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra Neves; Nuno Machado ; Ines Lynce; Vasco Manquinho;
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, PUBLISHED: 2019
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 ;
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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP
IN MY: DBLP
3
TITLE: CoopREP: Cooperative record and replay of concurrency bugs  Full Text
AUTHORS: Nuno Machado ; Paolo Romano ; Luis Rodrigues;
SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, ISSUE: 1, PUBLISHED: 2018
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 ;
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), PUBLISHED: 2018
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;
SOURCE: 12th International Technology, Education and Development Conference (INTED) in 12TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED), PUBLISHED: 2018
INDEXED IN: WOS
6
TITLE: Totally Ordered Replication for Massive Scale Key-Value Stores
AUTHORS: José Ribeiro; Nuno Machado ; Francisco Maia ; Miguel Matos ;
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, PUBLISHED: 2018
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 ;
SOURCE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PUBLISHED: 2016
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;
SOURCE: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, VOLUME: 25, ISSUE: 2, PUBLISHED: 2016
INDEXED IN: WOS
9
TITLE: Production-guided Concurrency Debugging  Full Text
AUTHORS: Nuno Machado ; Brandon Lucia; Luis Rodrigues ;
SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8, PUBLISHED: 2016
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 ;
SOURCE: 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 6, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 13.