3 citations · 4 across the 3 of their papers we have counts for
3 papers
eess.SY2019★ 3 cited
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis
Alessandro Trindade, Lucas Cordeiro
There exist various methods and tools to size solar photovoltaic systems; however, these tools rely on simulations, which do not cover all aspects of the design space during the se…
cs.LO2018★ 1 cited
Automated Verification of Stand-alone Solar Photovoltaic Systems
Alessandro Trindade, Lucas Cordeiro
With declining costs and increasing performance, the deployment of renewable energy systems is growing faster. Particular attention is given to stand-alone solar photovoltaic syste…
cs.LO2015
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)
Alessandro Trindade, Hussama Ismail, Lucas Cordeiro
We present an alternative approach to solve the hardware (HW) and software (SW) partitioning problem, which uses Bounded Model Checking (BMC) based on Satisfiability Modulo Theorie…