Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. Formal Methods in System Design (4 paper(s))
3. STTT (3 paper(s))
4. Autom. Softw. Eng. (2 paper(s))
5. Formal Asp. Comput. (1 paper(s))
6. Nord. J. Comput. (1 paper(s))
7. Softw. Test., Verif. Reliab. (1 paper(s))
8. Theor. Comput. Sci. (1 paper(s))
9. IEEE Trans. Software Eng. (1 paper(s))
10. Concurrency and Computation: Practice and Experience (1 paper(s))
11. CoRR (1 paper(s))

Conferences

1. (11 paper(s))
2. Automated Software Engineering (ASE) (4 paper(s))
3. SPIN (3 paper(s))
4. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (3 paper(s))
5. Verification, Model Checking and Abstract Interpretation (VMCAI) (2 paper(s))
6. World Congress on Formal Methods (FM) (2 paper(s))
7. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
8. Workshops on Abstract State Machines (1 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
10. Automated Technology for Verification and Analysis (1 paper(s))
11. TIME Symposium / Workshop (1 paper(s))
12. Formal Approaches to Agent-Based Systems (1 paper(s))
13. Verification and Validation of Enterprise Information Systems (1 paper(s))
14. (1 paper(s))
15. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
16. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
17. International Syposium on Methodologies for Intelligent Systems (ISMIS) (1 paper(s))
18. New Developments in Digital Libraries (1 paper(s))
19. Protocol Specification, Testing and Verification (1 paper(s))
20. IEEE Real-Time Systems Symposium (RTSS) (1 paper(s))