Members

List of members of the ReliSA research group

Ing. Richard Lipka, Ph.D.

Ing. Richard Lipka, Ph.D.






Contact


Office: UN 306
Email: lipka@kiv.zcu.cz
Phone: (+420) 37763 2466
Personal page: http://home.zcu.cz/~lipka

Publications


LIPKA, R. Scalable Timeline Visualization. In USB Proceedings 2016 9th International Conference on Human System Interactions (HSI). Portsmouth: The Institute of Electrical and Electronics Engineers (IEEE), 2016. s. 150-156. ISBN: 978-1-5090-1728-7

LIPKA, R., KACEROVSKÝ, M., HRBÁČEK, D. Timeline visualisation tool. 2016.

LIPKA, R., POTUŽÁK, T., BRADA, P., HNĚTYNKA, P., VINÁREK, J. A Method for Semi-automated Generation of Test Scenarios based on Use Cases. In Proceedings 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA 2015. Piscataway: IEEE, 2015. s. 241-244. ISBN: 978-1-4673-7585-6

POTUŽÁK, T., LIPKA, R. Analysis of Fitness Function of Genetic Algorithm for Road Traffic Network Division. In USB Proceedings 2015 8th International Conference on Human System Interaction (HSI). Piscataway: IEEE, 2015. s. 40-46. ISBN: 978-1-4673-6935-0

HEROUT, P., LIPKA, R., MATĚJKA, L. Integrační a zátěžové testy datových replikací. SmartSoftware s.r.o., 2015.

[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] 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

[1] BRADA, P., JEŽEK, K., LIPKA, R., POP, T., KOUTNÝ, T., BŽOCH, P. Analýza, ověřování a optimalizace systémové platformy Openmatics s.r.o.:. Openmatics s.r.o., 2013.

[1] POTUŽÁK, T., LIPKA, R. Possibilities of Semi-automated Generation of Scenarios for Simulation Testing of Software Components. International Journal of Information and Computer Science, 2013, roč. 2, č. 6, s. 95-105. ISSN: 2161-5381

[1] LIPKA, R., POTUŽÁK, T., BRADA, P., HEROUT, P. SimCo - Hybrid Simulator for Testing of Component Based Applications. In SOFSEM 2013: Theory and Practice of Computer Science. Berlin: Springer Verlag, 2013. s. 420-431. ISBN: 978-3-642-35842-5 , ISSN: 0302-9743

LIPKA, R., POTUŽÁK, T. Simulation-based testing of vehicle onboard software. In CSSim 2012. Brno: VUT Brno, 2012. s. 55-60. ISBN: 978-80-214-4576-5

POTUŽÁK, T., LIPKA, R., BRADA, P., HEROUT, P. Testing a Component-based Application for Road Traffic Crossroad Control using the SimCo Simulation Framework. In SEAA 2012. Los Alamitos: IEEE, 2012. s. 175-182. ISBN: 978-0-7695-4790-9

POTUŽÁK, T., LIPKA, R., ŠNAJBERK, J., BRADA, P., HEROUT, P. Design of a Component-based Simulation Framework for Component Testing using SpringDM. In ECBS-EERC 2011. Bratislava: IEEE, 2011. s. 167-168. ISBN: 978-0-7695-4418-2

LIPKA, R. Scenario-based methodology for comparison of the software traffic control agents. Plzeň : neuveden, 2011, 103 s.

LIPKA, R. Calculation of turning probabilities at the intersection. In Annals of DAAAM for 2010 & Proceedings of the 21th international DAAAM symposium. Vienna: DAAAM International, 2010. s. 1237-1238. ISBN: 978-3-901509-73-5

POTUŽÁK, T., ŠNAJBERK, J., LIPKA, R., BRADA, P. Component-based simulation framework for component testing using springdm. In Annals of DAAAM for 2010 & Proceedings of the 21th international DAAAM symposium. Vienna: DAAM International, 2010. s. 1241-1242. ISBN: 978-3-901509-73-5

LIPKA, R., HEROUT, P. Scenario-based approach to agent´s evaluation. In EUROSIM 2010. Praha: České vysoké učení technické v Praze (Fakulta elektrotechnická), 2010. s. 1-7. ISBN: 978-80-01-04589-3



[ Back ]

Former members

  • Doc. Ing. Stanislav Racek, CSc.
  • Ing. Jaroslav Šnajberk, Ph.D.