publications:
- title: "Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.53"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.53"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/JezekHB13"
  researchr: "https://researchr.org/publication/JezekHB13"
  cites: 0
  citedby: 0
  pages: "375-378"
  booktitle: "17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013"
  editor:
  - name: "Anthony Cleve"
    link: "https://researchr.org/alias/anthony-cleve"
  - name: "Filippo Ricca"
    link: "https://researchr.org/alias/filippo-ricca"
  - name: "Maura Cerioli"
    link: "https://researchr.org/alias/maura-cerioli"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4673-5833-0"
  kind: "inproceedings"
  key: "JezekHB13"
- title: "Metadata Support for Safe Component Upgrades"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2002"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045140"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045140"
  researchr: "https://researchr.org/publication/Brada02"
  cites: 0
  citedby: 0
  pages: "1017-1021"
  booktitle: "26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1727-7"
  kind: "inproceedings"
  key: "Brada02"
- title: "Interactive Component Visualization - Visual Representation of Component-based Applications using the ENT Meta-model"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2011"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/enase/SnajberkB11"
  researchr: "https://researchr.org/publication/SnajberkB11"
  cites: 0
  citedby: 0
  pages: "218-225"
  booktitle: "ENASE 2011 - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, Beijing, China, 8-11 June, 2011"
  editor:
  - name: "Leszek A. Maciaszek"
    link: "https://researchr.org/alias/leszek-a.-maciaszek"
  - name: "Kang Zhang"
    link: "https://researchr.org/alias/kang-zhang"
  publisher: "SciTePress"
  isbn: "978-989-8425-57-7"
  kind: "inproceedings"
  key: "SnajberkB11"
- title: "High-Level Simulation of Embedded Systems: Experiences from the FIT Project"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Petr Grillinger"
    link: "https://researchr.org/alias/petr-grillinger"
  - name: "Stanislav Racek"
    link: "https://researchr.org/alias/stanislav-racek"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240245abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/isorc/2004/2124/00/21240245abs.htm"
  researchr: "https://researchr.org/publication/BradaGR04"
  cites: 0
  citedby: 0
  pages: "245-248"
  booktitle: "7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2124-X"
  kind: "inproceedings"
  key: "BradaGR04"
- title: "ENT: A Generic Meta-Model for the Description of Component-Based Applications"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.11.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.11.012"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/SnajberkB11"
  researchr: "https://researchr.org/publication/SnajberkB11-0"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "279"
  number: "2"
  pages: "59-73"
  kind: "article"
  key: "SnajberkB11-0"
- title: "Dependency injection refined by extra-functional properties"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/VLHCC.2012.6344541"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2012.6344541"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/JezekHB12"
  researchr: "https://researchr.org/publication/JezekHB12"
  cites: 0
  citedby: 0
  pages: "255-256"
  booktitle: "2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012"
  editor:
  - name: "Martin Erwig"
    link: "https://researchr.org/alias/martin-erwig"
  - name: "Gem Stapleton"
    link: "https://researchr.org/alias/gem-stapleton"
  - name: "Gennaro Costagliola"
    link: "https://researchr.org/alias/gennaro-costagliola"
  publisher: "IEEE"
  isbn: "978-1-4673-0852-6"
  kind: "inproceedings"
  key: "JezekHB12"
- title: "An Advanced Interactive Visualization Approach with extra functional properties"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/VLHCC.2012.6344547"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2012.6344547"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/SnajberkJB12"
  researchr: "https://researchr.org/publication/SnajberkJB12"
  cites: 0
  citedby: 0
  pages: "267-268"
  booktitle: "2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012"
  editor:
  - name: "Martin Erwig"
    link: "https://researchr.org/alias/martin-erwig"
  - name: "Gem Stapleton"
    link: "https://researchr.org/alias/gem-stapleton"
  - name: "Gennaro Costagliola"
    link: "https://researchr.org/alias/gennaro-costagliola"
  publisher: "IEEE"
  isbn: "978-1-4673-0852-6"
  kind: "inproceedings"
  key: "SnajberkJB12"
