Douglas Simões Silva

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 3

Top Topics

Formal Verification

Wireless Sensor Networks

Urban Environments

Top Venues

Publications

Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp, Paulo Esteves Veríssimo
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. SRDS (2021)
Fernanda Oliveira Gomes, Douglas Simões Silva, Bruno Machado Agostinho, Jean Everson Martina
Privacy Preserving on Trajectories Created by Wi-Fi Connections in a University Campus. ISI (2018)
Douglas Simões Silva, Davi Resner, Rick Lopes de Souza, Jean Everson Martina
Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks. ICISS (2016)