Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. ACM Trans. Embedded Comput. Syst. (2 paper(s))
4. Formal Methods in System Design (1 paper(s))
5. Proceedings of the IEEE (1 paper(s))
6. Sci. Comput. Program. (1 paper(s))
7. STTT (1 paper(s))
8. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (8 paper(s))
2. Computer Aided Verification (CAV) (5 paper(s))
3. International Conference on Formal Methods and Models for Co-Design (3 paper(s))
4. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. (1 paper(s))
7. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
8. Automatic Verification Methods for Finite State Systems (1 paper(s))
9. Euromicro Symposium on Digital Systems Design (1 paper(s))
10. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
11. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
12. Static Analysis (WSA/SAS) (1 paper(s))
13. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
14. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
15. International Conference on Engineering of Complex Computer Systems (1 paper(s))