Resilience and Home-Space for WSTS
Abstract elided by the publisher.
Related papers
- A Complete Abstract Interpretation Framework for Coverability Properties of WSTS VMCAI 2006
- The Design and Implementation of HoME PLDI 1992
- Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs POPL 1998
- The intuitive control of smart home and office environments Onward! 2011
- I¿¿¿: a calculus for internet of things automation Onward! 2017
- Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate VMCAI 2022
- Termination Resilience Static Analysis VMCAI 2026
- Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection CGO 2014