Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
٢٠١٦
Formal Methods for Multicore Programming
٢٠١٥
Formal Methods for Web Services
٢٠٠٩
Formal Methods for Eternal Networked Software Systems
٢٠١١
Formal Methods for Performance Evaluation
٢٠٠٧
Computer Performance Engineering
٢٠١٠