Lightweight cooperative logging for fault replication in concurrent programs. - Nuno Machado; Paolo Romano 002; Luís E. T. Rodrigues (DSN, 2012)

Towards effective and efficient search-based deterministic replay. - Manuel Bravo; Nuno Machado; Paolo Romano 002; Luís E. T. Rodrigues (HotDep, 2013)

Property-Driven Cooperative Logging for Concurrency Bugs Replication. - Nuno Machado; Paolo Romano 002; Luís E. T. Rodrigues (HotPar, 2013)

Concurrency debugging with differential schedule projections. - Nuno Machado; Brandon Lucia; Luís E. T. Rodrigues (PLDI, 2015)

BuzzPSS: A Dependable and Adaptive Peer Sampling Service. - Nuno Machado; Francisco Maia; Miguel Matos; Rui Oliveira 001 (LADC, 2016)

Production-guided concurrency debugging. - Nuno Machado; Brandon Lucia; Luís E. T. Rodrigues (PPoPP, 2016)

Concurrency Debugging with Differential Schedule Projections. - Nuno Machado; Daniel Quinta; Brandon Lucia; Luís E. T. Rodrigues (ACM Trans. Softw. Eng. Methodol., 2016)

Automatic technology migration of analog IC designs using generic cell libraries. - Jose Cachaco; Nuno Machado; Nuno Lourenço 003; Jorge Guilherme; Nuno Horta (DATE, 2017)

Totally Ordered Replication for Massive Scale Key-Value Stores. - José Ribeiro; Nuno Machado; Francisco Maia; Miguel Matos (DAIS, 2018)

Falcon: A Practical Log-Based Analysis Tool for Distributed Systems. - Francisco Neves; Nuno Machado; José Pereira 001 (DSN, 2018)

CoopREP: Cooperative record and replay of concurrency bugs. - Nuno Machado; Paolo Romano 002; Luís E. T. Rodrigues (Softw. Test. Verification Reliab., 2018)

Concurrency Debugging with MaxSMT. - Miguel Terra-Neves; Nuno Machado; Inês Lynce; Vasco Manquinho (AAAI, 2019)

Minha: Large-Scale Distributed Systems Testing Made Practical. - Nuno Machado; Francisco Maia; Francisco Neves; Fábio Coelho; José Pereira 001 (OPODIS, 2019)

d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds. - Rogério Pontes; Francisco Maia; Ricardo Vilaça; Nuno Machado (SRDS, 2019)

Exploiting Symbolic Execution to Accelerate Deterministic Databases. - Shady Issa; Miguel Viegas; Pedro Raminhas; Nuno Machado; Miguel Matos; Paolo Romano 002 (ICDCS, 2020)

NetSheriff: Sheltering Software-Defined Networks from Rogue Switches. - Paolo Laffranchini; João Miranda; Nuno Machado; Luís Rodrigues 001; Etienne Rivière; Ramin Sadre (NETYS, 2020)

Testing for Race Conditions in Distributed Systems via SMT Solving. - João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto (TAP@STAF, 2020)

Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs. - Francisco Neves; Nuno Machado; Ricardo Vilaça; José Pereira 001 (DSN, 2021)