Fernando Silvano Goncalves

According to our database, Fernando Silvano Goncalves authored at least 6 papers between 2013 and 2019.

Collaborative distances:

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

2019

Applying Integrated Formal Methods on CPS Design.

Henrique Amaral Misson, Fernando Silvano Gonçalves, Leandro Buss Becker

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

2017

Formal Verification of AADL Models Using UPPAAL.

Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker

Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

2016

Model driven engineering approach to design sensing and actuation subsystems.

Fernando Silvano Goncalves, Leandro Buss Becker

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Preparing Cyber-physical Systems Functional Models for Implementation.

Fernando Silvano Goncalves, Leandro Buss Becker

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

2014

Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.

Fernando Silvano Goncalves, Leandro Buss Becker

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

2013

Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle.

Leandro Buss Becker, Guilherme V. Raffo, Fernando Silvano Goncalves

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013