Ales Plsek

According to our database, Ales Plsek authored at least 9 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems.

Frédéric Loiret, Romain Rouvoy, Lionel Seinturier, Daniel Romero, Kévin Sénéchal, Ales Plsek

J. Univers. Comput. Sci., 2011

2010

Static checking of safety critical Java annotations.

Daniel Tang, Ales Plsek, Jan Vitek

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Developing safety critical Java applications with oSCJ/L0.

Ales Plsek, Lei Zhao, Veysel Harun Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2009

SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java Systems.

Ales Plsek

PhD thesis, 2009

CD_x: a family of real-time Java benchmarks.

Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, Ben L. Titzer, Jan Vitek

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Constructing Domain-Specific Component Frameworks through Architecture Refinement.

Frédéric Loiret, Ales Plsek, Philippe Merle, Lionel Seinturier, Michal Malohlava

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

Carmen: Software Component Model Checker.

Ales Plsek, Jirí Adámek

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

A Component Framework for Java-Based Real-Time Embedded Systems.

Ales Plsek, Frédéric Loiret, Philippe Merle, Lionel Seinturier

Proceedings of the Middleware 2008, 2008

A Real-Time Java Component Model.

Ales Plsek, Philippe Merle, Lionel Seinturier

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008