Bruno Ferreira

According to our database, Bruno Ferreira authored at least 6 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Verification of vehicular networks using probabilistic model checking

Bruno Ferreira

PhD thesis, 2016

2015

A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks.

Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Sérgio Vale Aguiar Campos

Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

Intelligent service to perform overtaking in vehicular networks.

Bruno Ferreira, Felipe D. da Cunha, Raquel A. F. Mini, Antonio A. F. Loureiro, Fernando A. F. Braz, Sérgio Vale Aguiar Campos

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

2014

Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST).

Demian Oliveira, Fernando A. F. Braz, Bruno Ferreira, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2014

A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model.

Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013

A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex.

Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2013