Journals and Conferences that author prefers

Journals

1. Real-Time Systems (2 paper(s))
2. Acta Inf. (1 paper(s))
3. Sci. Comput. Program. (1 paper(s))
4. CoRR (1 paper(s))

Conferences

1. (8 paper(s))
2. GI-Jahrestagung (2 paper(s))
3. Languages, Compilers, and Tools for Embedded Systems (LCTES) (2 paper(s))
4. Compiler Construction (CC) (1 paper(s))
5. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
7. Static Analysis (WSA/SAS) (1 paper(s))
8. Publications Resulting from Dagstuhl Seminars (1 paper(s))
9. Sicherheit (1 paper(s))
10. Design, Automation, and Test in Europe (1 paper(s))
11. Worst-Case Execution Time Analysis (1 paper(s))
12. Dependable Systems and Networks (1 paper(s))
13. (1 paper(s))
14. International Conference / Workshop on Embedded Systems (EMSOFT) (1 paper(s))
15. Birthday ... (1 paper(s))
16. Symposium on Graph Drawing (GD) (1 paper(s))
17. Implementation of Functional Languages (IFL) (1 paper(s))
18. Scottish Functional Programming Workshops (1 paper(s))
19. IFIP World Computer Congress (1 paper(s))
20. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
21. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
22. PROSPECTRA (1 paper(s))