Nuno Machado

20 papers A* 2A 5B 3C 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
A Multiple BLE Beacon Approach for Tracking in Industrial Environments.
IPIN
Moisés Ramires, Joaquín Torres-Sospedra, Joel Puga, Nuno Machado, Adriano J. C. Moreira, Filipe Meneses
2021 A conf
Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs.
DSN
Francisco Neves, Nuno Machado, Ricardo Vilaça, José Pereira
2020 A conf
Exploiting Symbolic Execution to Accelerate Deterministic Databases.
ICDCS
Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano
2020 — conf
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches.
NETYS
Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, Etienne Rivière, Ramin Sadre
2020 — conf
Testing for Race Conditions in Distributed Systems via SMT Solving.
TAP@STAF
João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto
2019 A* conf
Concurrency Debugging with MaxSMT.
AAAI
Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco Manquinho
2019 B conf
Minha: Large-Scale Distributed Systems Testing Made Practical.
OPODIS
Nuno Machado, Francisco Maia, Francisco Neves, Fábio Coelho, José Pereira
2019 B conf
d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds.
SRDS
Rogério Pontes, Francisco Maia, Ricardo Vilaça, Nuno Machado
2018 J jnl
CoopREP: Cooperative record and replay of concurrency bugs.
Softw. Test. Verification Reliab.
Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
2018 A conf
Falcon: A Practical Log-Based Analysis Tool for Distributed Systems.
DSN
Francisco Neves, Nuno Machado, José Pereira
2018 C conf
Totally Ordered Replication for Massive Scale Key-Value Stores.
DAIS
José Ribeiro, Nuno Machado, Francisco Maia, Miguel Matos
2017 A conf
Automatic technology migration of analog IC designs using generic cell libraries.
DATE
Jose Cachaco, Nuno Machado, Nuno Lourenço, Jorge Guilherme, Nuno Horta
2016 — conf
BuzzPSS: A Dependable and Adaptive Peer Sampling Service.
LADC
Nuno Machado, Francisco Maia, Miguel Matos, Rui Oliveira
2016 J jnl
Concurrency Debugging with Differential Schedule Projections.
ACM Trans. Softw. Eng. Methodol.
Nuno Machado, Daniel Quinta, Brandon Lucia, Luís E. T. Rodrigues
2016 B conf
Production-guided concurrency debugging.
PPoPP
Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues
2015 A* conf
Concurrency debugging with differential schedule projections.
PLDI
Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues
2015 — —
Mobile collaborative cloudless computing.
Nuno Machado
2013 — conf
Property-Driven Cooperative Logging for Concurrency Bugs Replication.
HotPar
Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
2013 — conf
Towards effective and efficient search-based deterministic replay.
HotDep
Manuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues
2012 A conf
Lightweight cooperative logging for fault replication in concurrent programs.
DSN
Nuno Machado, Paolo Romano, Luís E. T. Rodrigues