B. Plessier

6 papers and 100 indexed citations i.

B. Plessier has authored 6 papers that have received a total of 100 indexed citations. This includes 6 papers in Computational Theory and Mathematics, 4 papers in Hardware and Architecture and 2 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (6 papers), VLSI and Analog Circuit Testing (2 papers) and Real-Time Systems Scheduling (2 papers). B. Plessier is often cited by papers focused on Formal Methods in Verification (6 papers), VLSI and Analog Circuit Testing (2 papers) and Real-Time Systems Scheduling (2 papers) and collaborates with scholars based in United States, Italy and South Korea. B. Plessier's co-authors include Fabio Somenzi, Gary D. Hachtel, Enrico Macii and Hyunwoo Cho and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Formal Methods in System Design