Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. - Alessandro Trindade; Hussama Ismail; Lucas C. Cordeiro (SBESC, 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 SMT-based verification to hardware/software partitioning in embedded systems. - Alessandro Trindade; Lucas C. Cordeiro (Des. Autom. Embed. Syst., 2016)

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)

Automated Verification of Stand-alone Solar Photovoltaic Systems. - Alessandro Trindade; Lucas C. Cordeiro (CoRR, 2018)

Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis. - Alessandro Trindade; Lucas C. Cordeiro (CoRR, 2019)

Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. - Alessandro Trindade; Lucas C. Cordeiro (VSTTE, 2020)