Journals and Conferences that author prefers

Journals

1. ACM Trans. Program. Lang. Syst. (2 paper(s))
2. Formal Methods in System Design (1 paper(s))
3. Inf. Comput. (1 paper(s))
4. IEEE Software (1 paper(s))
5. STTT (1 paper(s))
6. CoRR (1 paper(s))

Conferences

1. (24 paper(s))
2. Computer Aided Verification (CAV) (9 paper(s))
3. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (7 paper(s))
4. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
5. SPIN (3 paper(s))
6. International Conference on Computer Aided Design (ICCAD) (3 paper(s))
7. Foundations of Software Engineering (SIGSOFT FSE) (2 paper(s))
8. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
9. Static Analysis (WSA/SAS) (2 paper(s))
10. Conference on Computer and Communications Security (CCS) (1 paper(s))
11. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
12. EuroSys (1 paper(s))
13. Integrated Formal Methods (IFM) (1 paper(s))
14. (1 paper(s))
15. Automated Software Engineering (ASE) (1 paper(s))
16. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
17. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
18. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))