Members

List of members of the ReliSA research group

Contact

Office: UC 354
Email: brada@kiv.zcu.cz
Phone: (+420) 37763 2435
Personal page: http://www.kiv.zcu.cz/~brada/

Publications

DIETRICH, J., PEARCE, D.J., JEŽEK, K., BRADA, P. Contracts in the Wild: A Study of Java Programs. In 31st European Conference on Object-Oriented Programming. Schloss Dagstuhl: Schloss Dagstuhl, 2017. s. 1-29. ISBN: 978-3-95977-035-4

POTUŽÁK, T., LIPKA, R., BRADA, P. Interface-based Semi-automated Testing of Software Components. In Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Los Alamitos: IEEE, 2017. s. 1335-1344. ISBN: 978-83-946253-7-5 , ISSN: 2300-5963

PÍCHA, P., BRADA, P., RAMSAUER, R., MAUERER, W. Towards Architect’s Activity Detection Through a Common Model for Project Pattern Analysis. In 2017 IEEE International Conference on Software Architecture Workshops. Danvers: IEEE, 2017. s. 175-178. ISBN: 978-1-5090-4793-2

BRADA, P., HOLÝ, L., ČMOLÍK, L., TUŠLA, T., KUBÁSEK, Š., HARAG, P. Visual Interaction Methods for Improved Exploration of Large AST Graphs. Oracle America, Inc., 2017.

BRADA, P., KOUTNÝ, T. Zajištění kybernetické bezpečnosti na železnici – optimalizace výpočtu váhového rozložení kódů. AŽD Praha s. r. o., 2017.

PÍCHA, P., BRADA, P. ALM Tool Data Usage in Software Process Metamodeling. In Proceedings 42nd Euromicro Conference on Software Engineering and Advanced Applications SEAA 2016. Piscataway: IEEE, 2016. s. 1-8. ISBN: 978-1-5090-2819-1

DANĚK, J., BRADA, P. Finding Optimal Compatible Set of Software Components Using Integer Linear Programming. In SOFSEM 2016: Theory and Practice of Computer Science. Heidelberg: Springer, 2016. s. 457-468. ISBN: 978-3-662-49191-1 , ISSN: 0302-9743

HEROUT, P., BRADA, P., PÍCHA, P. Hodnocení bezpečnosti software radioblokové centrály RBC. AZD Praha, s.r.o., 2016.

BRADA, P., JEŽEK, K. Ověření funkčnosti ovladače identifikačních karet. Openmatics s.r.o., 2016.

HEROUT, P., BRADA, P. UML-test Application for Automated Validation of Students´ UML Class Diagram. In Proceedings of the 29th IEEE Conference on Software Engineering Education and Training, CSEET 2016. Piscataway: IEEE, 2016. s. 222-226. ISBN: 978-1-5090-0765-3

DIETRICH, J., JEŽEK, K., BRADA, P. What Java developers know about compatibility, and why this matters. Journal of Empirical Software Engineering, 2016, roč. 21, č. 3, s. 1371-1396. ISSN: 1573-7616

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

HOLÝ, L., MALÝ, I., ČMOLÍK, L., JEŽEK, K., BRADA, P. An Interactive UML-like Visualization for Large Software Diagrams. Research Journal of Applied Sciences, Engineering and Technology, 2015, roč. 11, č. 4, s. 355-371. ISSN: 2040-7459

BRADA, P., HOLÝ, L., PÍCHA, P. Analýza a návrh zlepšení procesů výroby SW v CCA Group a.s.. CCA Group a.s., 2015.

HEROUT, P., BRADA, P. Duck Testing Enhancements for Automated Validation of Student Programmes. In CSEDU 2015 7th International Conference on Computer Supported Education, Proceedings Volume 1. Setúbal: SciTePress, 2015. s. 228-234. ISBN: 978-989-758-107-6

