default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKamil Jezek
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c26]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 ATC 2021: 565-579- [i2]Kamil Jezek:
Ethereum Data Structures. CoRR abs/2108.05513 (2021) - 2020
- [c25]Premek Brada, Richard Lipka, Lukas Holy, Kamil Jezek:
Interactive System Architecture Exploration: Case Studies with the IMiGEr Tool. VISIGRAPP (3: IVAPP) 2020: 288-293
2010 – 2019
- 2017
- [j7]Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs (Artifact). Dagstuhl Artifacts Ser. 3(2): 06:1-06:4 (2017) - [j6]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): 13:1-13:3 (2017) - [j5]Kamil Jezek, Jens Dietrich:
API Evolution and Compatibility: A Data Corpus and Tool Evaluation. J. Object Technol. 16(4): 2:1-23 (2017) - [c24]Jens Dietrich
, David J. Pearce, Kamil Jezek, Premek Brada:
Contracts in the Wild: A Study of Java Programs. ECOOP 2017: 9:1-9:29 - [c23]Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin:
Evil Pickles: DoS Attacks Based on Object-Graph Engineering. ECOOP 2017: 10:1-10:32 - [c22]Kamil Jezek, Richard Lipka:
Antipatterns causing memory bloat: A case study. SANER 2017: 306-315 - 2016
- [j4]Kamil Jezek, Jens Dietrich:
Magic with Dynamo - Flexible Cross-Component Linking for Java with Invokedynamic (Artifact). Dagstuhl Artifacts Ser. 2(1): 05:1-05:2 (2016) - [j3]Jens Dietrich, Kamil Jezek, Premek Brada:
What Java developers know about compatibility, and why this matters. Empir. Softw. Eng. 21(3): 1371-1396 (2016) - [c21]Kamil Jezek, Jens Dietrich:
Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic. ECOOP 2016: 12:1-12:25 - [c20]Kamil Jezek, Lukas Holy, Jakub Danek:
Preventing Composition Problems in Modular Java Applications. SWQD 2016: 125-143 - 2015
- [j2]Kamil Jezek, Jens Dietrich, Premek Brada:
How Java APIs break - An empirical study. Inf. Softw. Technol. 65: 129-146 (2015) - [j1]Premek Brada, Kamil Jezek:
Repository and meta-data design for efficient component consistency verification. Sci. Comput. Program. 97: 349-365 (2015) - [c19]Kamil Jezek, Jan Ambroz:
Detecting Incompatibilities Concealed in Duplicated Software Libraries. EUROMICRO-SEAA 2015: 233-240 - [c18]Tosin Daniel Oyetoyan, Jean-Rémy Falleri, Jens Dietrich, Kamil Jezek:
Circular dependencies and change-proneness: An empirical study. SANER 2015: 241-250 - 2014
- [c17]Jens Dietrich, Kamil Jezek, Premek Brada:
Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades. CSMR-WCRE 2014: 64-73 - [c16]Kamil Jezek, Jens Dietrich:
On the Use of Static Analysis to Safeguard Recursive Dependency Resolution. EUROMICRO-SEAA 2014: 166-173 - [i1]Jens Dietrich, Kamil Jezek, Premek Brada:
What Java Developers Know About Compatibility, And Why This Matters. CoRR abs/1408.2607 (2014) - 2013
- [c15]Kamil Jezek, Lukas Holy, Premek Brada:
Supplying Compiler's Static Compatibility Checks by the Analysis of Third-Party Libraries. CSMR 2013: 375-378 - [c14]Kamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada:
Software Components Compatibility Verification Based on Static Byte-Code Analysis. EUROMICRO-SEAA 2013: 145-152 - [c13]Lukas Holy, Jaroslav Snajberk, Premek Brada, Kamil Jezek:
A Visualization Tool for Reverse-Engineering of Complex Component Applications. ICSM 2013: 500-503 - [c12]Kamil Jezek, Lukas Holy, Premek Brada:
Static component compatibility visualisation for various component models. VL/HCC 2013: 191-192 - 2012
- [c11]Premek Brada, Kamil Jezek:
Ensuring Component Application Consistency on Small Devices: A Repository-Based Approach. EUROMICRO-SEAA 2012: 109-116 - [c10]Lukas Holy, Kamil Jezek, Jaroslav Snajberk, Premek Brada:
Lowering Visual Clutter in Large Component Diagrams. IV 2012: 36-41 - [c9]Kamil Jezek, Premek Brada, Lukas Holy:
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties. TOOLS (50) 2012: 108-123 - [c8]Kamil Jezek, Lukas Holy, Premek Brada:
Dependency injection refined by extra-functional properties. VL/HCC 2012: 255-256 - [c7]Jaroslav Snajberk, Kamil Jezek, Premek Brada:
An Advanced Interactive Visualization Approach with extra functional properties. VL/HCC 2012: 267-268 - 2011
- [c6]Kamil Jezek, Premek Brada:
Correct Matching of Components with Extra-functional Properties - A Framework Applicable to a Variety of Component Models. ENASE 2011: 155-166 - [c5]Kamil Jezek, Premek Brada:
Formalisation of a Generic Extra-Functional Properties Framework. ENASE (Selected Papers) 2011: 203-217 - [c4]Kamil Jezek, Premek Brada:
Extra-functional Properties Framework with Configuration based on Deployment Environment - Tool Demonstration and Case-study. KMIS 2011: 322-325 - 2010
- [c3]Kamil Jezek:
Universal Extra-functional Properties Repository - Model Overview and Implementation. KMIS 2010: 382-385 - [c2]Kamil Jezek, Premek Brada:
Compatibility Verification of Components in Terms of Functional and Extra-functional Properties - Tool Support. ICEIS (3) 2010: 510-514 - [c1]Kamil Jezek, Premek Brada, Petr Stepan:
Towards Context Independent Extra-functional Properties Descriptor for Components. FESCA@ETAPS 2010: 55-71
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
