Journals and Conferences that author prefers

Journals

1. Formal Methods in System Design (2 paper(s))
2. STTT (2 paper(s))
3. IEEE Computer (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. SIGMETRICS Performance Evaluation Review (1 paper(s))

Conferences

1. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (7 paper(s))
2. Computer Aided Verification (CAV) (5 paper(s))
3. Formal Modeling and Analysis of Timed Systems (2 paper(s))
4. SPIN (2 paper(s))
5. Formal Methods for Components and Objects (1 paper(s))
6. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
7. Hybrid Systems (1 paper(s))
8. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
9. Modeling and Verification of Parallel Processes (MOVEP) (1 paper(s))
10. Quantitative Evaluation of Systems (1 paper(s))
11. School on Formal Methods for the Design of Computer, Communication and Software Systems (1 paper(s))
12. UNI/IIST (1 paper(s))