| 2009 | ||
|---|---|---|
| 4 | 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 | Ales Plsek, Philippe Merle, Lionel Seinturier: A Real-Time Java Component Model. ISORC 2008: 281-288 | |
| 2 | 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 | Ales Plsek, Jirí Adámek: Carmen: Software Component Model Checker. QoSA 2008: 71-85 | |
| 1 | Jirí Adámek | [1] |
| 2 | Jeff Hagelberg | [4] |
| 3 | Tomás Kalibera | [4] |
| 4 | Frédéric Loiret | [2] |
| 5 | Philippe Merle | [2] [3] |
| 6 | Filip Pizlo | [4] |
| 7 | Lionel Seinturier | [2] [3] |
| 8 | Ben Titzer | [4] |
| 9 | Jan Vitek | [4] |