- title: "Enhanced Type-based Component Compatibility Using Deployment Context Information"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.11.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.11.009"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Brada11"
  researchr: "https://researchr.org/publication/Brada11"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "279"
  number: "2"
  pages: "17-31"
  kind: "article"
  key: "Brada11"
- title: "Component Change and Version Identification in SOFA"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "1999"
  researchr: "https://researchr.org/publication/brada99component"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of SOFSEM'99"
  series: "LNCS 1725"
  address: "Milovy, Czech Republic"
  publisher: "Springer-Verlag"
  kind: "inproceedings"
  key: "brada99component"
- title: "Visualization of Component-Based Applications Structure Using AIVA"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2013"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.60"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.60"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csmr/SnajberkHB13"
  researchr: "https://researchr.org/publication/SnajberkHB13"
  cites: 0
  citedby: 0
  pages: "409-412"
  booktitle: "17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013"
  editor:
  - name: "Anthony Cleve"
    link: "https://researchr.org/alias/anthony-cleve"
  - name: "Filippo Ricca"
    link: "https://researchr.org/alias/filippo-ricca"
  - name: "Maura Cerioli"
    link: "https://researchr.org/alias/maura-cerioli"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4673-5833-0"
  kind: "inproceedings"
  key: "SnajberkHB13"
- title: "Practical Verification of Component Substitutability Using Subtype Relation"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Lukas Valenta"
    link: "https://researchr.org/alias/lukas-valenta"
  year: "2006"
  doi: "http://dx.doi.org/10.1109/EUROMICRO.2006.50"
  links:
    doi: "http://dx.doi.org/10.1109/EUROMICRO.2006.50"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/BradaV06"
  cites: 0
  citedby: 0
  pages: "38-45"
  booktitle: "32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "BradaV06"
- title: "Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  year: "2012"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.48"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.48"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/euromicro/BradaJ12"
  researchr: "https://researchr.org/publication/BradaJ12"
  cites: 0
  citedby: 0
  pages: "109-116"
  booktitle: "38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012"
  editor:
  - name: "Vittorio Cortellessa"
    link: "https://researchr.org/alias/vittorio-cortellessa"
  - name: "Henry Muccini"
    link: "https://researchr.org/alias/henry-muccini"
  - name: "Onur Demirörs"
    link: "https://researchr.org/alias/onur-demir%C3%B6rs"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4673-2451-9"
  kind: "inproceedings"
  key: "BradaJ12"
- title: "Lowering Visual Clutter in Large Component Diagrams"
  author:
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/IV.2012.17"
  links:
    doi: "http://dx.doi.org/10.1109/IV.2012.17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iv/HolyJSB12"
  researchr: "https://researchr.org/publication/HolyJSB12"
  cites: 0
  citedby: 0
  pages: "36-41"
  booktitle: "15th International Conference on Information Visualisation, IV 2011, London, United Kingdom, July 13-15, 2011"
  editor:
  - name: "Ebad Banissi"
    link: "https://researchr.org/alias/ebad-banissi"
  - name: "Stefan Bertschi"
    link: "https://researchr.org/alias/stefan-bertschi"
  - name: "Remo Aslak Burkhard"
    link: "https://researchr.org/alias/remo-aslak-burkhard"
  - name: "Urska Cvek"
    link: "https://researchr.org/alias/urska-cvek"
  - name: "Martin J. Eppler"
    link: "https://researchr.org/alias/martin-j.-eppler"
  - name: "Camilla Forsell"
    link: "https://researchr.org/alias/camilla-forsell"
  - name: "Georges G. Grinstein"
    link: "https://researchr.org/alias/georges-g.-grinstein"
  - name: "Jimmy Johansson"
    link: "https://researchr.org/alias/jimmy-johansson"
  - name: "Sarah Kenderdine"
    link: "https://researchr.org/alias/sarah-kenderdine"
  - name: "Francis T. Marchese"
    link: "https://researchr.org/alias/francis-t.-marchese"
  - name: "Carsten Maple"
    link: "https://researchr.org/alias/carsten-maple"
  - name: "Marjan Trutschl"
    link: "https://researchr.org/alias/marjan-trutschl"
  - name: "Muhammad Sarfraz"
    link: "https://researchr.org/alias/muhammad-sarfraz"
  - name: "Liz J. Stuart"
    link: "https://researchr.org/alias/liz-j.-stuart"
  - name: "Anna Ursyn"
    link: "https://researchr.org/alias/anna-ursyn"
  - name: "Theodor G. Wyeld"
    link: "https://researchr.org/alias/theodor-g.-wyeld"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4577-0868-8"
  kind: "inproceedings"
  key: "HolyJSB12"
