Journals and Conferences that author prefers

Journals

1. ACM Trans. Embedded Comput. Syst. (2 paper(s))
2. Acta Inf. (1 paper(s))
3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
4. J. ACM (1 paper(s))
5. Proceedings of the IEEE (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))
7. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. International Conference / Workshop on Embedded Systems (EMSOFT) (10 paper(s))
2. (6 paper(s))
3. SAFECOMP (2 paper(s))
4. Hybrid Systems (2 paper(s))
5. Euromicro Conference on Real-Time Systems (ECRTS) (1 paper(s))
6. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
7. Petri Nets and Performance Models (1 paper(s))
8. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
9. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
10. Formal Methods for Components and Objects (1 paper(s))
11. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
12. Formal Modeling and Analysis of Timed Systems (1 paper(s))
13. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
14. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
15. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
16. Design, Automation, and Test in Europe (1 paper(s))
17. IFIP WG10.3 Publications (1 paper(s))
18. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
19. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
20. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
21. Logic in Computer Science (LICS) (1 paper(s))
22. Russian Conference on Logic Programming / (1 paper(s))