Fernando A. F. Braz

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 2

Top Topics

Vehicular Networks

Formal Specification

Temporal Properties

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

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, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (6) (2013)
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)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. SBMF (2012)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase. BSB (2012)