Journals and Conferences that author prefers

Journals

1. IEEE Design & Test of Computers (2 paper(s))
2. Formal Methods in System Design (1 paper(s))
3. RITA (1 paper(s))
4. IEEE Trans. VLSI Syst. (1 paper(s))

Conferences

1. (13 paper(s))
2. Correct Hardware Design and Verification Methods (CHARME) (4 paper(s))
3. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
4. Design, Automation, and Test in Europe (2 paper(s))
5. Conference on Very Large Scale Integration (VLSI) (2 paper(s))
6. Formal Methods in Computer-Aided Design (FMCAD) (2 paper(s))
7. IFIP World Computer Congress (2 paper(s))
8. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (1 paper(s))
9. (1 paper(s))
10. (1 paper(s))
11. (1 paper(s))
12. (1 paper(s))
13. ACM Great Lakes Symposium on VLSI (1 paper(s))
14. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
15. IFIP WG10.5 (1 paper(s))
16. IEEE International Symposium on Circuits and Systems (ISCAS) (1 paper(s))
17. International Workshop on Logic & Synthesis (1 paper(s))
18. International Workshop System-on-Chip for Real-Time Applications (1 paper(s))
19. IEEE International Workshop on Rapid System Prototyping (1 paper(s))