JEŽEK, K., DIETRICH, J., BRADA, P. How Java APIs break ? An empirical study. Information and Software Technology, 2015, roč. 65, č. 2, s. 129-146. ISSN: 0950-5849

BRADA, P., JEŽEK, K. Repository and meta-data design for efficient component consistency verification. Science of Computer Programming, 2015, roč. 97, č. 3, s. 349-365. ISSN: 0167-6423

HEROUT, P., BRADA, P., PÍCHA, P. Stanovisko hodnotitelů bezpečnosti softwarové části k postupům implementace TB GP JAZZ pro potřeby GA RBC. AŽD Praha, 2015.

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

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] 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] JEŽEK, K., BRADA, P. Formalisation of a Generic Extra-Functional Properties Framework. In Evaluation of Novel Approaches to Software Engineering. Heidelberg: Springer, 2013. s. 203-217. ISBN: 978-3-642-32340-9 , ISSN: 1865-0929

[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

[1] JEŽEK, K., HOLÝ, L., SLEZÁČEK, A., BRADA, P. Software Components Compatibility Verification Based on Static Byte-Code Analysis. In SEAA 2013. Piscataway: IEEE - CPS, 2013. s. 145-152. ISBN: 978-0-7695-5091-6

[1] JEŽEK, K., HOLÝ, L., BRADA, P. Static Component Compatibility Visualisation for Various Component Models. In VL/HCC 2013. Piscataway: IEEE, 2013. s. 191-192. ISBN: 978-1-4799-0369-6

[1] JEŽEK, K., HOLÝ, L., BRADA, P. Supplying Compiler´s Static CompatibilityChecks by the Analysis of Third-party Libraries. In Proceedings of the 17th European Conference on Software maintenance and Reengineering. Los Alamitos: IEEE, 2013. s. 375-378. ISBN: 978-0-7695-4948-4 , ISSN: 1534-5351

ŠNAJBERK, J., HOLÝ, L., BRADA, P. AIVA vs UML: Comparison of Component Application Visualizations in a Case-Study. In Information Visualization. Los Alamitos: IEEE - CPS, 2012. s. 54-61. ISBN: 978-0-7695-4771-8

ŠNAJBERK, J., HOLÝ, L., JEŽEK, K., BRADA, P. An Advanced Interactive Visualization Approach for Component-Based Software: A User Study. In ICSEA 2012. Lisbon: IARIA, 2012. s. 213-219. ISBN: 978-1-61208-230-1

ŠNAJBERK, J., JEŽEK, K., BRADA, P. An Advanced Interactive Visualization Approach with Extra Functional Properties. In VL/HCC´2012. Los Alamitos: IEEE, 2012. s. 267-268. ISBN: 978-1-4673-0850-2

ŠNAJBERK, J., BRADA, P. ComAV - a component application visualization tools, Use of reverse engineering and interactivity in visualization for component software comprehension i. In IVAPP 2012. Setúbal: SciTePress, 2012. s. 755-758. ISBN: 978-989-8565-02-0

JEŽEK, K., HOLÝ, L., BRADA, P. Dependency Injection Refined by Extra-functional Properties. In Visual languages and Human-Centric Computing. Los Alamitos: IEEE, 2012. s. 255-256. ISBN: 978-1-4673-0850-2

JEŽEK, K., BRADA, P., HOLÝ, L. Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties. In TOOLS 2012. Berlin: Springer, 2012. s. 108-123. ISBN: 978-3-642-30560-3 , ISSN: 0302-9743

BRADA, P., JEŽEK, K. Ensuring Component Application Consistency on Small Devices: A Repository- Based Approach. In SEAA 2012. Los Alamitos: IEEE, 2012. s. 109-116. ISBN: 978-0-7695-4790-9

HOLÝ, L., ŠNAJBERK, J., BRADA, P. Evaluating component architecture visualization tools. In IVAPP 2012. Setúbal: SciTePress, 2012. s. 737-742. ISBN: 978-989-8565-02-0

HOLÝ, L., JEŽEK, K., ŠNAJBERK, J., BRADA, P. Lowering Visual Clutter in Large Component Diagrams. In Information Visualization. Piscataway: IEEE - CPS, 2012. s. 36-41. ISBN: 978-0-7695-4771-8

HOLÝ, L., ŠNAJBERK, J., BRADA, P. Lowering Visual Clutter of Clusters In Component Diagrams. In ICSEA 2012. [S.l.]: XPS, 2012. s. 304-307. ISBN: 978-1-61208-230-1

BRADA, P. Properties and Verification of Component-Based Systems. 1. vyd. Plzeň : 2012, 36 s.

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

HOLÝ, L., BRADA, P. Viewport for component diagrams. In Graph Drawing. Berlin: Springer, 2012. s. 442-443. ISBN: 978-3-642-25877-0 , ISSN: 0302-9743

HOLÝ, L., ŠNAJBERK, J., BRADA, P. Visual clutter reduction for UML component diagrams: A tool presentation. In Visual languages and Human-Centric Computing. Los Alamitos: IEEE, 2012. s. 253-254. ISBN: 978-1-4673-0850-2

JEŽEK, K., BRADA, P. Correct matching of components with extra-functional properties. In ENASE 2011. Lisabon: SciTePress, 2011. s. 155-166. ISBN: 978-989-8425-65-2

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

BRADA, P. Enhanced type-based component compatibility using deployment context information. Electronic Notes in Theoretical Computer Science, 2011, roč. 279, č. 2, s. 17-31. ISSN: 1571-0661

ŠNAJBERK, J., BRADA, P. ENT: A Generic Meta-Model for the Description of Component-Based Applications. Electronic Notes in Theoretical Computer Science, 2011, roč. 279, č. 2, s. 59-73. ISSN: 1571-0661

JEŽEK, K., BRADA, P. Extra-functional properties framework with configuration based on deployment environment, Tool demonstration and case-study. In Proceedings International Conference on knowledge Management and Information Sharing. Setúbal: SciTePress, 2011. s. 322-325. ISBN: 978-989-8425-81-2

ŠNAJBERK, J., BRADA, P. Interactive component visualization, Visual representation of component-based applications using tne ENT meta-model. In ENASE 2011. Lisabon: SciTePress, 2011. s. 218-225. ISBN: 978-989-8425-65-2

BAUML, J., BRADA, P. Reconstruction of Type Information from Java Bytecode for Component Compatibility. Electronic Notes in Theoretical Computer Science, 2011, roč. 264, č. 4, s. 3-18. ISSN: 1571-0661

JEŽEK, K., BRADA, P. Compatibility verification of components in terms of functional and extra-functional properties. In ICEIS 2010. Setúbal: SciTePress, 2010. s. 510-514. ISBN: 978-989-8425-06-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

ŠNAJBERK, J., BRADA, P. Implementation of a data layer for the visualization of component-based applications. In Information Technologies - Applications and Theory. Seňa: PONT s.r.o., 2010. s. 55-62. ISBN: 978-80-970179-4-1

BAUML, J., BRADA, P. Reconstruction of Type Information from Java Bytecode for Component Compatibility. Pafos, Kypr, 2010.

JEŽEK, K., BRADA, P., ŠTĚPÁN, P. Towards Context Independent Extra-functional Properties Descriptor for Components. Electronic Notes in Theoretical Computer Science, 2010, roč. 204, č. 1, s. 55-71. ISSN: 1571-0661

[ Back ]

Former members

• Ing. Štěpán Cais
• Ing. Jakub Daněk
• Ing. Kamil Ježek, Ph.D.
• Ing. Eduard Chromík
• Doc. Ing. Stanislav Racek, CSc.
• Ing. Lenka Rychtářová.
• Ing. Jaroslav Šnajberk, Ph.D.