Publikace
Články
-
T. Potužák, R. Lipka
Analysis and Optimization of Fitness Function of Genetic Algorithm for Road Traffic Network Division
Human-Computer Systems Interaction 2017, Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 551)
-
R. Lipka
Automated Generator for Complex and Realistic Test Data
International Conference on Software Quality, Reliability and Security Companion (QRS-C) 2017, Praha, srpen 2017, DOI 10.1109/QRS-C.2017.122
-
K. Ježek, R. Lipka
Antipatterns causing memory bloat: A case study
24th International Conference on Software analysis, evolution and reingeneering (SANER) 2017, Klagenfurt, únor 2017, DOI 10.1109/SANER.2017.7884631
-
R. Lipka
Scalable Timeline Visualisation
9th International Conference on Human System Interactions (HSI) 2016, Portshmouth, červenec 2016, str. 150 - 156, DOI 10.1109/HSI.2016.7529624
-
R. Lipka, T. Potužák, P. Brada, P. Hnětynka, J. Vinárek
A Method for Semi-automated Generation of Test Scenarios based on Use Cases
41st Euromicro Conference on Software Engineering and Advanced Applications SEAA 2015, Funchal, srpen 2015, str. 241 - 244,DOI 10.1109/SEAA.2015.32
-
T. Potužák, R. Lipka
Analysis of Fitness Function of Genetic Algorithm for Road Traffic Network Division
8th International Conference on Human System Interaction (HSI) 2015, Varšava, březen 2015, DOI 10.1109/HSI.2015.7170641
-
R. Lipka, M. Paška, T. Potužák
Simulation Testing and Model Checking: A Case Study Comparing these Approaches
Software Engineering for Resilient Systems. SERENE 2014. Lecture Notes in Computer Science, vol 8785. Springer, Cham, DOI 10.1007/978-3-319-12241-0_9
-
T. Potužák, R. Lipka
Possibilities of Semi-automated Generation of Scenarios for Simulation Testing of Software Components
International Journal of Information and Computer Science, Vol. 2, No. 6, září 2013, str. 95-105, ISSN 2161-5381
- R. Lipka, T. Potužák, P. Brada, P. Herout
SimCo – Hybrid Simulator for Testing of Component Based Applications
39th International Conference on Current Trends in Theory and Practice of Computer Science, LNCS Volume 7741, 2013, pp 420-431, doi 10.1007/978-3-642-35843-2_36
- R. Lipka, T. Potužák
Simulation-based testing of vehicle onboard software
CSSim 2012 - Conference on Computer Modelling and Simulation Brno, VUT Brno, 2012. s. 55-60. ISBN: 978-80-214-4576-5
- T. Potužák, R. Lipka, P. Brada, P. Herout
Testing a Component-based Application for Road Traffic Crossroad Control using the SimCo Simulation Framework
38th Euromicro Conference on Software Engineering and Advanced Applications, 2012, Izmir, str. 175-182, ISBN 978-0-7695-4790-9
-
T. Potužák, R. Lipka, J. Šnajberk, P. Brada, P. Herout
ECBS-EERC 2011 - 2011 Second Eastern European Regional Conference on the Engineering of Computer Based Systems, Bratislava, 2011, ISBN: 978-0-7695-4418-2
-
R. Lipka
Methodology for comparison of different traffic control agents
Computing and Informatics
Odesláno k recenzování, 2011
- T. Potužák, J. Šnajberk, R. Lipka, P. Brada
Component-based Simulation Framework for Component Testing using SpringDM
Annals of DAAAM & Proceedings, Vienna, 2010, p 1241
- R. Lipka
Reconstruction of turning directions at the intersection
Annals of DAAAM & Proceedings, Vienna, 2010, p 1237
- R. Lipka, P. Herout
Scenario-based approach to agent's evaluation
Proceedings of the 9th EUROSIM Congress on Modelling and Simulation, September 2010, Prague, Czech Republic, ISBN 978-80-01-04588-6
Software
- R. Lipka, M. Kacerovský, D. Hrbáček
Timeline visualisation tool
- D.Hartman, P. Herout, R. Lipka
Simulátor městské dopravní sítě JUTS
Semináře
- R. Lipka
Java code profiling
DSS Working Group Seminar
Plzeň, 2013
- R. Lipka
Simulation of Signal Bus of a Road Vehicle
DSS Working Group Seminar
Plzeň, 2012
- R. Lipka, T. Potužák
Advances in implementation of the component testing tool
D3S departement meeting
Praha, 2012
- R. Lipka
SimCo - Creation of Components
DSS Working Group Seminar
Plzeň, 2012
-
J. Šnajberk, T. Potužák, R. Lipka
Model-based integration testing
DSS Working Group Seminar
Plzeň, 2010
Kvalifikační práce
-
R. Lipka
Informační systém pro tělovýchovnou jednotu
Bakalářská práce, FAV ZČU
Plzeň, 2005
-
R. Lipka
Uživatelské rozhraní simulačního systému JUTS
Diplomová práce, FAV ZČU
Plzeň, 2007
-
R. Lipka
Verification and validation of JUTS
Technical Report
Plzeň, 2008
-
R. Lipka
System for comparison of traffic control agents
Technical Report No. DCSE/TR-2009-01
Plzeň, 2009
-
R. Lipka
Scenario-based methodology for comparison of the software traffic control agents
Disertační práce
Plzeň, 2011
Last edited: 08.02.2018 v 09:43