Alessandro Trindade
Orcid: 0000-0001-8262-2919
According to our database1,
Alessandro Trindade
authored at least 7 papers
between 2015 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
0
1
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the Software Verification - 12th International Conference, 2020
2019
CoRR, 2019
2018
2017
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.
Int. J. Embed. Syst., 2017
2016
Applying SMT-based verification to hardware/software partitioning in embedded systems.
Des. Autom. Embed. Syst., 2016
2015
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).
CoRR, 2015
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems.
Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015