Nezer Jacob Zaidenberg, Michael Kiperberg, Yael Elinav, Alex Moshinky, Lior Siag. HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments. In Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz, editors, Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers. Volume 1708 of Communications in Computer and Information Science, pages 48-59, Springer, 2022. [doi]
Abstract is missing.