Journals and Conferences that author prefers

Journals

1. J. Log. Algebr. Program. (1 paper(s))
2. Perform. Eval. (1 paper(s))
3. STTT (1 paper(s))
4. IEEE Trans. Parallel Distrib. Syst. (1 paper(s))
5. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (6 paper(s))
2. Dependable Systems and Networks (2 paper(s))
3. Process Algebra and Probabilistic Methods (2 paper(s))
4. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
5. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
6. Computer Aided Verification (CAV) (1 paper(s))
7. (1 paper(s))
8. Computer Performance Evaluation (1 paper(s))
9. (1 paper(s))
10. Formale Beschreibungstechniken (1 paper(s))
11. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
12. Fault-Tolerant Computing Systems / Fehlertolerierende Rechensysteme (1 paper(s))
13. Integrated Formal Methods (IFM) (1 paper(s))
14. International Symposium om Computer Architecture (ISCA) (1 paper(s))
15. Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen (MMB) (1 paper(s))
16. Parallel Computing (PARCO) (1 paper(s))
17. SPIN (1 paper(s))