• 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
    Accepted to ATVA 2025, October 2025 Bengaluru, India. hal-05229564v1
    Also presented at Highlight 2025.


  • Bounded Serial Compositional Runtime Enforcement,
    Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty,
    Presentation at Workshop Vortex 2025, July 4, 2025, Bergen, Norway. Extended version to appear in Journal of Object Technology (JOT).


  • Property Grouping and Context-Aware Runtime Enforcement,
    Saumya Shankar, Srinivas Pinisetty, Thierry Jéron,
    The 8th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (APLAS NIER), October 2025 Bengaluru, India 2025.


  • Adavncements in Runtime Enforcement Frameworks for Reactive Systems,
    Ayush Anand, Srinivas Pinisetty, Thierry Jéron
    Accepted to ISEC Doctoral Symposium, February 2026, Jaipur, Rajasthan, India.