Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (3 paper(s))
2. Journal of Object Technology (1 paper(s))
3. Computers & Security (1 paper(s))

Conferences

1. (24 paper(s))
2. The Unified Modeling Language (UML) (6 paper(s))
3. International Conference on Software Engineering (ICSE) (4 paper(s))
4. Engineering of Computer-Based Systems (ECBS) (3 paper(s))
5. Automated Software Engineering (ASE) (3 paper(s))
6. International Conference on Application of Concurrency to System Design (2 paper(s))
7. Modellierung (2 paper(s))
8. Asia-Pacific Software Engineering Conference (2 paper(s))
9. International Conference on Engineering of Complex Computer Systems (2 paper(s))
10. ACM Symposium on Applied Computing (SAC) (2 paper(s))
11. Ershov Memorial Conference (2 paper(s))
12. Fundamental Approaches to Software Engineering (FASE) (2 paper(s))
13. World Congress on Formal Methods (FM) (2 paper(s))
14. Security Protocols Workshop (2 paper(s))
15. Annual Computer Security Applications Conference (1 paper(s))
16. Foundations of Security Analysis and Design (1 paper(s))
17. Mathematical Methods, Models, and Architectures for Network Security Systems (MMM-ACNS) (1 paper(s))
18. Workshop on Software and Performance (1 paper(s))
19. Games for Logic and Programming Languages (1 paper(s))
20. High-Assurance Systems (HASE) (1 paper(s))
21. (1 paper(s))
22. Conference on Advanced Information Systems Engineering (CAiSE) (1 paper(s))
23. E-Commerce, E-Business, and E-Government (1 paper(s))
24. Network Security (1 paper(s))
25. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
26. International Conference on Testing Communicating Systems (TestCom) (1 paper(s))
27. Conference on Software Maintenance and Reengineering (CSMR) (1 paper(s))
28. IEEE International Conference on Formal Engineering Methods (1 paper(s))
29. SAFECOMP (1 paper(s))
30. European Dependable Computing Conference (EDCC) (1 paper(s))
31. IEEE International Conference on Software Maintenance (1 paper(s))
32. Information Security (1 paper(s))
33. International Conference on Service Oriented Computing (1 paper(s))
34. (1 paper(s))
35. IFIP World Computer Congress (1 paper(s))
36. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (1 paper(s))
37. Formal Methods for Components and Objects (1 paper(s))
38. Latin-American Symposium on Dependable Computing (1 paper(s))
39. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
40. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
41. International Conference on Formal Methods and Models for Co-Design (1 paper(s))