Formalization and Certification of Software for Smart Cities. - Erick Simas Grilo; Bruno Lopes 001 (IJCNN, 2018)

Critical Systems for Smart Cities: Towards Certifying Software. - Erick Simas Grilo; Bruno Lopes 001 (Smart and Digital Cities, 2019)

Modelling and Certifying Smart Cities in Reo Circuits. - Erick Simas Grilo; Bruno Lopes 001 (IWSSIP, 2020)

ReLo: a Dynamic Logic to Reason About Reo Circuits. - Erick Simas Grilo; Bruno Lopes 001 (LSFA, 2022)

A logical framework to reason about Reo circuits. - Erick Simas Grilo; Daniel Toledo; Bruno Lopes 001 (FLAP, 2022)