Publications of Viliam Šimko

Publications sorting and grouping Sort publications by and group them by

2015 (2)

Refereed (journals/proceedings)

Link, Link Šimko V., Hauzar D., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Textual Use-Cases,
The Computer Journal 58(7), pp. 1495-1529, doi:10.1093/comjnl/bxu068, July 2015
Link Vinárek J., Šimko V., Hnětynka P.: Verification of Use-Cases with FOAM tool in Context of Cloud Providers,
In Proceedings of Euromicro SEAA 2015, Funchal, Portugal, IEEE, pp. 151-158, doi:10.1109/SEAA.2015.39, August 2015

2014 (1)

Refereed (journals/proceedings)

Link Vinárek J., Hnětynka P., Šimko V., Kroha P.: Recovering Traceability Links Between Code and Specification Through Domain Model Extraction,
In Proceedings of EOMAS 2014, Thessaloniki, Greece, LNBIB 191, Springer, pp. 187-201, doi:10.1007/978-3-662-44860-1_11, June 2014

2013 (4)

Ph.D. Theses

PDF, PDF, Link Šimko V.: From textual specification to formal verification,
Ph.D. thesis, advisor: Petr Hnetynka, September 2013

Technical Reports

PDF Vinárek J., Hnětynka P., Šimko V., Kroha P.: Recovering Traceability Links between Code and Textual Specification through Automated Domain Model Extraction,
Tech. Report No. D3S-TR-2013-08, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2013
PDF Kroha P., Hnětynka P., Šimko V., Vinárek J.: Traceability in Requirement Specifications Using Natural Languages,
Tech. Report No. D3S-TR-2013-07, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2013
PDF Šimko V., Kroha P., Hnětynka P.: Implemented Domain Model Generation,
Tech. Report No. D3S-TR-2013-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2013

2012 (4)

Refereed (journals/proceedings)

PDF Šimko V., Hnětynka P., Bureš T., Plášil F.: FOAM : A Lightweight Method for Verification of Use-Cases,
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Izmir, Turkey, IEEE CS, pp. 228-232, ISBN 978-0-7695-4790-9, DOI 10.1109/SEAA.2012.15, September 2012

Technical Reports

PDF Šimko V., Kroha P., Hnětynka P.: Domain Model Generation With the Help of Supervised Machine Learning,
Tech. Report No. D3S-TR-2012-06, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012
PDF Bureš T., Hnětynka P., Kroha P., Šimko V.: Requirement Specifications Using Natural Languages,
Tech. Report No. D3S-TR-2012-05, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2012
PDF Šimko V., Hnětynka P., Bureš T., Plášil F.: Formal Verification of Annotated Use-Cases,
Tech. Report No. D3S-TR-2012-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2012

2011 (2)

Refereed (journals/proceedings)

PDF Šimko V., Hauzar D., Bureš T., Hnětynka P., Plášil F.: Verifying Temporal Properties of Use-Cases in Natural Language,
Postproceedings of 8th International Symposium on Formal Aspects of Component Software (FACS 2011) conference, Oslo, Norway, LNCS, Springer, September 2011

Technical Reports

PDF Šimko V.: Patterns In Specification Documents,
Tech. Report No. 2011/6, Dep. of Distributed and Dependable Systems, Charles University in Prague, July 2011

2010 (1)

Refereed (journals/proceedings)

Link, PDF Šimko V., Hnětynka P., Bureš T.: From textual use-cases to component-based applications,
In proceedings of SNPD 2010, London, UK, Studies in Computational Intelligence (SCI), Springer, June 2010

2007 (1)

Master Theses

PDF, PDF Šimko V.: Multimedia Grid,
Master Thesis, advisor: Leo Galambos, May 2007
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-04-01