AT
Publications
- Applying SMT-based verification to hardware/software partitioning in embedded systems
- Multi-core model checking and maximum satisfiability applied to hardware-software partitioning
- Automated formal verification of stand-alone solar photovoltaic systems
- Applying multi-core model checking to hardware-software partitioning in embedded systems
- Understanding Household Fuel Choice Behaviour in the Amazonas State, Brazil: Effects of Validation and Feature Selection
- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison
- Impact Evaluation of Solar Photovoltaic Electrification: Indigenous Community Case Study in Brazilian Amazon
Usage metrics
Co-workers & collaborators
- EG
Elena Gaura
- NF
Nei Farias
- LQ
Laura Queiroz
- RM
Rafael Mendonça