- title: "AIVA vs UML: Comparison of Component Application Visualizations in a Case-study"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/IV.2012.20"
  links:
    doi: "http://dx.doi.org/10.1109/IV.2012.20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iv/SnajberkHB12"
  researchr: "https://researchr.org/publication/SnajberkHB12"
  cites: 0
  citedby: 0
  pages: "54-61"
  booktitle: "15th International Conference on Information Visualisation, IV 2011, London, United Kingdom, July 13-15, 2011"
  editor:
  - name: "Ebad Banissi"
    link: "https://researchr.org/alias/ebad-banissi"
  - name: "Stefan Bertschi"
    link: "https://researchr.org/alias/stefan-bertschi"
  - name: "Remo Aslak Burkhard"
    link: "https://researchr.org/alias/remo-aslak-burkhard"
  - name: "Urska Cvek"
    link: "https://researchr.org/alias/urska-cvek"
  - name: "Martin J. Eppler"
    link: "https://researchr.org/alias/martin-j.-eppler"
  - name: "Camilla Forsell"
    link: "https://researchr.org/alias/camilla-forsell"
  - name: "Georges G. Grinstein"
    link: "https://researchr.org/alias/georges-g.-grinstein"
  - name: "Jimmy Johansson"
    link: "https://researchr.org/alias/jimmy-johansson"
  - name: "Sarah Kenderdine"
    link: "https://researchr.org/alias/sarah-kenderdine"
  - name: "Francis T. Marchese"
    link: "https://researchr.org/alias/francis-t.-marchese"
  - name: "Carsten Maple"
    link: "https://researchr.org/alias/carsten-maple"
  - name: "Marjan Trutschl"
    link: "https://researchr.org/alias/marjan-trutschl"
  - name: "Muhammad Sarfraz"
    link: "https://researchr.org/alias/muhammad-sarfraz"
  - name: "Liz J. Stuart"
    link: "https://researchr.org/alias/liz-j.-stuart"
  - name: "Anna Ursyn"
    link: "https://researchr.org/alias/anna-ursyn"
  - name: "Theodor G. Wyeld"
    link: "https://researchr.org/alias/theodor-g.-wyeld"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4577-0868-8"
  kind: "inproceedings"
  key: "SnajberkHB12"
- title: "A Visualization Tool for Reverse-Engineering of Complex Component Applications"
  author:
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/ICSM.2013.82"
  links:
    doi: "http://dx.doi.org/10.1109/ICSM.2013.82"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/HolySBJ13"
  researchr: "https://researchr.org/publication/HolySBJ13"
  cites: 0
  citedby: 0
  pages: "500-503"
  booktitle: "2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "HolySBJ13"
- title: "Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2011"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ic3k/JezekB11"
  researchr: "https://researchr.org/publication/JezekB11-0"
  cites: 0
  citedby: 0
  pages: "322-325"
  booktitle: "KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing, Paris, France, 26-29 October, 2011"
  editor:
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  - name: "Kecheng Liu"
    link: "https://researchr.org/alias/kecheng-liu"
  publisher: "SciTePress"
  isbn: "978-989-8425-81-2"
  kind: "inproceedings"
  key: "JezekB11-0"
