• On 13/08/2024 Ms. Saumya Shankar defended her Ph.D. thesis under the supervision of Dr. Srinivas Pinisetty. Title of the thesis: Advancements in Runtime Enforcement Frameworks: Finite Memory, Compositional Approaches, and Practical Applications.


  • The paper "Bounded Compositional Runtime Enforcement", Saumya Shankar, Srinivas Pinisetty, Thierry Jéron, Prisha Srinidi will be presented at Workshop Vortex 2025 (Bergen, Norway, Friday 4 July).