activity
20152019
most citedOptimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis

3 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing 2015 · cs.LOShow all

1 paper · 2 filters

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…