Kamil Jezek

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 17

Top Topics

Interactive Visual

Execution Environment

Functional Properties

Top Venues

Dagstuhl Artifacts Ser.

Publications

Kamil Jezek
Ethereum Data Structures. CoRR (2021)
Yeonsoo Kim, Seongho Jeong, Kamil Jezek, Bernd Burgstaller, Bernhard Scholz
An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts. USENIX Annual Technical Conference (2021)
Premek Brada, Richard Lipka, Lukas Holy, Kamil Jezek
Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool. VISIGRAPP (3: IVAPP) (2020)
Kamil Jezek, Richard Lipka
Antipatterns causing memory bloat: A case study. SANER (2017)
Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada
Contracts in the Wild: A Study of Java Programs. ECOOP (2017)
Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Kamil Jezek, Jens Dietrich
API Evolution and Compatibility: A Data Corpus and Tool Evaluation. J. Object Technol. 16 (4) (2017)
Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin
Evil Pickles: DoS Attacks Based on Object-Graph Engineering. ECOOP (2017)
Kamil Jezek, Jens Dietrich
Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Kamil Jezek, Jens Dietrich
Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. ECOOP (2016)
Jens Dietrich, Kamil Jezek, Premek Brada
What Java developers know about compatibility, and why this matters. Empir. Softw. Eng. 21 (3) (2016)
Kamil Jezek, Lukas Holy, Jakub Danek
Preventing Composition Problems in Modular Java Applications. SWQD (2016)
Premek Brada, Kamil Jezek
Repository and meta-data design for efficient component consistency verification. Sci. Comput. Program. 97 (2015)
Kamil Jezek, Jens Dietrich, Premek Brada
How Java APIs break - An empirical study. Inf. Softw. Technol. 65 (2015)
Kamil Jezek, Jan Ambroz
Detecting Incompatibilities Concealed in Duplicated Software Libraries. EUROMICRO-SEAA (2015)
Tosin Daniel Oyetoyan, Jean-Rémy Falleri, Jens Dietrich, Kamil Jezek
Circular dependencies and change-proneness: An empirical study. SANER (2015)
Jens Dietrich, Kamil Jezek, Premek Brada
What Java Developers Know About Compatibility, And Why This Matters. CoRR (2014)
Jens Dietrich, Kamil Jezek, Premek Brada
Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades. CSMR-WCRE (2014)
Kamil Jezek, Jens Dietrich
On the Use of Static Analysis to Safeguard Recursive Dependency Resolution. EUROMICRO-SEAA (2014)
Kamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada
Software Components Compatibility Verification Based on Static Byte-Code Analysis. EUROMICRO-SEAA (2013)
Lukas Holy, Jaroslav Snajberk, Premek Brada, Kamil Jezek
A Visualization Tool for Reverse-Engineering of Complex Component Applications. ICSM (2013)
Kamil Jezek, Lukas Holy, Premek Brada
Static component compatibility visualisation for various component models. VL/HCC (2013)
Kamil Jezek, Lukas Holy, Premek Brada
Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries. CSMR (2013)
Premek Brada, Kamil Jezek
Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach. EUROMICRO-SEAA (2012)
Lukas Holy, Kamil Jezek, Jaroslav Snajberk, Premek Brada
Lowering Visual Clutter in Large Component Diagrams. IV (2012)
Jaroslav Snajberk, Kamil Jezek, Premek Brada
An Advanced Interactive Visualization Approach with extra functional properties. VL/HCC (2012)
Kamil Jezek, Lukas Holy, Premek Brada
Dependency injection refined by extra-functional properties. VL/HCC (2012)
Kamil Jezek, Premek Brada, Lukas Holy
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties. TOOLS (50) (2012)
Kamil Jezek, Premek Brada
Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study. KMIS (2011)
Kamil Jezek, Premek Brada
Formalisation of a Generic Extra-Functional Properties Framework. ENASE (Selected Papers) (2011)
Kamil Jezek, Premek Brada
Correct Matching of Components with Extra-functional Properties - A Framework Applicable to a Variety of Component Models. ENASE (2011)
Kamil Jezek
Universal Extra-functional Properties Repository - Model Overview and Implementation. KMIS (2010)
Kamil Jezek, Premek Brada
Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support. ICEIS (3) (2010)
Kamil Jezek, Premek Brada, Petr Stepan
Towards Context Independent Extra-functional Properties Descriptor for Components. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)