Login

Fernando Gonçalves (Publications)

Fernando Gonçalves (Publications)

Fernando Gonçalves (Publications)

PhD Student
September 2016 - April 2017

Fernando Silvano Gonçalves was born in Criciúma, Santa Catarina, Brazil in 1986.

In 2008 he received his degree in Computer Science at the University of Southern Santa Catarina (UNESC). In 2011 he completed a Software Engineering Specialist course at Criciúma Institute of Higher Learning (ESUCRI). In 2014 he finished his Masters in Automation and Systems at the Federal University of Santa Catarina (UFSC) in the area of the design of complex embedded systems for development of Unmanned Aerial Vehicles (UAVs).

He has worked in the research and development of desktop, web and embedded systems for six years, both in the industry and at universities. He is currently a PhD student in Automation and Systems at UFSC, where he develops and performs research in the design of embedded critical systems applied to UAVs, specifically using the Model Driven Engineering (MDE) and verification methods applied to the design of these systems.

He is currently working at CISTER as a research scientist in the areas of embedded systems design, model-driven engineering and verification, applied to the development of complex Cyber-Physical Systems. His research interests include real-time systems, embedded systems, cyber-physical systems, model-driven design and system verification.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thesis
Integrated Method For Designing Complex Cyber-Physical Systems CISTER-TR-181120 
Fernando GonçalvesPhD Thesis. 17, Jul, 2018. Florianópolis.Presidente do Juri Prof. Dr. Werner Kraus Junior, PGEAS-UFSC
Vogais Prof. Dr. Leandro Buss Becker, PGEAS-UFSC (Orientador) Prof. Dr. Flávio Rech Wagner, UFRGS Prof. Dr. Eduardo Tovar, CISTER/ISEP, Portugal Prof. Dr. Antônio Augusto Fröhlich, INE-UFSC

Conference or Workshop Papers
Formal Verification of AADL Models Using UPPAAL CISTER-TR-171101 
Fernando Gonçalves, David Pereira, Eduardo Tovar, Leandro BeckerVII Brazilian Symposium on Computing Systems Engineering (SBESC 2017). 7 to 10, Nov, 2017, Session 10: Development and Tools - B, pp 117-124. Curitiba, Brasil.