Bruno Ferreira

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Formal Specification

Binary Decision Diagrams

Temporal Properties

Top Venues

Publications

Bruno Ferreira, Felipe D. da Cunha, Raquel A. F. Mini, Antonio A. F. Loureiro, Fernando A. F. Braz, Sérgio Vale Aguiar Campos
Intelligent service to perform overtaking in vehicular networks. ISCC (2015)
Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks. VTC Spring (2015)
Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. SBMF (2014)
Demian Oliveira, Fernando A. F. Braz, Bruno Ferreira, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST). BSB (2014)
Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. BSB (2013)