JiST: an efficient approach to simulation using virtual machines.
Managing infinite variability in mobile terminal software.
Developing dynamic-reconfigurable communication protocol stacks using Java.
Heuristic compression of an English word list.
Model variables: cleanly supporting abstraction in design by contract.