dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tomas Kalibera Home Page Coauthor index pubzone.org

Tomáš Kalibera

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Vitek, Tomas Kalibera: Introduction to the Special Issue on Java Technologies for Real-Time and Embedded Systems. Concurrency and Computation: Practice and Experience 24(8): 751-752 (2012)
2011
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Vitek, Tomas Kalibera: Repeatability, reproducibility, and rigor in systems research. EMSOFT 2011: 33-38
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Richard Jones: Handles revisited: optimising performance and memory costs in a real-time collector. ISMM 2011: 89-98
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek: Scheduling real-time garbage collection on uniprocessors. ACM Trans. Comput. Syst. 29(3): 8 (2011)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Schoeberl, Stephan Korsholm, Tomas Kalibera, Anders P. Ravn: A Hardware Abstraction Layer in Java. ACM Trans. Embedded Comput. Syst. 10(4): 42 (2011)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera: Replicating real-time garbage collector. Concurrency and Computation: Practice and Experience 23(14): 1646-1664 (2011)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben Titzer, Jan Vitek: A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience 23(14): 1679-1700 (2011)
2010
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Jan Vitek: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010 ACM 2010
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Pavel Parizek, Michal Malohlava, Martin Schoeberl: Exhaustive testing of safety critical Java. JTRES 2010: 164-174
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAles Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek: Developing safety critical Java applications with oSCJ/L0. JTRES 2010: 95-101
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Parizek, Tomas Kalibera: Efficient Detection of Errors in Java Components Using Random Environment and Restarts. TACAS 2010: 451-465
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal Hocko, Tomas Kalibera: Reducing performance non-determinism via cache-aware page allocation strategies. WOSP/SIPEW 2010: 223-234
2009
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Parizek, Tomas Kalibera: Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. FMICS 2009: 117-132
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek: Scheduling Hard Real-Time Garbage Collection. IEEE Real-Time Systems Symposium 2009: 81-92
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera: Replicating real-time garbage collector for Java. JTRES 2009: 100-109
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben Titzer, Jan Vitek: CDx: a family of real-time Java benchmarks. JTRES 2009: 41-50
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason Baker, Antonio Cunei, Tomas Kalibera, Filip Pizlo, Jan Vitek: Accurate garbage collection in uncooperative environments revisited. Concurrency and Computation: Practice and Experience 21(12): 1572-1606 (2009)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Parizek, Jirí Adámek, Tomas Kalibera: Automated Construction of Reasonable Environment for Java Components. Electr. Notes Theor. Comput. Sci. 253(1): 145-160 (2009)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs: (abstract only). SIGPLAN Notices 44(11): 7-8 (2009)
2006
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Petr Tuma: Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results. EPEW 2006: 63-77
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tuma, Jaroslav Urban: Automated benchmarking and analysis tool. VALUETOOLS 2006: 5
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Lubomír Bulej, Petr Tuma: Automated Detection of Performance Regressions: The Mono Experience. MASCOTS 2005: 183-190
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Lubomír Bulej, Petr Tuma: Quality Assurance in Performance: Evaluating Mono Benchmark Results. QoSA/SOQUA 2005: 271-288
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLubomír Bulej, Tomas Kalibera, Petr Tuma: Repeated results analysis for middleware regression benchmarking. Perform. Eval. 60(1-4): 345-358 (2005)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Lubomír Bulej, Petr Tuma: Generic Environment for Full Automation of Benchmarking. SOQUA/TECOS 2004: 125-132
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomas Kalibera, Petr Tuma: Distributed Component System Based on Architecture Description: The SOFA Experience. CoopIS/DOA/ODBASE 2002: 981-994

Coauthor Index

1Jirí Adámek [9]
2Jason Baker [10]
3Lubomír Bulej [2] [3] [4] [5]
4Antonio Cunei [10]
5Ghaith Haddad [8] [17]
6Jeff Hagelberg [11] [21]
7Michal Hocko [15]
8Antony L. Hosking [13] [24]
9Richard Jones [25]
10Stephan Korsholm [23]
11Gary T. Leavens [8] [17]
12Jakub Lehotsky [6]
13Petr Maj [21]
14David Majda [6]
15Michal Malohlava [19]
16Pavel Parizek [8] [9] [14] [16] [17] [19]
17Filip Pizlo [10] [11] [13] [21] [24]
18Ales Plsek [11] [18]
19Anders P. Ravn [23]
20Branislav Repcek [6]
21Veysel H. Sahin [18]
22Martin Schoeberl [19] [23]
23Daniel Tang [18]
24Ben Titzer [11] [21]
25Michal Tomcanyi [6]
26Antonin Tomecek [6]
27Petr Tuma [1] [2] [3] [4] [5] [6] [7]
28Jaroslav Urban [6]
29Jan Vitek [8] [10] [11] [13] [17] [18] [20] [21] [24] [26] [27]
30Lei Zhao [18]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page