Home | english  | Impressum | Sitemap | KIT
Viliam Simko

Dr. Viliam Šimko

Tel.: +49 (721) 9654-810
Fax: +49 721 9654-811
viliam simkoPsb0∂kit edu

FZI Forschungszentrum Informatik
Haid-und-Neu-Str. 10-14
76131 Karlsruhe, Germany 

Research Interests

  • Data Mining, Statistical Classification
  • Application of Natural Language Processing in the area of Software Engineering
  • Lightweight Formal Methods
  • Component-based software engineering
  • Meta-modeling (mainly UML, EMF, OWL)
  • Archiving and long-term preservation
  • Concurrency and synchronization


  1. Stable Hotspot Analysis for Intra-Urban Heat Islands.
    Bruns, J.; Simko, V.
    2017. GI-Forum, 1, 79-92. doi:10.1553/giscience2017_01_s79
  2. Formal Verification of Annotated Textual Use-Cases.
    Simko, V.; Hauzar, D.; Hnetynka, P.; Bures, T.; Plasil, F.
    2015. The computer journal, 58 (7), 1495-1529. doi:10.1093/comjnl/bxu068
  1. Road Condition Estimation Based on Heterogeneous Extended Floating Car Data.
    Laubis, K.; Simko, V.; Schuller, A.; Weinhardt, C.
    2017. Proceedings of the 50th Hawaii International Conference on System Sciences (HICSS2017), Big Island, Hawaii, USA, Jan 4, 2017 - Jan 7, 2017, 1582-1591, Big Island (Hawaii)
  2. Road Condition Measurement and Assessment: A Crowd Based Sensing Approach.
    Laubis, K.; Simko, V.; Schuller, A.
    2016. Proceedings of the 2016 International Conference on Information Systems (ICIS 2016), Dublin, Ireland, December 11-14, 2016, Association for Information Systems, Dublin
  3. Crowd Sensing of Road Conditions and Its Monetary Implications on Vehicle Navigation.
    Laubis, K.; Simko, V.; Schuller, A.
    2016. The 13th IEEE International Conference on Ubiquitous Intelligence and Computing, Toulouse, F, July 18-21, 2016, 833-840, IEEE, Piscataway, NJ. doi:10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0132
  4. BigGIS: A Continuous Refinement Approach to Master Heterogeneity and Uncertainty in Spatio-Temporal Big Data (Vision Paper).
    Wiener, P.; Stein, M.; Seebacher, D.; Bruns, J.; Frank, M.; Simko, V.; Zander, S.; Nimis, J.
    2016. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL 2016), ACM, New York (NY). doi:10.1145/2996913.2996931
  5. Weighted aggregation in the domain of crowd-based road condition monitoring.
    Laubis, K.; Simko, V.; Weinhardt, C.
    2016. INFORMATIK 2016 : Informatik von Menschen für Menschen, 46. Jahrestagung der Gesellschaft für Informatik, 26.-30. September 2016, Klagenfurt. Hrsg.: H. C. Mayr, 385-393, Gesellschaft für Informatik, Bonn
  6. Cloud adoption by fine-grained resource adaptation: Price determination of diagonally scalable IaaS.
    Laubis, K.; Simko, V.; Schuller, A.
    2016. Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers. Ed.: A. Celesti, 249-257, Springer, Cham. doi:10.1007/978-3-319-33313-7_19
  7. Recovering Traceability Links Between Code and Specification Through Domain Model Extraction.
    Vinarek, J.; Hnetynka, P.; Simko, V.; Kroha, P.
    2014. Enterprise and organizational modeling and simulation : 10th international workshop ; selected papers. EOMAS 2014, held at CAiSE 2014, Thessaloniki, Greece, June 16 - 17, 2014. Ed.: J. Barjis, 187-201, Springer, Heidelberg. doi:10.1007/978-3-662-44860-1_11
  8. A prediction-driven adaptation approach for self-adaptive sensor networks.
    Paez Anaya, I. D.; Simko, V.; Bourcier, J.; Plouzeau, N.; Jézéquel, J.-M.
    2014. SEAMS 2014. 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, Hyderabad, India; 2 June 2014 through 3 June, 145-154, ACM, New York (NY). doi:10.1145/2593929.2593941
  9. FOAM: A Lightweight Method for Verification of Use-Cases.
    Simko, V.; Hnetynka, P.; Bures, T.; Plasil, F.
    2012. 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2012 : 5 - 8 Sept. 2012, Cesme, Izmir, Turkey. Ed.: V. Cortellessa, 228-232, IEEE, Piscataway (NJ). doi:10.1109/SEAA.2012.15
  10. Verifying Temporal Properties of Use-Cases in Natural Language.
    Simko, V.; Hauzar, D.; Bures, T.; Hnetynka, P.; Plasil, F.
    2012. Formal aspects of component software : 8th international symposium; revised selected papers, FACS 2011, Oslo, Norway, September 14 - 16, 2011. Ed.: F. Arbab, 350-367, Springer, Berlin. doi:10.1007/978-3-642-35743-5_21
  11. From textual use-cases to component-based applications.
    Simko, V.; Hnerynka, P.; Bures, T.
    2010. Software engineering, artificial intelligence, networking and parallel/distributed computing 2010. Ed.: R. Lee, 23-37, Springer, Berlin