Journals and Conferences that author prefers

Journals

1. Real-Time Systems (2 paper(s))
2. Formal Asp. Comput. (1 paper(s))
3. STTT (1 paper(s))
4. IEEE Trans. Computers (1 paper(s))
5. Journal of Systems and Software (1 paper(s))

Conferences

1. (6 paper(s))
2. Real-Time Computing Systems and Applications (6 paper(s))
3. IEEE Real Time Technology and Applications Symposium (5 paper(s))
4. IEEE Real-Time Systems Symposium (RTSS) (5 paper(s))
5. (2 paper(s))
6. Formal Techniques for Networked and Distributed Systems / (2 paper(s))
7. EUROMICRO (1 paper(s))
8. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
9. Hawaii International Conference on System Sciences (HICSS) (1 paper(s))
10. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
11. North American Process Algebra Workshop (1 paper(s))
12. (1 paper(s))
13. Workshop on Object-Oriented Real-Time Dependable Systems (1 paper(s))
14. IEEE International Conference on Formal Engineering Methods (1 paper(s))
15. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))