- title: "Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework"
  author:
  - name: "Tomas Potuzak"
    link: "https://researchr.org/alias/tomas-potuzak"
  - name: "Richard Lipka"
    link: "https://researchr.org/alias/richard-lipka"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Pavel Herout"
    link: "https://researchr.org/alias/pavel-herout"
  year: "2012"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.18"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/euromicro/PotuzakLBH12"
  researchr: "https://researchr.org/publication/PotuzakLBH12"
  cites: 0
  citedby: 0
  pages: "175-182"
  booktitle: "38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012"
  editor:
  - name: "Vittorio Cortellessa"
    link: "https://researchr.org/alias/vittorio-cortellessa"
  - name: "Henry Muccini"
    link: "https://researchr.org/alias/henry-muccini"
  - name: "Onur Demirörs"
    link: "https://researchr.org/alias/onur-demir%C3%B6rs"
  publisher: "IEEE Computer Society"
  isbn: "978-1-4673-2451-9"
  kind: "inproceedings"
  key: "PotuzakLBH12"
- title: "A Look at Current Component Models from the Black-Box Perspective"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.91"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.91"
  researchr: "https://researchr.org/publication/Brada09"
  cites: 0
  citedby: 0
  pages: "388-395"
  booktitle: "35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3784-9"
  kind: "inproceedings"
  key: "Brada09"
- title: "Reconstruction of Type Information from Java Bytecode for Component Compatibility"
  author:
  - name: "Jaroslav Bauml"
    link: "https://researchr.org/alias/jaroslav-bauml"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.02.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.02.002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/BaumlB11"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/BaumlB11"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "264"
  number: "4"
  pages: "3-18"
  kind: "article"
  key: "BaumlB11"
- title: "Visual clutter reduction for UML component diagrams: A tool presentation"
  author:
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/VLHCC.2012.6344540"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2012.6344540"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/HolySB12"
  researchr: "https://researchr.org/publication/HolySB12"
  cites: 0
  citedby: 0
  pages: "253-254"
  booktitle: "2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012"
  editor:
  - name: "Martin Erwig"
    link: "https://researchr.org/alias/martin-erwig"
  - name: "Gem Stapleton"
    link: "https://researchr.org/alias/gem-stapleton"
  - name: "Gennaro Costagliola"
    link: "https://researchr.org/alias/gennaro-costagliola"
  publisher: "IEEE"
  isbn: "978-1-4673-0852-6"
  kind: "inproceedings"
  key: "HolySB12"
- title: "On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project"
  author:
  - name: "Jiri Hynek"
    link: "https://researchr.org/alias/jiri-hynek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2007"
  doi: "http://urn.kb.se/resolve?urn=urn:nbn:se:elpub-119_elpub2007"
  links:
    doi: "http://urn.kb.se/resolve?urn=urn:nbn:se:elpub-119_elpub2007"
  researchr: "https://researchr.org/publication/HynekB07"
  cites: 0
  citedby: 0
  pages: "257-268"
  booktitle: "Openness in Digital Publishing: Awareness, Discovery and Access - Proceedings of the 11th International Conference on Electronic Publishing held in Vienna - ELPUB 2007, Vienna, Austria, June 13-15, 2007. Proceedings"
  editor:
  - name: "Leslie Chan"
    link: "https://researchr.org/alias/leslie-chan"
  - name: "Bob Martens"
    link: "https://researchr.org/alias/bob-martens"
  isbn: "978-3-85437-292-9"
  kind: "inproceedings"
  key: "HynekB07"
- title: "Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2010"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iceis/JezekB10"
  researchr: "https://researchr.org/publication/JezekB10"
  cites: 0
  citedby: 0
  pages: "510-514"
  booktitle: "ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010"
  editor:
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  - name: "José Cordeiro"
    link: "https://researchr.org/alias/jos%26eacute%3B-cordeiro"
  publisher: "SciTePress"
  isbn: "978-989-8425-06-5"
  kind: "inproceedings"
  key: "JezekB10"
- title: "ComAV - A Component Application Visualization Tool - Use of Reverse Engineering and Interactivity in Visualization for Component Software Comprehension"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/grapp/SnajberkB12"
  researchr: "https://researchr.org/publication/SnajberkB12"
  cites: 0
  citedby: 0
  pages: "755-758"
  booktitle: "GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012"
  editor:
  - name: "Paul Richard"
    link: "https://researchr.org/alias/paul-richard"
  - name: "Martin Kraus"
    link: "https://researchr.org/alias/martin-kraus"
  - name: "Robert S. Laramee"
    link: "https://researchr.org/alias/robert-s.-laramee"
  - name: "José Braz"
    link: "https://researchr.org/alias/jos%C3%A9-braz"
  publisher: "SciTePress"
  isbn: "978-989-8565-02-0"
  kind: "inproceedings"
  key: "SnajberkB12"
