Nuno de Ferraz Almeida e Peixoto Machado
AuthID: R-001-TYG
1
TÃTULO: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165
2
TÃTULO: NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
AUTORES: Paolo Laffranchini; João Miranda; Nuno Machado; Luís Rodrigues; Etienne Rivière; Ramin Sadre;
PUBLICAÇÃO: 2020, FONTE: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings, VOLUME: 12129
AUTORES: Paolo Laffranchini; João Miranda; Nuno Machado; Luís Rodrigues; Etienne Rivière; Ramin Sadre;
PUBLICAÇÃO: 2020, FONTE: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings, VOLUME: 12129
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: Exploiting Symbolic Execution to Accelerate Deterministic Databases
AUTORES: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
PUBLICAÇÃO: 2020, FONTE: 40th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), VOLUME: 2020-November
AUTORES: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
PUBLICAÇÃO: 2020, FONTE: 40th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), VOLUME: 2020-November
INDEXADO EM: 
Scopus 
WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP4
TÃTULO: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds Full Text
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019
AUTORES: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLICAÇÃO: 2019, FONTE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019
