Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ayush Anand
conf.researchr.org general profile
ATVA 2025 profile
ISEC 2026 profile
ISSTA/ECOOP 2024 profile
Registered user since Sat 5 Jul 2025
Name:
Ayush Anand
Affiliation:
Indian Institute of Technology Bhubaneswar
Contributions
2026
ISEC
Author of Advancements in Runtime Enforcement Frameworks for Reactive Systems within the Doctoral Symposium-track
2025
ATVA
Author of Prompt Runtime Enforcement within the ATVA Papers-track
2024
VORTEX
Author of Runtime Verified Neural Networks for Cyber-Physical Systems within the VORTEX 2024-track
Share
x
Sat 17 Oct 15:04