Journals and Conferences that author prefers

Journals

1. Proceedings of the IEEE (1 paper(s))
2. Theor. Comput. Sci. (1 paper(s))
3. ACM Trans. Embedded Comput. Syst. (1 paper(s))
4. ACM Trans. Design Autom. Electr. Syst. (1 paper(s))

Conferences

1. (18 paper(s))
2. Hybrid Systems (5 paper(s))
3. Computer Aided Verification (CAV) (4 paper(s))
4. Static Analysis (WSA/SAS) (2 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
6. Automated Technology for Verification and Analysis (1 paper(s))
7. International Conference on Formal Methods and Models for Co-Design (1 paper(s))
8. Computer Animation Conference (CA) (1 paper(s))
9. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
10. Design, Automation, and Test in Europe (1 paper(s))
11. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
12. High Performance Computing (HiPC) (1 paper(s))
13. International Conference on Computer Design (ICCD) (1 paper(s))
14. Intelligent Virtual Agents (1 paper(s))
15. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
16. Russian Conference on Logic Programming / (1 paper(s))