Polynomial-time transformations and schedulability analysis of parallel real-time programs with restricted resource contention

A Development Environment for Complex Distributed Real-Time Applications

IEEE Transactions on Software Engineering

Statically Safe Speculative Execution for Real-Time Systems

IEEE Transactions on Software Engineering

Towards a Mobile Code Management Environment for Complex,Real-Time, Distributed Systems

Real-Time Systems

Extending Pearl for Industrial Real-Time Applications

IEEE Software

Formal Verification of Compiler Transformations for Speculative Real-Time Execution

Automatica (Journal of IFAC)