Publications

(Updated from the university database. Missing entries are due to issues with web service integration on the provider's side; the group leader's DBLP list can act as a approximate substitute.)

2024

• T. Potužák: Improved methodology for assessment of communication protocols for distributed road traffic simulation. Simulation, Vol. 100, No. 1, January 2024, pp. 91-109, ISSN 1741-3133, DOI: 10.1177/00375497221130097

2023

• T. Potužák and R. Lipka: Current Trends in Automated Test Case Generation. Proceedings of the of the 18th Conference on Computer Science and Intelligence Systems, Warsaw, September 2023, pp. 627–636, ISBN 978-83-967447-8-4, DOI: 10.15439/2023F9829
• T. Potužák and R. Lipka: Generation of Benchmark of Software Testing Methods for Java with Realistic Introduced Errors. Communication Papers of the of the 18th Conference on Computer Science and Intelligence Systems, Warsaw, September 2023, pp. 215–222, ISBN 978-83-969601-3-9, DOI: 10.15439/2023F3165
• M. Klíma, M. Bureš, S. A. Bestoun, X. Bellekens, R. Atkinson, C. Tachtatzis, and P. Herout: Specialized path-based technique to test Internet of Things system functionality under limited network connectivity. Internet of Things, Vol. 22, 100706, July 2023, ISSN 2542-6605, DOI: 10.1016/j.iot.2023.100706
• S. De, P. Brada, and J. Mottok: Derivation of Optimized Threshold of Semantic Alignment Metrics for Intepretation of Interoperability and Reusability of Cross-enterprise Vehicle Service Interface Models. Informatica (An International Journal of Computing and Informatics), Vol. 47, No. 7, June 2023, pp. 11-22, ISSN: 0350-5596, DOI: 10.31449/inf.v47i7.4739
• D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bureš, A. Di Salle, M. Galster, P. Lago, G. A. Lewis, M. Litoiu, A. Musil, J. Musil, P. Patros, and P. Pelliccione: Self-Adaptation in Industry: A Survey. ACM Transactions on Autonomous and Adaptive Systems, Vol. 18, No. 2, June 2023, pp. 5:1–5:44, ISSN: 1556-4665, DOI: 10.1145/3589227

2022

• L. Černý: Towards automatic validation of composite heterogeneous systems in edge situations. 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Charlotte, November 2022, pp. 118-121, ISBN 978-1-6654-7679-9, DOI: 10.1109/ISSREW55968.2022.00051
• T. Potužák: Current Trends in Road Traffic Network Division for Distributed or Parallel Road Traffic Simulation. The 26th International Symposium on Distributed Simulation and Real Time Applications, Ales, September 2022, ISBN 978-1-6654-9799-2, DOI: 10.1109/DS-RT55542.2022.9932112
• T. Potužák and F. Kolovský: Road Traffic Network Division for a Parallel Dynamic Network Loading Algorithm. 15th IEEE International Conference on Human System Interaction (HSI 2022) - Conference Proceedings, Melbourne, July 2022, ISBN 978-1-6654-6822-0, DOI: 10.1109/HSI55341.2022.9869439
• P. Pícha, S. Hönel, P. Brada, M. Ericsson, W. Löwe, A. Wingkvist, and J. Daněk: Process anti-pattern detection – a case study. EuroPLop '22: Proceedings of the 27th European Conference on Pattern Languages of Programs, Irsee, July 2022, pp. 5:1-5:18, DOI: 10.1145/3551902.3551965
• D. Weyns, I. Gerostathopoulos, N. Abbas, J. Andersson, S. Biffl, P. Brada, T. Bureš, A. Di Salle, P. Lago, A. Musil, J. Musil, and P. Pelliccione: Preliminary results of a survey on the use of self-adaptation in industry. SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems, Pittsburgh, May 2022, DOI: 10.1145/3524844.3528077
• T. Potužák and F. Kolovský: Parallelization of the B Static Traffic Assignment Algorithm. ASEJ, Vol. 13, No. 2, 101576, March 2022, ISSN 2090-4479, DOI: 10.1016/j.asej.2021.09.003

2021

