Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Formal Methods in System Design (2 paper(s))
3. STTT (2 paper(s))
4. CoRR (1 paper(s))

Conferences

1. (26 paper(s))
2. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (5 paper(s))
3. Computer Aided Verification (CAV) (4 paper(s))
4. Design Automation Conference (DAC) (4 paper(s))
5. Verification, Model Checking and Abstract Interpretation (VMCAI) (2 paper(s))
6. IEEE International Conference on Formal Engineering Methods (2 paper(s))
7. International Conference on Formal Methods and Models for Co-Design (2 paper(s))
8. SPIN (2 paper(s))
9. Architektur von Rechensystemen (1 paper(s))
10. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
11. Design, Automation, and Test in Europe (1 paper(s))
12. (1 paper(s))
13. Dependable Systems and Networks (1 paper(s))
14. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
15. (1 paper(s))
16. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
17. International Conference on Computer Design (ICCD) (1 paper(s))
18. (1 paper(s))