Ales Plsek

发表

Carmen: Software Component Model Checker

Ales Plsek, Jirí Adámek, 2008, QoSA.

Static checking of safety critical Java annotations

Jan Vitek, Ales Plsek, Daniel Tang, 2010, JTRES '10.

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

Ales Plsek, Philippe Merle, Frédéric Loiret, 2008, Middleware.

Memory Safety for Safety Critical Java

Jan Vitek, Ales Plsek, Daniel Tang, 2012 .

Developing safety critical Java applications with oSCJ/L0

Jan Vitek, Lei Zhao, Ales Plsek, 2010, JTRES '10.

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

Ales Plsek, 2009 .

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

Romain Rouvoy, Ales Plsek, Frédéric Loiret, 2011, J. Univers. Comput. Sci..

A Real-Time Java Component Model

Ales Plsek, Philippe Merle, Lionel Seinturier, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

Introducing Distribution into a RTSJ-based Component Framework

Ales Plsek, Philippe Merle, Frédéric Loiret, 2008 .

Ambient-Oriented Programming in Fractal

Ales Plsek, Philippe Merle, Lionel Seinturier, 2007 .

Adaptive Distributed Applications and Middleware

Yann-Gaël Guéhéneuc, Jean-Marc Geib, Ales Plsek, 2007 .

Constructing Domain-Specific Component Frameworks through Architecture Refinement

Ales Plsek, Philippe Merle, Frédéric Loiret, 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

Component-Oriented Development for Real-Time Java

Ales Plsek, Frédéric Loiret, Michal Malohlava, 2012 .

CDx: a family of real-time Java benchmarks

Jan Vitek, Filip Pizlo, Ales Plsek, 2009, JTRES '09.

A Static Memory Safety Annotation System for Safety Critical Java

Jan Vitek, Ales Plsek, Kelvin Nilsen, 2011 .