Erick Simas Grilo

According to our database, Erick Simas Grilo authored at least 5 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A logical framework to reason about Reo circuits.

Erick Simas Grilo, Daniel Toledo, Bruno Lopes

FLAP, 2022

ReLo: a Dynamic Logic to Reason About Reo Circuits.

Erick Simas Grilo, Bruno Lopes

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

2020

Modelling and Certifying Smart Cities in Reo Circuits.

Erick Simas Grilo, Bruno Lopes

Proceedings of the 2020 International Conference on Systems, Signals and Image Processing, 2020

2019

Critical Systems for Smart Cities: Towards Certifying Software.

Erick Simas Grilo, Bruno Lopes

Proceedings of the Smart and Digital Cities, 2019

2018

Formalization and Certification of Software for Smart Cities.

Erick Simas Grilo, Bruno Lopes

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018