Nuno de Ferraz Almeida e Peixoto Machado
AuthID: R-001-TYG
1
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 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
TITLE: NetSheriff: Sheltering Software-Defined Networks from Rogue Switches
AUTHORS: Paolo Laffranchini; João Miranda; Nuno Machado; Luís Rodrigues; Etienne Rivière; Ramin Sadre;
PUBLISHED: 2020, SOURCE: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings, VOLUME: 12129
AUTHORS: Paolo Laffranchini; João Miranda; Nuno Machado; Luís Rodrigues; Etienne Rivière; Ramin Sadre;
PUBLISHED: 2020, SOURCE: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings, VOLUME: 12129
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Exploiting Symbolic Execution to Accelerate Deterministic Databases
AUTHORS: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
PUBLISHED: 2020, SOURCE: 40th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), VOLUME: 2020-November
AUTHORS: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
PUBLISHED: 2020, SOURCE: 40th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), VOLUME: 2020-November
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP4
TITLE: Proteasome inhibition prevents cell death induced by the chemotherapeutic agent cisplatin downstream of DNA damage Full Text
AUTHORS: Ana Rita Costa; Nuno Machado; Antonio Rego; Maria Joao Sousa; Manuela Corte Real; Susana R Chaves;
PUBLISHED: 2019, SOURCE: DNA REPAIR, VOLUME: 73
AUTHORS: Ana Rita Costa; Nuno Machado; Antonio Rego; Maria Joao Sousa; Manuela Corte Real; Susana R Chaves;
PUBLISHED: 2019, SOURCE: DNA REPAIR, VOLUME: 73
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds Full Text
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 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
