Publications

2017 | 2016 | 2015 | 2014 |

2014

  • DIETRICH, J., JEŽEK, K., BRADA, P. Broken Promises: An Empirical Study into Evolution Problems in Java Programs Caused by Library Upgrades. In CSMR - WCRE Proceedings. Piscataway: IEEE, 2014. s. 64-73. ISBN: 978-1-4799-3751-6
  • [1] POTUŽÁK, T. Distributed/Parallel Genetic Algorithm for Road Traffic Network Division for Distributed Traffic Simulation. In Intelligent Distributed Computing VII.. Cham: Springer, 2014. s. 151-156. ISBN: 978-3-319-01570-5 , ISSN: 1860-949X
  • PÍCHA, P., BRADA, P. Empirical Research in Software Engineering: A Literature Review. In ICSEA 2014. neuvedeno: IARIA, 2014. s. 209-214. ISBN: 978-1-61208-367-4
  • [1] HEROUT, P., BRADA, P., PÍCHA, P. Hodnocení bezpečnosti software vlakového zabezpečovače LS06. FULZAR s.r.o., 2014.
  • [1] CAIS, Š., PÍCHA, P. Identifying Software Metrics Thresholds for Safety Critical System. In ICIEIS 2014. neuvedeno: SDIWC, 2014. s. 67-78. ISBN: 978-0-9891305-8-5
  • [1] POTUŽÁK, T., LIPKA, R. Interface-based Semi-automated Generation of Scenarios for Simulation Testing of Software Components. In SIMUL 2014. New York: IARIA, 2014. s. 35-42. ISBN: 978-1-61208-371-1
  • [1] JEŽEK, K., DIETRICH, J. On the Use of Static Analysis to Safeguard Recursive Dependency Resolution. In SEAA 2014 40 th Euromicro Conference Series on Software Engineering and Advanced Applications. Piscataway: IEEE, 2014. s. 166-173. ISBN: 978-1-4799-5794-1
  • [1] BRADA, P., JEŽEK, K. Ověřování, analýza a návrh aplikací systémové platformy procesů. Openmatics s.r.o., 2014.
  • [1] POTUŽÁK, T. Parallelization Possibilities of a Genetic Algorithm for Road Traffic Network Division for Distributed/Parallel Environment. In 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications - DS-RT 2014. Piscataway: IEEE, 2014. s. 211-218. ISBN: 978-1-4799-6143-6 , ISSN: 1550-6525
  • [1] POTUŽÁK, T., LIPKA, R. Semi-automated Generation of Simulated Software Components for Simulation Testing. In SIMUL 2014. New York: IARIA, 2014. s. 140-149. ISBN: 978-1-61208-371-1
  • [1] LIPKA, R., PAŠKA, M., POTUŽÁK, T. Simulation Testing and Model Checking: A Case Study Comparing these Approaches. In Software Engineering for Resilient Systems. Heidelberg: Springer, 2014. s. 116-130. ISBN: 978-3-319-12240-3 , ISSN: 0302-9743

Tools

Software developed during research: