@inproceedings{JezekHB13,
  title = {Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries},
  author = {Kamil Jezek and Lukas Holy and Premek Brada},
  year = {2013},
  doi = {10.1109/CSMR.2013.53},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.53},
  researchr = {https://researchr.org/publication/JezekHB13},
  cites = {0},
  citedby = {0},
  pages = {375-378},
  booktitle = {CSMR},
}

@inproceedings{Brada02,
  title = {Metadata Support for Safe Component Upgrades},
  author = {Premek Brada},
  year = {2002},
  doi = {10.1109/CMPSAC.2002.1045140},
  url = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045140},
  researchr = {https://researchr.org/publication/Brada02},
  cites = {0},
  citedby = {0},
  pages = {1017-1021},
  booktitle = {compsac},
}

@inproceedings{SnajberkB11,
  title = {Interactive Component Visualization - Visual Representation of Component-based Applications using the ENT Meta-model},
  author = {Jaroslav Snajberk and Premek Brada},
  year = {2011},
  researchr = {https://researchr.org/publication/SnajberkB11},
  cites = {0},
  citedby = {0},
  pages = {218-225},
  booktitle = {ENASE},
}

@inproceedings{BradaGR04,
  title = {High-Level Simulation of Embedded Systems: Experiences from the FIT Project},
  author = {Premek Brada and Petr Grillinger and Stanislav Racek},
  year = {2004},
  url = {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 = {isorc},
}

@article{SnajberkB11-0,
  title = {ENT: A Generic Meta-Model for the Description of Component-Based Applications},
  author = {Jaroslav Snajberk and Premek Brada},
  year = {2011},
  doi = {10.1016/j.entcs.2011.11.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.11.012},
  researchr = {https://researchr.org/publication/SnajberkB11-0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {279},
  number = {2},
  pages = {59-73},
}

@inproceedings{JezekHB12,
  title = {Dependency injection refined by extra-functional properties},
  author = {Kamil Jezek and Lukas Holy and Premek Brada},
  year = {2012},
  doi = {10.1109/VLHCC.2012.6344541},
  url = {http://dx.doi.org/10.1109/VLHCC.2012.6344541},
  researchr = {https://researchr.org/publication/JezekHB12},
  cites = {0},
  citedby = {0},
  pages = {255-256},
  booktitle = {vl},
}

@inproceedings{SnajberkJB12,
  title = {An Advanced Interactive Visualization Approach with extra functional properties},
  author = {Jaroslav Snajberk and Kamil Jezek and Premek Brada},
  year = {2012},
  doi = {10.1109/VLHCC.2012.6344547},
  url = {http://dx.doi.org/10.1109/VLHCC.2012.6344547},
  researchr = {https://researchr.org/publication/SnajberkJB12},
  cites = {0},
  citedby = {0},
  pages = {267-268},
  booktitle = {vl},
}

@article{Brada11,
  title = {Enhanced Type-based Component Compatibility Using Deployment Context Information},
  author = {Premek Brada},
  year = {2011},
  doi = {10.1016/j.entcs.2011.11.009},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.11.009},
  researchr = {https://researchr.org/publication/Brada11},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {279},
  number = {2},
  pages = {17-31},
}

@inproceedings{brada99component,
  title = {Component Change and Version Identification in SOFA},
  author = {Premek Brada},
  year = {1999},
  researchr = {https://researchr.org/publication/brada99component},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of SOFSEM'99},
}

@inproceedings{SnajberkHB13,
  title = {Visualization of Component-Based Applications Structure Using AIVA},
  author = {Jaroslav Snajberk and Lukas Holy and Premek Brada},
  year = {2013},
  doi = {10.1109/CSMR.2013.60},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSMR.2013.60},
  researchr = {https://researchr.org/publication/SnajberkHB13},
  cites = {0},
  citedby = {0},
  pages = {409-412},
  booktitle = {CSMR},
}

@inproceedings{BradaV06,
  title = {Practical Verification of Component Substitutability Using Subtype Relation},
  author = {Premek Brada and Lukas Valenta},
  year = {2006},
  doi = {10.1109/EUROMICRO.2006.50},
  url = {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 = {euromicro},
}

@inproceedings{BradaJ12,
  title = {Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach},
  author = {Premek Brada and Kamil Jezek},
  year = {2012},
  doi = {10.1109/SEAA.2012.48},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.48},
  researchr = {https://researchr.org/publication/BradaJ12},
  cites = {0},
  citedby = {0},
  pages = {109-116},
  booktitle = {euromicro},
}

@inproceedings{HolyJSB12,
  title = {Lowering Visual Clutter in Large Component Diagrams},
  author = {Lukas Holy and Kamil Jezek and Jaroslav Snajberk and Premek Brada},
  year = {2012},
  doi = {10.1109/IV.2012.17},
  url = {http://dx.doi.org/10.1109/IV.2012.17},
  researchr = {https://researchr.org/publication/HolyJSB12},
  cites = {0},
  citedby = {0},
  pages = {36-41},
  booktitle = {IV},
}

@inproceedings{SnajberkHB12,
  title = {AIVA vs UML: Comparison of Component Application Visualizations in a Case-study},
  author = {Jaroslav Snajberk and Lukas Holy and Premek Brada},
  year = {2012},
  doi = {10.1109/IV.2012.20},
  url = {http://dx.doi.org/10.1109/IV.2012.20},
  researchr = {https://researchr.org/publication/SnajberkHB12},
  cites = {0},
  citedby = {0},
  pages = {54-61},
  booktitle = {IV},
}

@inproceedings{HolySBJ13,
  title = {A Visualization Tool for Reverse-Engineering of Complex Component Applications},
  author = {Lukas Holy and Jaroslav Snajberk and Premek Brada and Kamil Jezek},
  year = {2013},
  doi = {10.1109/ICSM.2013.82},
  url = {http://dx.doi.org/10.1109/ICSM.2013.82},
  researchr = {https://researchr.org/publication/HolySBJ13},
  cites = {0},
  citedby = {0},
  pages = {500-503},
  booktitle = {ICSM},
}

@inproceedings{JezekB11-0,
  title = {Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study},
  author = {Kamil Jezek and Premek Brada},
  year = {2011},
  researchr = {https://researchr.org/publication/JezekB11-0},
  cites = {0},
  citedby = {0},
  pages = {322-325},
  booktitle = {ic3k},
}

@inproceedings{PotuzakLBH12,
  title = {Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework},
  author = {Tomas Potuzak and Richard Lipka and Premek Brada and Pavel Herout},
  year = {2012},
  doi = {10.1109/SEAA.2012.18},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2012.18},
  researchr = {https://researchr.org/publication/PotuzakLBH12},
  cites = {0},
  citedby = {0},
  pages = {175-182},
  booktitle = {euromicro},
}

@inproceedings{Brada09,
  title = {A Look at Current Component Models from the Black-Box Perspective},
  author = {Premek Brada},
  year = {2009},
  doi = {10.1109/SEAA.2009.91},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.91},
  researchr = {https://researchr.org/publication/Brada09},
  cites = {0},
  citedby = {0},
  pages = {388-395},
  booktitle = {euromicro},
}

@article{BaumlB11,
  title = {Reconstruction of Type Information from Java Bytecode for Component Compatibility},
  author = {Jaroslav Bauml and Premek Brada},
  year = {2011},
  doi = {10.1016/j.entcs.2011.02.002},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.02.002},
  tags = {Java},
  researchr = {https://researchr.org/publication/BaumlB11},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {264},
  number = {4},
  pages = {3-18},
}

@inproceedings{HolySB12,
  title = {Visual clutter reduction for UML component diagrams: A tool presentation},
  author = {Lukas Holy and Jaroslav Snajberk and Premek Brada},
  year = {2012},
  doi = {10.1109/VLHCC.2012.6344540},
  url = {http://dx.doi.org/10.1109/VLHCC.2012.6344540},
  researchr = {https://researchr.org/publication/HolySB12},
  cites = {0},
  citedby = {0},
  pages = {253-254},
  booktitle = {vl},
}

@inproceedings{HynekB07,
  title = {On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project},
  author = {Jiri Hynek and Premek Brada},
  year = {2007},
  url = {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 = {elpub},
}

@inproceedings{JezekB10,
  title = {Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support},
  author = {Kamil Jezek and Premek Brada},
  year = {2010},
  researchr = {https://researchr.org/publication/JezekB10},
  cites = {0},
  citedby = {0},
  pages = {510-514},
  booktitle = {ICEIS},
}

@inproceedings{SnajberkB12,
  title = {ComAV - A Component Application Visualization Tool - Use of Reverse Engineering and Interactivity in Visualization for Component Software Comprehension},
  author = {Jaroslav Snajberk and Premek Brada},
  year = {2012},
  researchr = {https://researchr.org/publication/SnajberkB12},
  cites = {0},
  citedby = {0},
  pages = {755-758},
  booktitle = {grapp},
}

@inproceedings{LipkaPBH13,
  title = {SimCo - Hybrid Simulator for Testing of Component Based Applications},
  author = {Richard Lipka and Tomas Potuzak and Premek Brada and Pavel Herout},
  year = {2013},
  doi = {10.1007/978-3-642-35843-2_36},
  url = {http://dx.doi.org/10.1007/978-3-642-35843-2_36},
  researchr = {https://researchr.org/publication/LipkaPBH13},
  cites = {0},
  citedby = {0},
  pages = {420-431},
  booktitle = {sofsem},
}

@inproceedings{JezekHB13-0,
  title = {Static component compatibility visualisation for various component models},
  author = {Kamil Jezek and Lukas Holy and Premek Brada},
  year = {2013},
  doi = {10.1109/VLHCC.2013.6645263},
  url = {http://dx.doi.org/10.1109/VLHCC.2013.6645263},
  researchr = {https://researchr.org/publication/JezekHB13-0},
  cites = {0},
  citedby = {0},
  pages = {191-192},
  booktitle = {vl},
}

@incollection{holy2011viewport,
  title = {Viewport for Component Diagrams},
  author = {Holy, Lukas and Premek Brada},
  year = {2012},
  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},
}

@inproceedings{Brada99,
  title = {Component Change and Version Identification in SOFA},
  author = {Premek Brada},
  year = {1999},
  url = {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},
}

@inproceedings{BaumlB09,
  title = {Automated Versioning in OSGi: A Mechanism for Component Software Consistency Guarantee},
  author = {Jaroslav Bauml and Premek Brada},
  year = {2009},
  doi = {10.1109/SEAA.2009.80},
  url = {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 = {euromicro},
}

@inproceedings{Brada08,
  title = {Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions},
  author = {Premek Brada},
  year = {2008},
  doi = {10.1109/SEAA.2008.51},
  url = {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 = {seaa},
}

@inproceedings{jezek09implementation,
  title = {Implementation of Language for Extra-functional Properties for Reusable Software Components},
  author = {Kamil Ježek and Premek 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},
}

@article{JezekBS10,
  title = {Towards Context Independent Extra-functional Properties Descriptor for Components},
  author = {Kamil Jezek and Premek Brada and Petr Stepan},
  year = {2010},
  doi = {10.1016/j.entcs.2010.07.005},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.07.005},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/JezekBS10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {264},
  number = {1},
  pages = {55-71},
}

@inproceedings{SnajberkB10,
  title = {Implementation of a data layer for the visualization of component-based applications},
  author = {Jaroslav Snajberk and Premek Brada},
  year = {2010},
  url = {http://ceur-ws.org/Vol-683/paper9.pdf},
  researchr = {https://researchr.org/publication/SnajberkB10},
  cites = {0},
  citedby = {0},
  pages = {55-62},
  booktitle = {dimacs},
}

@inproceedings{JezekBH12,
  title = {Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties},
  author = {Kamil Jezek and Premek Brada and Lukas Holy},
  year = {2012},
  doi = {10.1007/978-3-642-30561-0_9},
  url = {http://dx.doi.org/10.1007/978-3-642-30561-0_9},
  researchr = {https://researchr.org/publication/JezekBH12},
  cites = {0},
  citedby = {0},
  pages = {108-123},
  booktitle = {TOOLS},
}

@inproceedings{HolySB12-0,
  title = {Evaluating Component Architecture Visualization Tools - Criteria and Case Study},
  author = {Lukas Holy and Jaroslav Snajberk and Premek Brada},
  year = {2012},
  researchr = {https://researchr.org/publication/HolySB12-0},
  cites = {0},
  citedby = {0},
  pages = {737-742},
  booktitle = {grapp},
}

@inproceedings{LipkaPBH13-0,
  title = {Verification of SimCo - Simulation tool for testing of component-based application},
  author = {Richard Lipka and Tomas Potuzak and Premek Brada and Pavel Herout},
  year = {2013},
  doi = {10.1109/EUROCON.2013.6625023},
  url = {http://dx.doi.org/10.1109/EUROCON.2013.6625023},
  researchr = {https://researchr.org/publication/LipkaPBH13-0},
  cites = {0},
  citedby = {0},
  pages = {467-474},
  booktitle = {eurocon},
}

@inproceedings{brada09look,
  title = {A Look at Current Component Models from the Black-box Perspective},
  author = {Premek 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},
}

@inproceedings{Brada08:0,
  title = {The CoSi Component Model: Reviving the Black-Box Nature of Components},
  author = {Premek Brada},
  year = {2008},
  doi = {10.1007/978-3-540-87891-9_22},
  url = {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 = {cbse},
}

@inproceedings{bauml09automated,
  title = {Automated Versioning in {OSGi}: a Mechanism for Component Software Consistency Guarantee},
  author = {Jaroslav Bauml and Premek Brada},
  year = {2009},
  tags = {software components, software component, consistency},
  researchr = {https://researchr.org/publication/bauml09automated},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of Euromicro SEAA},
}

@inproceedings{jezek10towards,
  title = {Towards Context Independent Extra-Functional Properties Descriptor for Components},
  author = {Kamil Ježek and Premek Brada and Petr Štěpán},
  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)},
}

@incollection{bauml10reconstruction,
  title = {Reconstruction of Type Information from Java Bytecode for Component Compatibility},
  author = {Jaroslav Bauml and Premek 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},
}

@inproceedings{GrillingerBR04,
  title = {Simulation Approach to Embedded System Programming and Testing},
  author = {Petr Grillinger and Premek Brada and Stanislav Racek},
  year = {2004},
  url = {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 = {ECBS},
}

@inproceedings{Brada01,
  title = {Component revision identification based on IDL/ADL component specification},
  author = {Premek Brada},
  year = {2001},
  doi = {10.1145/503209.503250},
  url = {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/FSE},
}