Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Sci. Comput. Program. (2 paper(s))
3. Formal Methods in System Design (1 paper(s))
4. STTT (1 paper(s))

Conferences

1. (7 paper(s))
2. Computer Aided Verification (CAV) (5 paper(s))
3. International Conference on Testing Communicating Systems (TestCom) (3 paper(s))
4. International Workshop on Formal Approaches to Testing of Software (2 paper(s))
5. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
6. Network Computing and Applications (2 paper(s))
7. SDL Forum (2 paper(s))
8. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
9. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
10. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
11. World Congress on Formal Methods (FM) (1 paper(s))
12. International Conference on Software Engineering (ICSE) (1 paper(s))
13. SAM (1 paper(s))
14. SPIN (1 paper(s))
15. Conference on Very Large Scale Integration (VLSI) (1 paper(s))