Felice Balarin

36 papers and 612 indexed citations i.

Felice Balarin has authored 36 papers that have received a total of 612 indexed citations. This includes 33 papers in Hardware and Architecture, 21 papers in Computational Theory and Mathematics and 9 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (29 papers), Formal Methods in Verification (21 papers) and Real-Time Systems Scheduling (15 papers). Felice Balarin is often cited by papers focused on Embedded Systems Design Techniques (29 papers), Formal Methods in Verification (21 papers) and Real-Time Systems Scheduling (15 papers) and collaborates with scholars based in United States, Italy and Japan. Felice Balarin's co-authors include Alberto Sangiovanni‐Vincentelli, Harry Hsieh, Y. Watanabe, Luciano Lavagno and Xi Chen and has published in prestigious journals such as Computer, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Formal Methods in System Design.