Journals and Conferences that author prefers

Journals

1. Journal of Systems and Software (2 paper(s))
2. Requir. Eng. (2 paper(s))
3. Computing in Science and Engineering (2 paper(s))
4. IEEE Computer (1 paper(s))
5. Formal Methods in System Design (1 paper(s))
6. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
7. IEEE Trans. Software Eng. (1 paper(s))
8. Autom. Softw. Eng. (1 paper(s))
9. CoRR (1 paper(s))

Conferences

1. (23 paper(s))
2. Requirements Engineering (11 paper(s))
3. International Conference on Software Engineering (ICSE) (9 paper(s))
4. Automated Software Engineering (ASE) (3 paper(s))
5. Conference of the Centre for Advanced Studies on Collaborative Research (2 paper(s))
6. Hawaii International Conference on System Sciences (HICSS) (2 paper(s))
7. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
8. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
9. DEXA Workshops (1 paper(s))
10. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
11. Knowledge Acquisition, Modeling and Management (EKAW) (1 paper(s))
12. Verification and Validation of Enterprise Information Systems (1 paper(s))
13. World Congress on Formal Methods (FM) (1 paper(s))
14. Workshop on Enabling Technologies: Infrastracture for Collaborative Enterprises (WETICE) (1 paper(s))
15. High-Assurance Systems (HASE) (1 paper(s))
16. (1 paper(s))
17. International Conference on Requirements Engineering (1 paper(s))
18. IEEE International Conference on Software Maintenance (1 paper(s))
19. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (1 paper(s))
20. International Workshop on Program Comprehension (1 paper(s))