Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ayush Anand
Institution:
Indian Institute of Technology Bhubaneswar
Observed institution:
Indian Institute of Technology Bhubaneswar
ORCID:
0009-0009-3754-630X
Observed ORCID:
0009-0009-3754-630X
OpenAlex ID:
A5113382341
An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG
2024
·
Abhinandan Panda
, Ayush Anand
, et al.
·
IEEE Embedded Systems Letters
·
3
Prompt Runtime Enforcement
2025
·
Ayush Anand
, Loïc Germerie Guizouarn
, et al.
·
Lecture notes in computer science
·
2
PDF
Runtime Verified Neural Networks for Cyber-Physical Systems
2024
·
Dhiren Tripuramallu
, Ayush Anand
, et al.
·
1
Compositional Security Enforcement of Timed Properties for Cyber Physical Systems
2026
·
Ayush Anand
, Loïc Guizouarn
, et al.
·
ACM Transactions on Embedded Computing Systems
Advancements in Runtime Enforcement Frameworks for Reactive Systems
2026
·
Ayush Anand
, Srinivas Pinisetty
, et al.
·
Innovations in Software Engineering Conference (ISEC)
Formal Runtime Verification Framework for Detecting Cardiac Abnormalities
2026
·
Hemant Sastry Konduri
, Ayush Anand
, et al.
·
IEEE Embedded Systems Letters
Show more works
View as search
Works count:
6
Citation count:
6
H-index:
2
I10-index:
Year
Topic
Type
