Lukáš Marek

Learn More
Unit testing is an attractive quality management tool in the software development process, however, practical obstacles make it difficult to use unit tests for performance testing. We present Stochastic Performance Logic, a formalism for expressing performance requirements, together with interpretations that facilitate performance evaluation in the unit(More)
The Q-ImPrESS project deals with modeling of quality attributes in service oriented architectures under complicated resource sharing conditions. The goal of this report is to characterize the reasons for differences between predicted and measured results that are due to resource sharing, and propose approaches to quantify the resource sharing factors.(More)
BACKGROUND Visual analytics aims to connect the processing power of information technologies and the user's ability of logical thinking and reasoning through the complex visual interaction. Moreover, the most of the data contain the spatial component. Therefore, the need for geovisual tools and methods arises. Either one can develop own system but the(More)
Unit testing is an attractive quality management tool in the software development process, however, practical obstacles make it difficult to use unit tests for performance testing. We present Stochastic Performance Logic, a formalism for expressing performance requirements, together with interpretations that facilitate performance evaluation in the unit(More)
Existing Java profilers mostly use one of two distinct profiling methods, sampling and instrumentation. Sampling is not as informative as instrumentation but the overall overhead can be small. Instru-mentation is more informative than sampling, since it intercepts every entrance and exit in the measured code, but the overhead is large. In this paper, we(More)
Description Dynamic analysis of software systems requires the instrumentation of application programs with functionality to measure events of interest that occur during program execution, e.g., method calls, runtime exceptions, and variable accesses. For modern programming languages that are executed by virtual machines (Java, .NET, etc.), instrumentation(More)
tics. The DATESO workshops aim for strengthening connections between these various areas of informatics. The Program Committee selected 9 papers (6 full and 3 short papers) from 11 submissions, based on two independent reviews. We wish to express our sincere thanks to all the authors who submitted papers, the members of the Program Committee, who reviewed(More)
Description Dynamic analysis of software systems requires the instrumentation of application programs with functionality to measure events of interest that occur during program execution, e.g., method calls, runtime exceptions, and variable accesses. For modern programming languages that are executed by virtual machines (Java, .NET, etc.), instrumentation(More)