A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization
<|reference_start|>A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization: UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.<|reference_end|>
@article{auguston2003a,
    title={A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and
  Visualization},
    author={Mikhail Auguston, Clinton Jeffery, Scott Underwood},
    journal={arXiv preprint arXiv:cs/0310025},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0310025},
    primaryClass={cs.SE cs.PL}
}