Rafael Melo Macieira

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

High Level Specifications

Communication Protocol

Hardware Software

Top Venues

IET Cyper-Phys. Syst.: Theory & Appl.

Publications

Rafael Melo Macieira, Edna Barros
TDevCGen: A synthesis toolset of HW/SW communication protocol monitors from high-level specifications. LATS (2018)
Rafael Melo Macieira, Edna Barros
Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification. IET Cyper-Phys. Syst.: Theory & Appl. 3 (1) (2018)