1
TITLE: Horus: Non-Intrusive Causal Analysis of Distributed Systems Logs
AUTHORS: Neves, F ; Machado, N; Vilaca, R ; Pereira, J ;
TYPE: Proceedings Paper, PUBLISHED: 2021, SOURCE: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
2
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
TYPE: Proceedings Paper, 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
3
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;
TYPE: Proceedings Paper, PUBLISHED: 2020, SOURCE: Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings, VOLUME: 12129
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: Exploiting Symbolic Execution to Accelerate Deterministic Databases
AUTHORS: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
TYPE: Proceedings Paper, 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
IN MY: DBLP