- title: "SimCo - Hybrid Simulator for Testing of Component Based Applications"
  author:
  - name: "Richard Lipka"
    link: "https://researchr.org/alias/richard-lipka"
  - name: "Tomas Potuzak"
    link: "https://researchr.org/alias/tomas-potuzak"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Pavel Herout"
    link: "https://researchr.org/alias/pavel-herout"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-35843-2_36"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35843-2_36"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sofsem/LipkaPBH13"
  researchr: "https://researchr.org/publication/LipkaPBH13"
  cites: 0
  citedby: 0
  pages: "420-431"
  booktitle: "SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings"
  editor:
  - name: "Peter van Emde Boas"
    link: "https://researchr.org/alias/peter-van-emde-boas"
  - name: "Frans C. A. Groen"
    link: "https://researchr.org/alias/frans-c.-a.-groen"
  - name: "Giuseppe F. Italiano"
    link: "https://researchr.org/alias/giuseppe-f.-italiano"
  - name: "Jerzy R. Nawrocki"
    link: "https://researchr.org/alias/jerzy-r.-nawrocki"
  - name: "Harald Sack"
    link: "https://researchr.org/alias/harald-sack"
  volume: "7741"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-35843-2"
  kind: "inproceedings"
  key: "LipkaPBH13"
- title: "Static component compatibility visualisation for various component models"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/VLHCC.2013.6645263"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2013.6645263"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/JezekHB13"
  researchr: "https://researchr.org/publication/JezekHB13-0"
  cites: 0
  citedby: 0
  pages: "191-192"
  booktitle: "2013 IEEE Symposium on Visual Languages and Human Centric Computing, San Jose, CA, USA, September 15-19, 2013"
  editor:
  - name: "Caitlin Kelleher"
    link: "https://researchr.org/alias/caitlin-kelleher"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Stefan Sauer"
    link: "https://researchr.org/alias/stefan-sauer"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "JezekHB13-0"
- title: "Viewport for Component Diagrams"
  author:
  - name: "Holy, Lukas"
    link: "https://researchr.org/alias/holy%2C-lukas"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  note: "10.1007/978-3-642-25878-7_44"
  links:
    "url": "http://dx.doi.org/10.1007/978-3-642-25878-7_44"
  researchr: "https://researchr.org/publication/holy2011viewport"
  cites: 0
  citedby: 0
  pages: "443-444"
  booktitle: "Graph Drawing"
  volume: "7034"
  series: "Lecture Notes in Computer Science (LNCS)"
  publisher: "Springer Berlin / Heidelberg"
  isbn: "978-3-642-25877-0"
  kind: "incollection"
  key: "holy2011viewport"
- title: "Component Change and Version Identification in SOFA"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1725/17250360.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1725/17250360.htm"
  researchr: "https://researchr.org/publication/Brada99"
  cites: 0
  citedby: 0
  pages: "360-368"
  booktitle: "SOFSEM  99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings"
  editor:
  - name: "Jan Pavelka"
    link: "https://researchr.org/alias/jan-pavelka"
  - name: "Gerard Tel"
    link: "https://researchr.org/alias/gerard-tel"
  - name: "Miroslav Bartosek"
    link: "https://researchr.org/alias/miroslav-bartosek"
  volume: "1725"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66694-X"
  kind: "inproceedings"
  key: "Brada99"
- title: "Automated Versioning in OSGi: A Mechanism for Component Software Consistency Guarantee"
  author:
  - name: "Jaroslav Bauml"
    link: "https://researchr.org/alias/jaroslav-bauml"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.80"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.80"
  tags:
  - "software components"
  - "software component"
  - "consistency"
  researchr: "https://researchr.org/publication/BaumlB09"
  cites: 0
  citedby: 0
  pages: "428-435"
  booktitle: "35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3784-9"
  kind: "inproceedings"
  key: "BaumlB09"
