| * | 2009 |
| 4 | EE | 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 |
| 2008 |
| 3 | EE | Ales Plsek,
Philippe Merle,
Lionel Seinturier:
A Real-Time Java Component Model.
ISORC 2008: 281-288 |
| 2 | EE | Ales Plsek,
Frédéric Loiret,
Philippe Merle,
Lionel Seinturier:
A Component Framework for Java-Based Real-Time Embedded Systems.
Middleware 2008: 124-143 |
| 1 | EE | Ales Plsek,
Jirí Adámek:
Carmen: Software Component Model Checker.
QoSA 2008: 71-85 |