Journals and Conferences that author prefers

Journals

1. IEEE Trans. on CAD of Integrated Circuits and Systems (3 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))
3. Formal Methods in System Design (1 paper(s))
4. IEEE Micro (1 paper(s))
5. MONET (1 paper(s))
6. IEEE Trans. Computers (1 paper(s))
7. IEEE Design & Test of Computers (1 paper(s))

Conferences

1. (16 paper(s))
2. Design Automation Conference (DAC) (5 paper(s))
3. International Conference / Workshop on Embedded Systems (EMSOFT) (5 paper(s))
4. International Conference on Computer Aided Design (ICCAD) (3 paper(s))
5. Design, Automation, and Test in Europe (2 paper(s))
6. Hybrid Systems (2 paper(s))
7. Computer Aided Verification (CAV) (1 paper(s))
8. (1 paper(s))
9. International Conference on Hardware Software Codesign (1 paper(s))
10. Formal Methods for Components and Objects (1 paper(s))
11. International Conference on Computer Design (ICCD) (1 paper(s))
12. IFIP WG10.5 (1 paper(s))
13. International Symposium on Quality Electronic Design (1 paper(s))
14. (1 paper(s))
15. International Conference on Formal Methods and Models for Co-Design (1 paper(s))