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)
S. Kounev. Invited Talk (Kolloquiumsvortrag), University of Edinburgh, Laboratory for Foundations of Computer Science, School of Informatics, Edinburgh, UK, (May 2007)
S. Kounev. Keynote Talk at the 4th International Workshop on Large-Scale Testing (LT 2015), co-located with ICPE 2015, Austin, TX, USA, February 1, 2015, (February 2015)