Journals and Conferences that author prefers

Journals

1. Autom. Softw. Eng. (2 paper(s))
2. IEEE Computer (2 paper(s))
3. IEEE Trans. Software Eng. (2 paper(s))
4. International Journal of Software Engineering and Knowledge Engineering (1 paper(s))
5. Journal of Systems and Software (1 paper(s))
6. J. UCS (1 paper(s))

Conferences

1. Engineering of Computer-Based Systems (ECBS) (13 paper(s))
2. (5 paper(s))
3. Automated Software Engineering (ASE) (4 paper(s))
4. World Congress on Formal Methods (FM) (2 paper(s))
5. Formal Methods in Software Practice (2 paper(s))
6. Hawaii International Conference on System Sciences (HICSS) (2 paper(s))
7. Software Engineering and Knowledge Engineering (SEKE) (2 paper(s))
8. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (1 paper(s))
9. Annual Simulation Symposium (1 paper(s))
10. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
11. IEEE International Conference on Formal Engineering Methods (1 paper(s))
12. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
13. Workshop on Applied Parallel Computing (PARA) (1 paper(s))
14. Requirements Engineering (1 paper(s))