Carmelo Loiacono
According to our database1,
Carmelo Loiacono
authored at least 10 papers
between 2013 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
0
1
2
3
4
5
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking.
Int. J. Softw. Tools Technol. Transf., 2018
2017
J. Circuits Syst. Comput., 2017
2016
Proceedings of the 1st IEEE International Verification and Security Workshop, 2016
Proceedings of the 22nd IEEE International Symposium on On-Line Testing and Robust System Design, 2016
2015
Optimization techniques for craig interpolant compaction in unbounded model checking.
Formal Methods Syst. Des., 2015
Proceedings of the 2015 IEEE International Conference on Multimedia & Expo Workshops, 2015
2014
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks.
J. Satisf. Boolean Model. Comput., 2014
2013
Fast cone-of-influence computation and estimation in problems with multiple properties.
Proceedings of the Design, Automation and Test in Europe, 2013