- title: "Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SEAA.2008.51"
  links:
    doi: "http://dx.doi.org/10.1109/SEAA.2008.51"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/Brada08"
  cites: 0
  citedby: 0
  pages: "92-99"
  booktitle: "34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "Brada08"
- title: "Implementation of Language for Extra-functional Properties for Reusable Software Components"
  author:
  - name: "Kamil Ježek"
    link: "https://researchr.org/alias/kamil-je%C5%BEek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2009"
  month: "September"
  tags:
  - "reusable components"
  - "software components"
  - "software component"
  - "reuse"
  researchr: "https://researchr.org/publication/jezek09implementation"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of 35th Euromicro conference Work in Progress session"
  address: "Patras, Greece"
  kind: "inproceedings"
  key: "jezek09implementation"
- title: "Towards Context Independent Extra-functional Properties Descriptor for Components"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Petr Stepan"
    link: "https://researchr.org/alias/petr-stepan"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.005"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/JezekBS10"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/JezekBS10"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "264"
  number: "1"
  pages: "55-71"
  kind: "article"
  key: "JezekBS10"
- title: "Implementation of a data layer for the visualization of component-based applications"
  author:
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2010"
  doi: "http://ceur-ws.org/Vol-683/paper9.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-683/paper9.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/itat/SnajberkB10"
  researchr: "https://researchr.org/publication/SnajberkB10"
  cites: 0
  citedby: 0
  pages: "55-62"
  booktitle: "Proceedings of the Conference on Theory and Practice of Information Technologies, ITAT 2010, Hotel Smrekovica, Veľká Fatra, Slovak Republic, September 21-25, 2010"
  editor:
  - name: "Dana Pardubská"
    link: "https://researchr.org/alias/dana-pardubsk%C3%A1"
  volume: "683"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "SnajberkB10"
- title: "Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties"
  author:
  - name: "Kamil Jezek"
    link: "https://researchr.org/alias/kamil-jezek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-30561-0_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-30561-0_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tools/JezekBH12"
  researchr: "https://researchr.org/publication/JezekBH12"
  cites: 0
  citedby: 0
  pages: "108-123"
  booktitle: "Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings"
  editor:
  - name: "Carlo A. Furia"
    link: "http://bugcounting.net/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  volume: "7304"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-30560-3"
  kind: "inproceedings"
  key: "JezekBH12"
- title: "Evaluating Component Architecture Visualization Tools - Criteria and Case Study"
  author:
  - name: "Lukas Holy"
    link: "https://researchr.org/alias/lukas-holy"
  - name: "Jaroslav Snajberk"
    link: "https://researchr.org/alias/jaroslav-snajberk"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2012"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/grapp/HolySB12"
  researchr: "https://researchr.org/publication/HolySB12-0"
  cites: 0
  citedby: 0
  pages: "737-742"
  booktitle: "GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012"
  editor:
  - name: "Paul Richard"
    link: "https://researchr.org/alias/paul-richard"
  - name: "Martin Kraus"
    link: "https://researchr.org/alias/martin-kraus"
  - name: "Robert S. Laramee"
    link: "https://researchr.org/alias/robert-s.-laramee"
  - name: "José Braz"
    link: "https://researchr.org/alias/jos%C3%A9-braz"
  publisher: "SciTePress"
  isbn: "978-989-8565-02-0"
  kind: "inproceedings"
  key: "HolySB12-0"
- title: "Verification of SimCo - Simulation tool for testing of component-based application"
  author:
  - name: "Richard Lipka"
    link: "https://researchr.org/alias/richard-lipka"
  - name: "Tomas Potuzak"
    link: "https://researchr.org/alias/tomas-potuzak"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Pavel Herout"
    link: "https://researchr.org/alias/pavel-herout"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/EUROCON.2013.6625023"
  links:
    doi: "http://dx.doi.org/10.1109/EUROCON.2013.6625023"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eurocon/LipkaPBH13"
  researchr: "https://researchr.org/publication/LipkaPBH13-0"
  cites: 0
  citedby: 0
  pages: "467-474"
  booktitle: "Proceedings of Eurocon 2013, International Conference on Computer as a Tool, Zagreb, Croatia, July 1-4, 2013"
  publisher: "IEEE"
  isbn: "978-1-4673-2230-0"
  kind: "inproceedings"
  key: "LipkaPBH13-0"
