Journals and Conferences that author prefers

Journals

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

Conferences

1. (11 paper(s))
2. Computer Aided Verification (CAV) (9 paper(s))
3. Logic in Computer Science (LICS) (5 paper(s))
4. Symposium on Principles of Programming Languages (POPL) (3 paper(s))
5. International Conference on Concurrency Theory (CONCUR) (3 paper(s))
6. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2 paper(s))
7. Protocol Specification, Testing and Verification (2 paper(s))
8. International Conference / Workshop on Embedded Systems (EMSOFT) (2 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
10. International Colloquium on Automata, Languages and Programming (ICALP) (2 paper(s))
11. International Symposium on Software Testing and Analysis (ISSTA) (2 paper(s))
12. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
13. Conference on Computer Supported Cooperative Work (CSCW) (1 paper(s))
14. Static Analysis (WSA/SAS) (1 paper(s))
15. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
16. World Congress on Formal Methods (FM) (1 paper(s))
17. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
18. TIME Symposium / Workshop (1 paper(s))
19. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
20. International Conference on Software Engineering (ICSE) (1 paper(s))
21. Workshop on Industrial-Strength Formal Specification Techniques (1 paper(s))
22. Integrated Formal Methods (IFM) (1 paper(s))
23. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))