A Research Landscape on Formal Verification of Software Architecture Descriptions

by Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo
Published 2019-01-01

Mastering Interactions with Internet of Things Platforms through the IoTVar Middleware

by Pedro Victor Borges, Chantal Taconet, Sophie Chabridon, Denis Conan, Thais Batista, Everton Cavalcante, Cesar Batista
Published 2019-11-01

A semantic-based discovery service for the Internet of Things

by Porfírio Gomes, Everton Cavalcante, Thais Batista, Chantal Taconet, Denis Conan, Sophie Chabridon, Flavia C. Delicato, Paulo F. Pires
Published 2019-05-01