• T. Potužák: Methodology for Assessing of Communication Protocols for Distributed Simulation of Road Traffic. The 25th International Symposium on Distributed Simulation and Real Time Applications, Valencia, September 2021, ISBN 978-1-6654-3325-9, DOI: 10.1109/DS-RT52167.2021.9576152
• T. Potužák and R. Lipka: Semi-automated Algorithm for Complex Test Data Generation for Interface-based Regression Testing of Software Components. Proceedings of the 16th Conference on Computer Science and Intelligence Systems, online, Poland, September 2021, pp. 501-510, ISBN 978-83-959183-6-0, DOI: 10.15439/2021F58
• T. Potužák: Improved Road Traffic Network Division based on Genetic Algorithm and Graph Coarsening. 14th Conference Human System Interactions - Conference proceedings, Gdaňsk, July 2021, pp. 122-129, ISBN 978-1-6654-4112-4
• S. De., P. Brada, J. Mottok, and M. Niklas: The Empirical Evaluation of Semantic Alignment Quality Metrics for Vehicle Domain Component Frameworks Interface Ontologies. Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, May 2021, DOI: 10.32473/flairs.v34i1.128512
• M. Bureš, S. A. Bestoun, V. Rechtberger, M. Klíma, M. Trnka, M. Jaroš, X. Bellekens, D. Almog, and P. Herout: PatrIoT: IoT Automated Interoperability and Integration Testing Framework. Proceedings of the 14th IEEE International Conference on Software Testing, Validation and Verification, ICST 2021, Porto de Galinhas, April 2021, pp. 454–459, ISBN: 978-172816836-4
• R. Lipka: A method for the Automated Generating of the Code-Coverage Ensuring Input Test Data Based on the Control Flow Analysis. Proceedings of the ACM SAC Conference, Virtual Event, Republic of Korea, March 2021, pp. 1281-1288
• T. Potužák and R. Lipka: Algorithm for Generation of Complex Test Data for Interface-based Regression Testing of Software Components. Proceedings of the ACM SAC Conference, Virtual Event, Republic of Korea, March 2021, pp. 1305-1308, DOI 10.1145/3412841.3442118

2020

• M. Kepka, L. Černý, and P. Brada: An open system for monitoring environmental phenomena: poster abstract. SenSys '20: Proceedings of the 18th Conference on Embedded Networked Sensor Systems, Yokohama, November 2020, pp. 659-660, DOI: 10.1145/3384419.3430443
• M. Bureš, P. Herout, and A. S. Bestoun: Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), Porto, October 2020, pp. 442-447, DOI: 10.1109/ICST46399.2020.00059
• T. Potužák: Reduction of Inter-process Communication in Distributed Simulation of Road Traffic. Proceedings of the 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Prague, September 2020, pp. 123-132, DOI 10.1109/DS-RT50469.2020.9213673
• L. Šimečková, P. Brada, P. Pícha: SPEM-Based Process Anti-Pattern Models for Detection in Project Data. 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Portoroz, Virtual Event, August 2020, pp. 89-92, DOI:10.1109/SEAA51224.2020.00024
• Z. Valeš and P. Brada: Service API Modeling and Comparison: A Technology-Independent Approach. 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Portoroz, Virtual Event, August 2020, pp. 158-161, DOI: 10.1109/SEAA51224.2020.00034
• S. De, M. Niklas, R. Brian, J. Mottok, and P. Brada: Semantic Mapping of Component Framework Interface Ontologies for Interoperability of Vehicle Applications. Procedia Computer Science - The 11th International Conference on Ambient Systems, Networks and Technologies (ANT) / The 3rd International Conference on Emerging Data and Industry 4.0 (EDI40) / Affiliated Workshops, April 2020, pp. 813-818.
• P. Brada, R. Lipka, L. Holy, and K. Jezek: Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool. Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, Valleta, February 2020, pp. 288-293. DOI: 10.5220/0009164002880293

2019

• D. Rajf and T. Potužák: Comparison of Road Traffic Simulation Speed on CPU and GPU. Proceedings of the 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Cosenza, October 2019, pp. 9-16, DOI 10.1109/DS-RT47707.2019.8958702
• S. De, J. Mottok, P. Brada, and Michael Niklas: Towards Semantic Model-to-model Mapping of Cross-Domain Component Interfaces for Interoperability of Vehicle Applications. Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp), Munich, September 2019, pp. 57-64
• R. Lipka and T. Potužák: Search for the Memory Duplicities in the Java Applications Using Shallow and Deep Object Comparison. Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, Leipzig, September 2019, pp. 781-789, DOI 10.15439/2019F286
• P. Pícha and P. Brada: Software process anti-pattern detection in project data. EuroPLop '19: Proceedings of the 24th European Conference on Pattern Languages of Programs
, Irsee, July 2019, pp. 10:1-10:12, DOI: 10.1145/3361149.3361169
• P. Brada and P. Pícha: Software process anti-patterns catalogue. EuroPLop '19: Proceedings of the 24th European Conference on Pattern Languages of Programs
, Irsee, July 2019, pp. 28:1-28:12, DOI: 10.1145/3361149.3361178
• I. Puchr, I. and P. Herout: Advisory System for Operators of Complex Industrial Processes Extended by Diagnostic Functions. Journal of Engineering and Applied Sciences, Vol. 14, No. 11, May 2019, pp. 3506-3513, DOI: 10.36478/jeasci.2019.3506.3513
• S. De, M. Niklas, J. Mottok, and P. Brada: A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy Exploration. MODELSWARD 2019: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, February 2019, pp. 394–401, DOI: 10.5220/0007472503940401
• L. Holý, P. Pícha, R. Lipka, and P. Brada: Software Engineering Projects Analysis Using Interactive Multimodal Graph Explorer - IMiGEr. Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 3: IVAPP, Prague, February 2019, pp. 330-337, DOI: 10.5220/0007579803300337

