Journals and Conferences that author prefers

Journals

1. Programming and Computer Software (3 paper(s))
2. IEEE Trans. Software Eng. (2 paper(s))
3. Computer Networks (1 paper(s))
4. Computer Communications (1 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. IEEE Trans. Computers (1 paper(s))
7. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
8. Electr. Notes Theor. Comput. Sci. (1 paper(s))

Conferences

1. International Conference on Testing Communicating Systems (TestCom) (14 paper(s))
2. (11 paper(s))
3. Formal Techniques for Networked and Distributed Systems / (6 paper(s))
4. Ershov Memorial Conference (4 paper(s))
5. Protocol Specification, Testing and Verification (3 paper(s))
6. Design, Automation, and Test in Europe (1 paper(s))
7. Information Systems Technology and its Applications (1 paper(s))
8. International Workshop on Logic & Synthesis (1 paper(s))
9. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
10. Automated Software Engineering (ASE) (1 paper(s))
11. World Congress on Formal Methods (FM) (1 paper(s))
12. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
13. International Symposium on Fault-Tolerant Computing (FTCS) (1 paper(s))
14. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
15. International Conference on Quality Software (1 paper(s))
16. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
17. SAM (1 paper(s))
18. International Conference on Computer Communication (ICCC) (1 paper(s))
19. SDL Forum (1 paper(s))
20. IEEE INFOCOM (1 paper(s))
21. European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA) (1 paper(s))
22. International Service Availability Symposium (1 paper(s))
23. International Symposium on Software Reliability Engineering (1 paper(s))
24. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))