- title: "A Look at Current Component Models from the Black-box Perspective"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2009"
  researchr: "https://researchr.org/publication/brada09look"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of 35th Euromicro Conference on Software Engineering and Advanced Applications"
  address: "Patras, Greece"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "brada09look"
- title: "The CoSi Component Model: Reviving the Black-Box Nature of Components"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87891-9_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87891-9_22"
  researchr: "https://researchr.org/publication/Brada08%3A0"
  cites: 0
  citedby: 0
  pages: "318-333"
  booktitle: "Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings"
  editor:
  - name: "Michel R. V. Chaudron"
    link: "http://www.win.tue.nl/~mchaudro/"
  - name: "Clemens A. Szyperski"
    link: "https://researchr.org/alias/clemens-a.-szyperski"
  - name: "Ralf Reussner"
    link: "https://researchr.org/alias/ralf-reussner"
  volume: "5282"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87890-2"
  kind: "inproceedings"
  key: "Brada08:0"
- title: "Automated Versioning in OSGi: a Mechanism for Component Software Consistency Guarantee"
  author:
  - name: "Jaroslav Bauml"
    link: "https://researchr.org/alias/jaroslav-bauml"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2009"
  tags:
  - "software components"
  - "software component"
  - "consistency"
  researchr: "https://researchr.org/publication/bauml09automated"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of Euromicro SEAA"
  address: "Patras, Greece"
  publisher: "IEEE CS"
  kind: "inproceedings"
  key: "bauml09automated"
- title: "Towards Context Independent Extra-Functional Properties Descriptor for Components"
  author:
  - name: "Kamil Ježek"
    link: "https://researchr.org/alias/kamil-je%C5%BEek"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Petr Štěpán"
    link: "https://researchr.org/alias/petr-%C5%A1t%C4%9Bp%C3%A1n"
  year: "2010"
  month: "March"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/jezek10towards"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)"
  series: "Electronic Notes in Theoretical Computer Science"
  address: "Paphos, Cyprus"
  kind: "inproceedings"
  key: "jezek10towards"
- title: "Reconstruction of Type Information from Java Bytecode for Component Compatibility"
  author:
  - name: "Jaroslav Bauml"
    link: "https://researchr.org/alias/jaroslav-bauml"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2010"
  month: "March"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/bauml10reconstruction"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 5th workshop on Bytecode Semantics, Verification, Analysis and Transformation (Satellite Event of ETAPS 2010)"
  address: "Paphos, Cyprus"
  publisher: "Electronic Notes in Theoretical Computer Science"
  kind: "incollection"
  key: "bauml10reconstruction"
- title: "Simulation Approach to Embedded System Programming and Testing"
  author:
  - name: "Petr Grillinger"
    link: "https://researchr.org/alias/petr-grillinger"
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  - name: "Stanislav Racek"
    link: "https://researchr.org/alias/stanislav-racek"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/ecbs/2004/2125/00/21250248abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ecbs/2004/2125/00/21250248abs.htm"
  tags:
  - "testing"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GrillingerBR04"
  cites: 0
  citedby: 0
  pages: "248-254"
  booktitle: "11th IEEE  International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2125-8"
  kind: "inproceedings"
  key: "GrillingerBR04"
- title: "Component revision identification based on IDL/ADL component specification"
  author:
  - name: "Premek Brada"
    link: "http://www.kiv.zcu.cz/~brada/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/503209.503250"
  links:
    doi: "http://doi.acm.org/10.1145/503209.503250"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Brada01"
  cites: 0
  citedby: 0
  pages: "297-298"
  booktitle: "ESEC / SIGSOFT FSE"
  kind: "inproceedings"
  key: "Brada01"