Publications

• Compositional Security Enforcement of Timed Properties for Cyber Physical Systems,
  Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Srinivas Pinisetty, Ocan Sankur
  Submitted to ACM Transactions on Embedded Computing Systems, Special Issue on Industrial Real-Time Systems.



• Prompt Runtime Enforcement,
  Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur
  Submitted to ATVA 2025



• Bounded Serial Compositional Runtime Enforcement,
  Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty,
  Presentation at Workshop Vortex 2025, submitted to ICFEM 2025



• Property Grouping and Context-Aware Runtime Enforcement,
  Saumya Shankar, Srinivas Pinisetty, Thierry Jéron,
  Submitted to RV 2025.