Alessandro Trindade

Identifiers

• name variant Alessandro Trindade 0.60 · backfill

Papers (2)

1. Automated Verification of Stand-alone Solar Photovoltaic Systems cs.LO · 2018 · author #1
2. Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version) cs.LO · 2015 · author #1

Mentions

• 1509.02492 #1 · backfill · confidence 0.70 Alessandro Trindade

Frequent Coauthors

• Lucas Cordeiro 2 shared papers
• Hussama Ismail 1 shared papers