Journals and Conferences that author prefers

Journals

1. STTT (4 paper(s))
2. Electr. Notes Theor. Comput. Sci. (3 paper(s))
3. Formal Methods in System Design (3 paper(s))
4. Autom. Softw. Eng. (2 paper(s))
5. Autonomous Agents and Multi-Agent Systems (1 paper(s))
6. AI Magazine (1 paper(s))
7. IEEE Intelligent Systems (1 paper(s))
8. Software Focus (1 paper(s))
9. Softw. Test., Verif. Reliab. (1 paper(s))
10. Theor. Comput. Sci. (1 paper(s))
11. CoRR (1 paper(s))

Conferences

1. (7 paper(s))
2. SPIN (6 paper(s))
3. International Conference on Software Engineering (ICSE) (4 paper(s))
4. International Symposium on Software Testing and Analysis (ISSTA) (4 paper(s))
5. Automated Software Engineering (ASE) (4 paper(s))
6. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
7. Computer Aided Verification (CAV) (2 paper(s))
8. Workshops on Abstract State Machines (1 paper(s))
9. Agent Theories, Architectures, and Languages (ATAL) (1 paper(s))
10. Automated Technology for Verification and Analysis (1 paper(s))
11. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
12. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
13. Formal Methods in Software Practice (1 paper(s))
14. Programming Multi-Agent Systems (1 paper(s))