2018

• R. Lipka and T. Potužák: Automated generator for complex and realistic test data — a case study. Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, Poznan, September 2018, pp. 233-240, DOI 10.15439/2018F214
• T. Potužák and R. Lipka: Deep Object Comparison for Interface-based Regression Testing of Software Components. Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, Poznan, September 2018, pp. 1053-1062, DOI 10.15439/2018F51
• T. Potužák: Division of Road Traffic Network based on Genetic Algorithm and Graph Coarsening. 2018 11th International Conference Human System Interactions - Conference proceedings, Gdansk, July 2018, pp. 484-490, DOI: 10.1109/HSI.2018.8431334
• T. Potužák and R. Lipka: Analysis and Optimization of Fitness Function of Genetic Algorithm for Road Traffic Network Division. Human-Computer Systems Interaction - Backgrounds and Applications 4, Advances in Intelligent Systems and Computing 551, January 2018, pp. 91-102, DOI 10.1007/978-3-319-62120-3_8
• T. Potužák: Sparsely Synchronized Distributed/Parallel Genetic Algorithm for Road Traffic Network Division. Human-Computer Systems Interaction - Backgrounds and Applications 4, Advances in Intelligent Systems and Computing 551, January 2018, pp. 103-114, DOI 10.1007/978-3-319-62120-3_9

2017

• T. Potužák, R. Lipka, and P. Brada: Interface-based Semi-automated Testing of Software Components. Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, Prague, September 2017, pp. 1335-1344, DOI 10.15439/2017F139
• R. Lipka: Automated Generator for Complex and Realistic Test Data. International Conference on Software Quality Reliability and Security Companion (QRS-C) 2017, Prague, August 2017, DOI 10.1109/QRS-C.2017.122
• I. Puchr, P. Herout: Time–frequency Analysis of Controller Input Signals Helps to Improve Production Quality of Metal Strips. Proceedings of the 20th World Congress The International Federation of Automatic Control, IFAC 2017, Toulouse, July 2017, pp. 13330-13332
• J. Dietrich, D. J. Pearce, K. Jezek, and P. Brada: Contracts in theWild: A Study of Java Programs. Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), LIPIcs, Vol. 74, Barcelona, June 2017, pp. 9:1–9:29
• I. Puchr and P. Herout: Probabilistic Advisory System for Operators Can Help with Diagnostics of Rolling Mills. 2017 21st International Conference on Process Control (PC), Štrbské Pleso, June 2017, pp. 132-135, DOI: 10.1109/PC.2017.7976202
• P. Pícha, P. Brada, R. Ramsauer, and W. Mauerer: Towards Architect’s Activity Detection through a Common Model for Project Pattern Analysis. 2017 IEEE International Conference on Software Architecture Workshops (ICSAW), Gothenburg, April 2017, pp. 175-178, DOI: 10.1109/ICSAW.2017.46.
• K. Ježek and R. Lipka: Antipatterns causing memory bloat: A case study. 24th International Conference on Software Analysis, Evolution and Reengeneering (SANER) 2017, Klagenfurt, February 2017, DOI 10.1109/SANER.2017.7884631

Tools

Software developed during research, as results of our projects, is available for experimental use:

• IMiGEr, the Interactive Multi-modal Graph Explorer (former CoCaEx) - visualization framework and tool for complex heterogeneous graphs exploration.
• SPADe, the Software Process Anti-Patterns Detector - data repository and user interface to mine, store, analyse and visualize (via IMiGEr) data of software projects.
• TbUIS - Testbed University Information System - A testbed with a web application where you can experiment with your testing strategies.

Earlier tools

• CRCE, the Component Repository supporting Compatibility Evaluation - an advanced, modular repository of component- and service-oriented artefacts and metadata.
• Tools for the OSGi Framework - several tools relevant for the industrial applications of the OSGi framework developed during research of type-based component compatibility verification
• Distributed Urban Traffic Simulator (DUTS) - simulator of urban road traffic for distributed computing environent incorporating three traffic models
• Editor for Distributed Urban Traffic Simulator (DUTS) - system for preparation of road traffic maps and their manual and automated division for Distributed Urban Traffic Simulator (DUTS)