Alessandro Trindade

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Field Programmable Gate Array

Automated Verification

Maximum Power Point Tracking

Top Venues

Des. Autom. Embed. Syst.

Publications

Alessandro Trindade, Lucas C. Cordeiro
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. VSTTE (2020)
Alessandro Trindade, Lucas C. Cordeiro
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis. CoRR (2019)
Alessandro Trindade, Lucas C. Cordeiro
Automated Verification of Stand-alone Solar Photovoltaic Systems. CoRR (2018)
Alessandro Trindade, Lucas C. Cordeiro
Applying SMT-based verification to hardware/software partitioning in embedded systems. Des. Autom. Embed. Syst. 20 (1) (2016)
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version). CoRR (2015)
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC (2015)