Kamil Jezek

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