Loading...
 

Best Papers

Candidates

The following 10 papers, listed in alphabetical order, received the highest scores during the peer-review evaluation process. From these, a committee will pick SBESC's best papers during the event. The committee will also select those that will be recommended for publication in associated journals.

  • A Grid-Tie Micro-Inverter Software Development Based on a Low Cost Multiprocessor Platform. Marcelo Götz, Marcelo Wagner Gobetti, Fausto Bastos Libano (UFRGS).
  • An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating System. Caio Augusto Rodrigues dos Santos, Rivalino Matias Jr. (UFU).
  • Avaliação da Efetividade dos Mecanismos de Compartilhamento de Memória em Hipervisores. Fellipe Veiga (UTFPR), Carlos Maziero (UFPR).
  • Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. J. Augusto Santos-Jr., George Lima (UFBA), Konstantinos Bletsas (ISEP).
  • Impact of Temporal and Spatial Application Modeling on Event-triggered Wireless Sensor Network Evaluation. Lisane Brisolara, Paulo Ferreira Jr. (UFPel), Leandro Indrusiak (U York).
  • Model Checking Embedded C Software using k-Induction and Invariants. Herbert Rocha (UFRO), Hussama Ibrahim, Lucas Cordeiro, Raimundo Barreto (UFAM).
  • On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems. João Gabriel Reis, Antonio Augusto Frohlich (UFSC), Arliones Hoeller Jr (IFSC).
  • Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation using High Level Architecture. Alisson Brito, José Cláudio Vieira Junior, Tiago do Nascimento (UFPB).
  • Towards to a Wearable Device for Monitoring Ecological Environments. Saul Delabrida, Ricardo R. Oliveira, Thiago D'Angelo (UFOP), Antonio Alfredo Ferreira Loureiro (UFMG).
  • UDP4US: Universal Device Pipe for Ubiquitous Services. Gustavo Araujo, Frank Siqueira (UFSC).


The following papers were elected as best papers in each of the three main areas of the event:

  • Real-time systems: João Gabriel Reis, Antônio Augusto Fröhlich and Arliones Hoeller Jr, On the FPGA Dynamic Partial Reconfiguration Interference on Real-Time Systems, 2015.
  • Operating systems: Caio Augusto Rodrigues dos Santos and Rivalino Matias Jr., An Empirical Study on Failure Causes in a Commercial Off-the-Shelf Operating System, 2015.
  • Embedded systems: Herbert Rocha, Hussama Ibrahim, Lucas Cordeiro and Raimundo Barreto, Model Checking Embedded C Software using k-Induction and Invariants, 2015.