| 2025 | IPIN | A Multiple BLE Beacon Approach for Tracking in Industrial Environments. | Moiss Ramires, Joaqun Torres-Sospedra, Joel Puga, Nuno Machado, Adriano J. C. Moreira, Filipe Meneses |
| 2021 | DSN | Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs. | Francisco Neves, Nuno Machado, Ricardo Vilaa, Jos Pereira |
| 2020 | ICDCS | Exploiting Symbolic Execution to Accelerate Deterministic Databases. | Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano |
| 2020 | TAP | Testing for Race Conditions in Distributed Systems via SMT Solving. | Joo Carlos Pereira, Nuno Machado, Jorge Sousa Pinto |
| 2019 | AAAI | Concurrency Debugging with MaxSMT. | Miguel Terra-Neves, Nuno Machado, Ins Lynce, Vasco Manquinho |
| 2019 | OPODIS | Minha: Large-Scale Distributed Systems Testing Made Practical. | Nuno Machado, Francisco Maia, Francisco Neves, Fbio Coelho, Jos Pereira |
| 2019 | SRDS | d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds. | Rogrio Pontes, Francisco Maia, Ricardo Vilaa, Nuno Machado |
| 2018 | DAIS | Totally Ordered Replication for Massive Scale Key-Value Stores. | Jos Ribeiro, Nuno Machado, Francisco Maia, Miguel Matos |
| 2018 | DSN | Falcon: A Practical Log-Based Analysis Tool for Distributed Systems. | Francisco Neves, Nuno Machado, Jos Pereira |
| 2017 | DATE | Automatic technology migration of analog IC designs using generic cell libraries. | Jose Cachaco, Nuno Machado, Nuno Loureno, Jorge Guilherme, Nuno Horta |
| 2016 | PPoPP | Production-guided concurrency debugging. | Nuno Machado, Brandon Lucia, Lus E. T. Rodrigues |
| 2015 | PLDI | Concurrency debugging with differential schedule projections. | Nuno Machado, Brandon Lucia, Lus E. T. Rodrigues |
| 2012 | DSN | Lightweight cooperative logging for fault replication in concurrent programs. | Nuno Machado, Paolo Romano, Lus E. T. Rodrigues |