Publications

See also the department list of publications.

  1. Vinarek, J., Simko, V. and Hnetynka, 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, Aug 2015. BibTeX
  2. Simko, V., Hauzar, D., Hnetynka, P., Bures, T. and Plasil, F.: Formal Verification of Annotated Textual Use-Cases. The Computer Journal, 58(7):1495-1529, DOI: 10.1093/comjnl/bxu068, 2015. WWW BibTeX
  3. Lipka, R., Potuak, T., Brada, P., Hnetynka, P. and Vinarek, J.: A Method for Semi-automated Generation of Test Scenarios Based on Use Cases. In Proceedings of EUROMICRO SEAA 2015, Funchal, Portugal, IEEE, pp. 241-244, DOI: 10.1109/SEAA.2015.32, Aug 2015. BibTeX
  4. Gerostathopoulos, I., Bures, T., Hnetynka, P., Hujecek, A., Plasil, F. and Skoda, D.: Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems. In Proceedings of ECSA 2015, Dubrovnik/Cavtat, Croatia, Springer, pp. 45-52, DOI: 10.1007/978-3-319-23727-5_4, Sep 2015. WWW BibTeX
  5. Bures, T., Krijt, F., Plasil, F., Hnetynka, P. and Jiracek, Z.: Towards Intelligent Ensembles. In Proceedings of ECSAW 2015, Dubrovnik/Cavcat, Croatia, ACM, pp. 1-4, DOI: 10.1145/2797433.2797450, Sep 2015. WWW BibTeX
  6. Bureš, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M. and Plasil, F.: The Invariant Refinement Method. In Software Engineering for Collective Autonomic Systems, pp. 405-428. Springer, DOI: 10.1007/978-3-319-16310-9_12 2015. WWW BibTeX
  7. Keznikl, J., Bures, T., Plasil, F. and Hnetynka, P.: Automated resolution of connector architectures using constraint solving (ARCAS method). Software and Systems Modeling, 13(2):843-872, DOI: 10.1007/s10270-012-0274-8, 2014. WWW BibTeX
  8. Al Ali, R., Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M. and Plasil, F.: DEECo: An Ecosystem for Cyber-physical Systems. In Companion Proceedings of ICSE 2014, Hyderabad, India, ACM, 610–611, DOI: 10.1145/2591062.2591140, Jun 2014. WWW BibTeX
  9. Pop, T., Hnetynka, P., Hosek, P., Malohlava, M. and Bures, T.: Comparison of component frameworks for real-time embedded systems. Knowledge and Information Systems, 40(1):127-170, DOI: 10.1007/s10115-013-0627-9, 2014. WWW BibTeX
  10. Bures, T., Hnetynka, P. and Plasil, F.: Strengthening Architectures of Smart CPS by Modeling Them As Runtime Product-lines. In Proceedings of CBSE 2014, Lille, France, ACM, pp. 91-96, DOI: 10.1145/2602458.2602478, Jul 2014. WWW BibTeX
  11. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M. and Plasil, F.: Gossiping Components for Cyber-Physical Systems. In Proceedings of ECSA 2014, Vienna, Austria, Springer, pp. 250-266, Aug 2014. WWW BibTeX
  12. Vinárek, J., Hnětynka, P., Šimko, V. and Kroha, P.: Recovering Traceability Links Between Code and Specification Through Domain Model Extraction. In Proceedings of EOMAS 2014, Thessaloniki, Greece, Springer, pp. 187-201, DOI: 10.1007/978-3-662-44860-1_11, Jun 2014. WWW BibTeX
  13. Malohlava, M., Plasil, F., Bures, T. and Hnetynka, P.: Interoperable domain-specific languages families for code generation. Software: Practice and Experience, 43(5):479-499, DOI: 10.1002/spe.2118, 2013. WWW BibTeX
  14. Keznikl, J., Bures, T., Plasil, F., Gerostathopoulos, I., Hnetynka, P. and Hoch, N.: Design of ensemble-based component systems by invariant refinement. In Proceedings of CBSE 2013, Vancouver, Canada, ACM, pp. 91-100, DOI: 10.1145/2465449.2465457, Jun 2013. WWW BibTeX
  15. Gerostathopoulos, I., Bures, T. and Hnetynka, P.: Position paper: towards a requirements-driven design of ensemble-based component systems. In Proceedings of HotTopiCS'13, Prague, Czech Republic, ACM, pp. 79-86, DOI: 10.1145/2462307.2462325, Apr 2013. WWW BibTeX
  16. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M. and Plasil, F.: DEECO: an ensemble-based component system. In Proceedings of CBSE 2013, Vancouver, Canada, ACM, pp. 81-90, DOI: 10.1145/2465449.2465462, Jun 2013. WWW BibTeX
  17. Hermann, L., Bures, T., Hnetynka, P. and Malohlava, M.: CoDIT: Bridging the Gap between System-Level and Component-Level Development. In Proceedings of SERA 2012, Shanghai, China, Springer Berlin Heidelberg, pp. 159-175, DOI: 10.1007/978-3-642-30460-6_12, May 2012. WWW BibTeX
  18. Simko, V., Hnetynka, P., Bures, T. and Plasil, F.: FOAM: A Lightweight Method for Verification of Use-Cases. In Proceedings of EUROMICRO 2012, Izmir, Turkey, IEEE CS, pp. 228-232, DOI: 10.1109/SEAA.2012.15, Sep 2012. BibTeX
  19. Simko, V., Hauzar, David, Bures, T., Hnetynka, P. and Plasil, F.: Verifying Temporal Properties of Use-Cases in Natural Language. In Post-proceedings of FACS 2011, Oslo, Norway, Springer, pp. 350-367, DOI: 10.1007/978-3-642-35743-5_21 2012. WWW BibTeX
  20. Kucera, T., Hnetynka, P. and Kofron, J.: Automated Deployment of Hierarchical Components. In Proceedings of SNPD 2012, Kyoto, Japan, Springer, pp. 117-128, DOI: 10.1007/978-3-642-32172-6_10, Aug 2012. WWW BibTeX
  21. Francu, J. and Hnetynka, P.: Automated Generation of Implementation from Textual System Requirements. In Software Engineering Techniques,. Berlin, Heidelberg. (Huzar, Z. and Koci, R. and Meyer, B. and Walter, B. and Zendulka, J., Eds.), Springer Berlin Heidelberg, pp. 34-47, DOI: 10.1007/978-3-642-22386-0_3 2011. WWW BibTeX
  22. Keznikl, J., Malohlava, M., Bures, T. and Hnetynka, P.: Extensible Polyglot Programming Support in Existing Component Frameworks. In Proceedings of EUROMICRO SEAA'11, Oulu, Finland, IEEE, pp. 107-115, DOI: 10.1109/SEAA.2011.25, Aug 2011. WWW BibTeX
  23. Hnetynka, P., Murphy, L. and Murphy, J.: Comparing the Service Component Architecture and Fractal Component Model. The Computer Journal, 54(7):1026-1037, DOI: 10.1093/comjnl/bxq046, 2011. WWW BibTeX
  24. Pop, T., Keznikl, J., Hosek, P., Malohlava, M., Bures, T. and Hnetynka, P.: Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned. In Proceedings of SERA 2011, Baltimore, Maryland, USA, IEEE, pp. 3-11, DOI: 10.1109/SERA.2011.14, Aug 2011. WWW BibTeX
  25. Hnetynka, P. and Plasil, F.: Using meta-modeling in design and implementation of component-based systems: the SOFA case study. Software: Practice and Experience, 41(11):1185-1201, DOI: 10.1002/spe.1036, 2011. WWW BibTeX
  26. Hosek, P., Pop, T., Bures, T., Hnetynka, P. and Malohlava, M.: Comparison of Component Frameworks for Real-Time Embedded Systems. In Proceedings of CBSE 2010, Prague, Czech Republic, Springer Berlin Heidelberg, pp. 21-36, DOI: 10.1007/978-3-642-13238-4_2, Jun 2010. WWW BibTeX
  27. Simko, V., Hnetynka, P. and Bures, T.: From Textual Use-Cases to Component-Based Applications. In Proceedings of SNPD 2010, London, UK, Springer, pp. 23-37, DOI: 10.1007/978-3-642-13265-0_3, Jun 2010. WWW BibTeX
  28. Bures, T., Hnetynka, P. and Malohlava, M.: Using a product line for creating component systems. In Proceedings of the 2009 ACM symposium of Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM Press, pp. 501-508, DOI: 10.1145/1529282.1529388, Mar 2009. WWW BibTeX
  29. Hnetynka, P., Bures, T., Prochazka, M., Ward, R. and Hanzalek, Z.: SOFA high integrity: Our approach to SAVOIR. In Proceedings of DASIA 2009, Istambul, Turkey,European Space Agency, (Special Publication) ESA SP 669, May 2009. BibTeX
  30. Bures, T., Hala, Josef and Hnetynka, P.: Using Connectors to Address Transparent Distribution in Enterprise Systems – Pitfalls and Options. In Proceedings of SNPD 2009, Deagu, South Korea, Springer, pp. 81-92, DOI: 10.1007/978-3-642-01203-7_7, May 2009. WWW BibTeX
  31. Jezek, P., Bures, T. and Hnetynka, P.: Supporting Real-Life Applications in Hierarchical Component Systems. In Proceedings of SERA 2009, Haikou, China, Springer, pp. 107-118, DOI: 10.1007/978-3-642-05441-9_10, Dec 2009. WWW BibTeX
  32. Masek, Karel, Hnetynka, P. and Bures, T.: Bridging the Component-Based and Service-Oriented Worlds. In Proceedings of EUROMICRO SEAA'09, Patras, Greece, IEEE CS, pp. 47-54, DOI: 10.1109/SEAA.2009.58, Aug 2009. WWW BibTeX
  33. Anquetil, N., Royer, J.-C., Andre, P., Ardourel, G., Hnetynka, P., Poch, T., Petraascu, D. and Petrascu, V.: JavaCompExt: Extracting Architectural Elements from Java Source Code. In Proceedings of WCRE 2009, Lile, France, IEEE CS, pp. 317-318, DOI: 10.1109/WCRE.2009.53, Oct 2009. BibTeX
  34. Kapova, L., Bures, T. and Hnetynka, P.: Preserving Intentions in SOA Business Process Development. In Proceedings of SERA 2008, Prague, Czech Republic, Springer Berlin Heidelberg, pp. 59-72, DOI: 10.1007/978-3-540-70561-1_5, Aug 2008. WWW BibTeX
  35. Prochazka, M., Ward, R., Tuma, P., Hnetynka, P. and Adamek, J.: A component-oriented framework for spacecraft on-board software. In Proceedings of DASIA 2008, Palma de MajorcaEuropean Space Agency, (Special Publication) ESA SP 665, May 2008. BibTeX
  36. Bures, T., Malohlava, M. and Hnetynka, P.: Using DSL for Automatic Generation of Software Connectors. In Procedings of ICCBSS 2008, Madrid, Spain, IEEE CS, pp. 138 -147, DOI: 10.1109/ICCBSS.2008.17, Feb 2008. WWW BibTeX
  37. Bures, T., Decky, M., Hnetynka, P., Kofron, J., Parizek, P., Plasil, F., Poch, T., Sery, O. and Tuma, P.: CoCoME in SOFA. In The Common Component Modeling Example, pp. 388-417. Springer, DOI: 10.1007/978-3-540-85289-6_15 2008. WWW BibTeX
  38. Bures, T. and Hnetynka, P.: Safe Systems with Software Components in SOFA 2. ERCIM News, 75:27-28, 2008. WWW BibTeX
  39. Adamek, J. and Hnetynka, P.: Perspectives in component-based software engineering. In Proceedings of SEESE 2008, Leipzig, Germany, ACM, pp. 35-42, DOI: 10.1145/1370868.1370875, May 2008. WWW BibTeX
  40. Hnetynka, P. and Plasil, F.: The Power of MOF-Based Meta-modeling of Components. In Proceedigns of ASEA 2008, Hainan Island, China, IEEE CS, pp. 67-72, DOI: 10.1109/ASEA.2008.31, Dec 2008. WWW BibTeX
  41. Bures, T., Hnetynka, P. and Plasil, F.: Runtime Concepts of Hierarchical Software Components. International Journal of Computer \& Information Science, 8(S):454-463, 2007. WWW BibTeX
  42. Bures, T., Hnetynka, P., Plasil, F., Klesnil, J., Kmoch, Ondrej, Kohan, T. and Kotrc, P.: Runtime Support for Advanced Component Concepts. In Proceedings of SERA 2007, Busan, Korea, IEEE CS, pp. 337-345, DOI: 10.1109/SERA.2007.115, Aug 2007. WWW BibTeX
  43. Hnetynka, P. and Murphy, J.: Deployment of Java-based Components in Embedded Environment. In Proceedings of Applied Computing 2007, Salamanca, Spain, Feb 2007. WWW BibTeX
  44. Hnetynka, P. and Plasil, F.: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. In Proceedings of CBSE 2006, Vasteras, Sweden, Springer, pp. 352-359, DOI: 10.1007/11783565_27, Jun 2006. WWW BibTeX
  45. Bures, T., Hnetynka, P. and Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In Proceedings of SERA 2006, Seattle, USA, IEEE, pp. 40-48, DOI: 10.1109/SERA.2006.62, Aug 2006. WWW BibTeX
  46. Hnetynka, P.: A model-driven environment for component deployment. In Proceedings of SERA 2005, Mount Pleasant, USA, IEEE CS, pp. 6-13, DOI: 10.1109/SERA.2005.12, Aug 2005. WWW BibTeX
  47. Hnetynka, P.: Making deployment process of distributed component-based software unified. PhD thesis, Charles University in Prague, 2005. WWW BibTeX
  48. Hnetynka, P. and Pise, M.: Hand-written vs. MOF-based metadata repositories: the SOFA experience. In Proceedings of ECBS 2004, Brno, Czech Republic, IEEE CS, pp. 329-336, DOI: 10.1109/ECBS.2004.1316716, May 2004. WWW BibTeX
  49. Hnetynka, P.: Making Deployment of Distributed Component-based Software Unified. In Proceedings of CSSE 2004 (part of ASE 2004), Linz, Austria, Austrian Computer Society, pp. 157-161, Sep 2004. WWW BibTeX
  50. Hnetynka, P. and Plasil, F.: Distributed versioning model for MOF. In Proceedings of WISICT 2004, Cancun, Mexico,, pp. 489-494, Jan 2004. WWW BibTeX
  51. Hnetynka, P. and Tuma, P.: Fighting Class Name Clashes in Java Component Systems. In Proceedings of JMLC 2003, Klagenfurt, Austria, Springer, pp. 106-109, DOI: 10.1007/978-3-540-45213-3_15, Aug 2003. WWW BibTeX