Skip to content

Rafael Macieira

  • Computer Science Bachelor
  • Centro de Informática - UFPE
  • 0ReadersNumber of instances of Rafael's publications in Mendeley libraries. Updated daily.
  • 1PublicationsNumber of items in Rafael's My Publications folder on Mendeley.

Research interests

Real-time SystemOperating SystemDigital SystemsHdSMPSoCVirtual PlatformComputer ArchitectureDevice Driver

Followers (7)

Explore network

Following (7)

Explore network

Publications (1)

  • Temporal DevC: A Temporal Verification Technique for Device Drivers

    • Macieira R
    • Lisboa E
    • Barros E
    N/AReaders
    N/ACitations

Professional experience

Subistitute Professor

Universidade Federal de Sergipe

March 2008 - March 2009(a year)

Game Programmer

Lumentech

March 2007 - March 2009(2 years)

Técnico Judiciário - Programador

Tribunal de Justiça de Sergipe

January 2005 - March 2009(4 years)

Education history

Master in Computer Science

Centro de Informática - UFPE

March 2009 - Present

Bachelor in Computer Science

Universidade Federal de Sergipe

March 2001 - October 2006(6 years)