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
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
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: 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: DBLP
IN MY: DBLP
7
TITLE: BUZZPSS: A Dependable and Adaptive Peer Sampling Service
AUTHORS: Nuno Machado ; Francisco Maia ; Miguel Matos ; Rui Oliveira ;
SOURCE: 7th Latin-American Symposium on Dependable Computing (LADC) in 2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PUBLISHED: 2016
INDEXED IN: WOS DBLP CrossRef: 22
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
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
IN MY: ORCID | DBLP
Page 1 of 2. Total results: 13.