Ayush Anand

Orcid: 0009-0009-3754-630X

Affiliations:
  • IIT Bhubaneswar, Bhubaneswar, India


According to our database1, Ayush Anand authored at least 3 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Prompt Runtime Enforcement.
Proceedings of the Automated Technology for Verification and Analysis, 2025

2024
An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG.
IEEE Embed. Syst. Lett., December, 2024

Runtime Verified Neural Networks for Cyber-Physical Systems.
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024


  Loading...