@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 = {17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013},
  editor = {Anthony Cleve and Filippo Ricca and Maura Cerioli},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-5833-0},
}

@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 = {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},
}

@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 2011 - Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, Beijing, China, 8-11 June, 2011},
  editor = {Leszek A. Maciaszek and Kang Zhang},
  publisher = {SciTePress},
  isbn = {978-989-8425-57-7},
}

@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 = {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},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012},
  editor = {Martin Erwig and Gem Stapleton and Gennaro Costagliola},
  publisher = {IEEE},
  isbn = {978-1-4673-0852-6},
}

@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 = {2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012},
  editor = {Martin Erwig and Gem Stapleton and Gennaro Costagliola},
  publisher = {IEEE},
  isbn = {978-1-4673-0852-6},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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},
  series = {LNCS 1725},
  address = {Milovy, Czech Republic},
  publisher = {Springer-Verlag},
}

@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 = {17th European Conference on Software Maintenance and Reengineering, CSMR 2013, Genova, Italy, March 5-8, 2013},
  editor = {Anthony Cleve and Filippo Ricca and Maura Cerioli},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-5833-0},
}

@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 = {32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia},
  publisher = {IEEE},
}

@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 = {38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012},
  editor = {Vittorio Cortellessa and Henry Muccini and Onur Demirörs},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-2451-9},
}

@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 = {15th International Conference on Information Visualisation, IV 2011, London, United Kingdom, July 13-15, 2011},
  editor = {Ebad Banissi and Stefan Bertschi and Remo Aslak Burkhard and Urska Cvek and Martin J. Eppler and Camilla Forsell and Georges G. Grinstein and Jimmy Johansson and Sarah Kenderdine and Francis T. Marchese and Carsten Maple and Marjan Trutschl and Muhammad Sarfraz and Liz J. Stuart and Anna Ursyn and Theodor G. Wyeld},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-0868-8},
}

@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 = {15th International Conference on Information Visualisation, IV 2011, London, United Kingdom, July 13-15, 2011},
  editor = {Ebad Banissi and Stefan Bertschi and Remo Aslak Burkhard and Urska Cvek and Martin J. Eppler and Camilla Forsell and Georges G. Grinstein and Jimmy Johansson and Sarah Kenderdine and Francis T. Marchese and Carsten Maple and Marjan Trutschl and Muhammad Sarfraz and Liz J. Stuart and Anna Ursyn and Theodor G. Wyeld},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-0868-8},
}

@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 = {2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013},
  publisher = {IEEE},
}

@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 = {KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing, Paris, France, 26-29 October, 2011},
  editor = {Joaquim Filipe and Kecheng Liu},
  publisher = {SciTePress},
  isbn = {978-989-8425-81-2},
}

@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 = {38th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2012, Cesme, Izmir, Turkey, September 5-8, 2012},
  editor = {Vittorio Cortellessa and Henry Muccini and Onur Demirörs},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-2451-9},
}

@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 = {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},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012},
  editor = {Martin Erwig and Gem Stapleton and Gennaro Costagliola},
  publisher = {IEEE},
  isbn = {978-1-4673-0852-6},
}

@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 = {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 = {Leslie Chan and Bob Martens},
  isbn = {978-3-85437-292-9},
}

@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 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010},
  editor = {Joaquim Filipe and José Cordeiro},
  publisher = {SciTePress},
  isbn = {978-989-8425-06-5},
}

@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 & 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 = {Paul Richard and Martin Kraus and Robert S. Laramee and José Braz},
  publisher = {SciTePress},
  isbn = {978-989-8565-02-0},
}

@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 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 = {Peter van Emde Boas and Frans C. A. Groen and Giuseppe F. Italiano and Jerzy R. Nawrocki and Harald Sack},
  volume = {7741},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35843-2},
}

@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 = {2013 IEEE Symposium on Visual Languages and Human Centric Computing, San Jose, CA, USA, September 15-19, 2013},
  editor = {Caitlin Kelleher and Margaret M. Burnett and Stefan Sauer},
  publisher = {IEEE},
}

@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},
  note = {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  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 = {Jan Pavelka and Gerard Tel and Miroslav Bartosek},
  volume = {1725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66694-X},
}

@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 = {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},
}

@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 = {34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy},
  publisher = {IEEE},
}

@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},
  address = {Patras, Greece},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {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 = {Dana Pardubská},
  volume = {683},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@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 = {Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
  editor = {Carlo A. Furia and Sebastian Nanz},
  volume = {7304},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-30560-3},
}

@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 & 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 = {Paul Richard and Martin Kraus and Robert S. Laramee and José Braz},
  publisher = {SciTePress},
  isbn = {978-989-8565-02-0},
}

@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 = {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},
}

@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},
  address = {Patras, Greece},
  publisher = {IEEE Computer Society},
}

@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 = {Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings},
  editor = {Michel R. V. Chaudron and Clemens A. Szyperski and Ralf Reussner},
  volume = {5282},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87890-2},
}

@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},
  address = {Patras, Greece},
  publisher = {IEEE CS},
}

@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)},
  series = {Electronic Notes in Theoretical Computer Science},
  address = {Paphos, Cyprus},
}

@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 = {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},
}

@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 / SIGSOFT FSE},
}