Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone. Bounded-Memory Runtime Enforcement. In Owolabi Legunsen, Grigore Rosu, editors, Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Volume 13255 of Lecture Notes in Computer Science, pages 114-133, Springer, 2022. [doi]
Abstract is missing.