Alessandro Trindade

According to our database, Alessandro Trindade authored at least 7 papers between 2015 and 2020.

Collaborative distances:

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

2020

Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.

Alessandro Trindade, Lucas C. Cordeiro

Proceedings of the Software Verification - 12th International Conference, 2020

2019

Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis.

Alessandro Trindade, Lucas C. Cordeiro

CoRR, 2019

2018

Automated Verification of Stand-alone Solar Photovoltaic Systems.

Alessandro Trindade, Lucas C. Cordeiro

CoRR, 2018

2017

Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.

Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro

Int. J. Embed. Syst., 2017

2016

Applying SMT-based verification to hardware/software partitioning in embedded systems.

Alessandro Trindade, Lucas C. Cordeiro

Des. Autom. Embed. Syst., 2016

2015

Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).

Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro

CoRR, 2015

Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems.

Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro

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