A Viable System Structure for Large-Scale Software Systems.
Effectively Exploiting Indirect Jumps.
An Architecture for Tuple-Based Coordination of Multi-Agent Systems.
A Proxy Approach to e-Mail Security.
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.