Fernando Silvano Goncalves

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Cyber Physical Systems

Formal Verification

Anytime Algorithms

Solution Quality

Top Venues

Publications

Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker
Formal Verification of AADL Models Using UPPAAL. SBESC (2017)
Fernando Silvano Goncalves, Leandro Buss Becker
Model driven engineering approach to design sensing and actuation subsystems. ETFA (2016)
Fernando Silvano Goncalves, Leandro Buss Becker
Preparing Cyber-physical Systems Functional Models for Implementation. SBESC (2015)
Fernando Silvano Goncalves, Leandro Buss Becker
Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems. SBESC (2014)
Leandro Buss Becker, Guilherme V. Raffo, Fernando Silvano Goncalves
Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle. SBESC (2013)