Universal Extra-functional Properties Repository - Model Overview and Implementation. - Kamil Jezek (KMIS, 2010)

Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support. - Kamil Jezek; Premek Brada (ICEIS (3), 2010)

Towards Context Independent Extra-functional Properties Descriptor for Components. - Kamil Jezek; Premek Brada; Petr Stepan (FESCA@ETAPS, 2010)

Correct Matching of Components with Extra-functional Properties - A Framework Applicable to a Variety of Component Models. - Kamil Jezek; Premek Brada (ENASE, 2011)

Formalisation of a Generic Extra-Functional Properties Framework. - Kamil Jezek; Premek Brada (ENASE (Selected Papers), 2011)

Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study. - Kamil Jezek; Premek Brada (KMIS, 2011)

Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach. - Premek Brada; Kamil Jezek (EUROMICRO-SEAA, 2012)

Lowering Visual Clutter in Large Component Diagrams. - Lukas Holy; Kamil Jezek; Jaroslav Snajberk; Premek Brada (IV, 2012)

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties. - Kamil Jezek; Premek Brada; Lukas Holy (TOOLS (50), 2012)

Dependency injection refined by extra-functional properties. - Kamil Jezek; Lukas Holy; Premek Brada (VL/HCC, 2012)

An Advanced Interactive Visualization Approach with extra functional properties. - Jaroslav Snajberk; Kamil Jezek; Premek Brada (VL/HCC, 2012)

Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries. - Kamil Jezek; Lukas Holy; Premek Brada (CSMR, 2013)

Software Components Compatibility Verification Based on Static Byte-Code Analysis. - Kamil Jezek; Lukas Holy; Antonin Slezacek; Premek Brada (EUROMICRO-SEAA, 2013)

A Visualization Tool for Reverse-Engineering of Complex Component Applications. - Lukas Holy; Jaroslav Snajberk; Premek Brada; Kamil Jezek (ICSM, 2013)

Static component compatibility visualisation for various component models. - Kamil Jezek; Lukas Holy; Premek Brada (VL/HCC, 2013)

Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades. - Jens Dietrich 001; Kamil Jezek; Premek Brada (CSMR-WCRE, 2014)

On the Use of Static Analysis to Safeguard Recursive Dependency Resolution. - Kamil Jezek; Jens Dietrich 001 (EUROMICRO-SEAA, 2014)

Detecting Incompatibilities Concealed in Duplicated Software Libraries. - Kamil Jezek; Jan Ambroz (EUROMICRO-SEAA, 2015)

Circular dependencies and change-proneness: An empirical study. - Tosin Daniel Oyetoyan; Jean-Rémy Falleri; Jens Dietrich 001; Kamil Jezek (SANER, 2015)

How Java APIs break - An empirical study. - Kamil Jezek; Jens Dietrich 001; Premek Brada (Inf. Softw. Technol., 2015)

Repository and meta-data design for efficient component consistency verification. - Premek Brada; Kamil Jezek (Sci. Comput. Program., 2015)

Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic. - Kamil Jezek; Jens Dietrich 001 (ECOOP, 2016)

Preventing Composition Problems in Modular Java Applications. - Kamil Jezek; Lukas Holy; Jakub Danek (SWQD, 2016)

Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact). - Kamil Jezek; Jens Dietrich 001 (Dagstuhl Artifacts Ser., 2016)

What Java developers know about compatibility, and why this matters. - Jens Dietrich 001; Kamil Jezek; Premek Brada (Empir. Softw. Eng., 2016)

Evil Pickles: DoS Attacks Based on Object-Graph Engineering. - Jens Dietrich 001; Kamil Jezek; Shawn Rasheed; Amjed Tahir; Alex Potanin (ECOOP, 2017)

Contracts in the Wild: A Study of Java Programs. - Jens Dietrich 001; David J. Pearce 001; Kamil Jezek; Premek Brada (ECOOP, 2017)

Antipatterns causing memory bloat: A case study. - Kamil Jezek; Richard Lipka (SANER, 2017)

Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). - Jens Dietrich 001; Kamil Jezek; Shawn Rasheed; Amjed Tahir; Alex Potanin (Dagstuhl Artifacts Ser., 2017)

Contracts in the Wild: A Study of Java Programs (Artifact). - Jens Dietrich 001; David J. Pearce 001; Kamil Jezek; Premek Brada (Dagstuhl Artifacts Ser., 2017)

API Evolution and Compatibility: A Data Corpus and Tool Evaluation. - Kamil Jezek; Jens Dietrich 001 (J. Object Technol., 2017)

Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool. - Premek Brada; Richard Lipka; Lukas Holy; Kamil Jezek (VISIGRAPP (3: IVAPP), 2020)

An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts. - Yeonsoo Kim; Seongho Jeong; Kamil Jezek; Bernd Burgstaller; Bernhard Scholz (USENIX ATC, 2021)

Ethereum Data Structures. - Kamil Jezek (CoRR, 2021)