S. Kounev. Keynote Talk, 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA @ ETAPS 2012), Tallinn, Estonia, (March 2012)
S. Kounev. Keynote Talk at the 24th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASMTA 2017), Newcastle-upon-Tyne, UK, July 10-12, 2017, (July 2017)