João Paulo da Conceição Soares
AuthID: R-001-QS0
1
TÃTULO: A Risk Manager for Intrusion Tolerant Systems: Enhancing HAL 9000 With New Scoring and Data Sources Full Text
AUTORES: Freitas, Tadeu; Novo, Carlos; Dutra, Ines ; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: abs/2508.13364
AUTORES: Freitas, Tadeu; Novo, Carlos; Dutra, Ines ; Soares, Joao; Correia, Manuel E. ; Shariati, Benham; Martins, Rolando ;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: abs/2508.13364
2
TÃTULO: Formal Verification and Visualization of the Ceph Consensus Algorithm Using Tla+
AUTORES: Ronaldo Salles; Rolando Martins; Afonso Fernandes; João Soares; Luís Antunes;
PUBLICAÇÃO: 2023
AUTORES: Ronaldo Salles; Rolando Martins; Afonso Fernandes; João Soares; Luís Antunes;
PUBLICAÇÃO: 2023
