Publications

  • MACIEIRA, RAFAEL M. ; BARROS, EDNA ; ASCENDINA, CAMILA . Towards more reliable embedded systems through a mechanism for monitoring driver devices communication. In: 2014 15th International Symposium on Quality Electronic Design (ISQED), 2014, Santa Clara. Fifteenth International Symposium on Quality Electronic Design. p. 420-427. (link)
  • MACIEIRA, RAFAEL M. ; LISBOA, EDSON B. ; BARROS, EDNA N. S. . Device Driver Generation and Checking Approach. In: 2011 Brazilian Symposium on Computing System Engineering (SBESC), 2011, Florianopolis. 2011 Brazilian Symposium on Computing System Engineering. p. 72-168. (link)
Comments