ER-5 Viliam Simko

Main research interests

  • Component-based software engineering
  • Machine Learning and data mining
  • Natural language processing
  • Predictive runtime models
  • Formal verification of computational models



Personal Website


Simko V., Hauzar D., Hnetynka P., Bures T., Plasil F.: Formal Verification of Annotated Textual Use-Cases, The Computer Journal, 2014, doi:10.1093/comjnl/bxu068, Link

Hamadache K., Zerva P., Polyviou A., Simko V., Dautov R,. Gonidis F., Paez Anaya I.: Cost in the Cloud Rationalisation and Research Trails. In Proceedings of the 2nd International Conference on Advanced Cloud and Big Data (CBD 2014), November 20-22, Huangshan, Anhui, China, 2014 (To appear)

Vinarek J., Hnetynka P., Simko V. and Kroha P.: Recovering traceability links between code and specification through domain model extraction. In Proceedings of 10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, volume 191 of LNBIP.

Paez Anaya I., Simko V., Bourcier J. and Plouzeau N.: A prediction-driven adaptation approach for self-adaptive sensor networks. In Proceedings of 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’14), Hyderabad, India, May 31, 2014, PDF

This entry was posted in Research Projects, WP1. Bookmark the permalink.

Comments are closed.