A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.

Marie-Christine Jakobs, Heiko Mantel

Browse the full ISoLA paper archive.