An Energy-Efficient Context Management Framework for Ubiquitous Systems. - Vinicius Bezerra; Misael C. Junior; Olga Valeria; Constantino D. Neto; Liliam Leal; Marcus Lemos; Carlos Giovanni Carvalho; José Bringel Filho; Raimir Holanda Filho; Nazim Agoulmine (UIC/ATC, 2013)

A Quality-Aware and Energy-Efficient Context Management Framework for Ubiquitous Systems. - Vinicius Bezerra; Misael C. Junior; Olga Valeria; Constantino D. Neto; Liliam Leal; Marcus Lemos; Carlos Giovanni Carvalho; José Bringel Filho; Raimir Holanda Filho; Nazim Agoulmine (AINA, 2014)

A Formal Semantics for Use Case Diagram Via Event-B. - Thiago C. de Sousa; Luciano Kelvin; Constantino D. Neto; Carlos Giovanni Nunes de Carvalho (J. Softw., 2017)