A Real-Time Java Component Model. - Ales Plsek; Philippe Merle; Lionel Seinturier (ISORC, 2008)

A Component Framework for Java-Based Real-Time Embedded Systems. - Ales Plsek; Frédéric Loiret; Philippe Merle; Lionel Seinturier (Middleware, 2008)

Carmen: Software Component Model Checker. - Ales Plsek; Jirí Adámek (QoSA, 2008)

Constructing Domain-Specific Component Frameworks through Architecture Refinement. - Frédéric Loiret; Ales Plsek; Philippe Merle; Lionel Seinturier; Michal Malohlava (EUROMICRO-SEAA, 2009)

CDx: a family of real-time Java benchmarks. - Tomas Kalibera; Jeff Hagelberg; Filip Pizlo; Ales Plsek; Ben L. Titzer; Jan Vitek (JTRES, 2009)

SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java Systems. - Ales Plsek (2009)

Developing safety critical Java applications with oSCJ/L0. - Ales Plsek; Lei Zhao; Veysel Harun Sahin; Daniel Tang; Tomas Kalibera; Jan Vitek (JTRES, 2010)

Static checking of safety critical Java annotations. - Daniel Tang; Ales Plsek; Jan Vitek (JTRES, 2010)

An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems. - Frédéric Loiret; Romain Rouvoy; Lionel Seinturier; Daniel Romero 002; Kévin Sénéchal; Ales Plsek (J. Univers. Comput. Sci., 2011)