S. Bocchio

9 papers and 98 indexed citations i.

S. Bocchio has authored 9 papers that have received a total of 98 indexed citations. This includes 9 papers in Hardware and Architecture, 6 papers in Software and 2 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (9 papers), Model-Driven Software Engineering Techniques (6 papers) and Formal Methods in Verification (2 papers). S. Bocchio is often cited by papers focused on Embedded Systems Design Techniques (9 papers), Model-Driven Software Engineering Techniques (6 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Italy, Switzerland and Belgium. S. Bocchio's co-authors include Patrizia Scandurra, Elvinia Riccobene, Wim Dehaene, Davide Quaglia and Emad Ebeid and has published in prestigious journals such as ACM Transactions on Embedded Computing Systems