 | 2009 |
|---|
| 11 |       | Pavel Parizek,
Tomás Kalibera:
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.
FMICS 2009: 117-132 |
| 10 | | Tomás Kalibera:
Replicating real-time garbage collector for Java.
JTRES 2009: 100-109 |
| 9 | | Tomás Kalibera,
Jeff Hagelberg,
Filip Pizlo,
Ales Plsek,
Ben Titzer,
Jan Vitek:
CDx: a family of real-time Java benchmarks.
JTRES 2009: 41-50 |
| 8 | | Pavel Parizek,
Jirí Adámek,
Tomás Kalibera:
Automated Construction of Reasonable Environment for Java Components.
Electr. Notes Theor. Comput. Sci. 253(1): 145-160 (2009) |
| 2006 |
|---|
| 7 | | Tomás Kalibera,
Petr Tuma:
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.
EPEW 2006: 63-77 |
| 6 | | Tomás Kalibera,
Jakub Lehotsky,
David Majda,
Branislav Repcek,
Michal Tomcanyi,
Antonin Tomecek,
Petr Tuma,
Jaroslav Urban:
Automated benchmarking and analysis tool.
VALUETOOLS 2006: 5 |
| 2005 |
|---|
| 5 | | Tomás Kalibera,
Lubomír Bulej,
Petr Tuma:
Automated Detection of Performance Regressions: The Mono Experience.
MASCOTS 2005: 183-190 |
| 4 | | Tomás Kalibera,
Lubomír Bulej,
Petr Tuma:
Quality Assurance in Performance: Evaluating Mono Benchmark Results.
QoSA/SOQUA 2005: 271-288 |
| 3 | | Lubomír Bulej,
Tomás Kalibera,
Petr Tuma:
Repeated results analysis for middleware regression benchmarking.
Perform. Eval. 60(1-4): 345-358 (2005) |
| 2004 |
|---|
| 2 |  | Tomás Kalibera,
Lubomír Bulej,
Petr Tuma:
Generic Environment for Full Automation of Benchmarking.
SOQUA/TECOS 2004: 125-132 |
| 2002 |
|---|
| 1 | | Tomás Kalibera,
Petr Tuma:
Distributed Component System Based on Architecture Description: The SOFA Experience.
CoopIS/DOA/ODBASE 2002: 981-994 |
