Login / Signup
Lavanya Lokesh
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
False Alarms
Complex Systems
Detection Algorithm
Single Point Of Failure
Top Venues
CoRR
ACM Trans. Cyber Phys. Syst.
DATE
</>
Publications
</>
Ipsita Koley
,
Soumyajit Dey
,
Debdeep Mukhopadhyay
,
Sachin Kumar Singh
,
Lavanya Lokesh
,
Shantaram Vishwanath Ghotgalkar
CAD Support for Security and Robustness Analysis of Safety-critical Automotive Software.
ACM Trans. Cyber Phys. Syst.
7 (1) (2023)
Ipsita Koley
,
Saurav Kumar Ghosh
,
Soumyajit Dey
,
Debdeep Mukhopadhyay
,
Amogh Kashyap K. N.
,
Sachin Kumar Singh
,
Lavanya Lokesh
,
Jithin Nalu Purakkal
,
Nishant Sinha
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.
CoRR
(2020)
Ipsita Koley
,
Saurav Kumar Ghosh
,
Soumyajit Dey
,
Debdeep Mukhopadhyay
,
Amogh Kashyap K. N.
,
Sachin Kumar Singh
,
Lavanya Lokesh
,
Jithin Nalu Purakkal
,
Nishant Sinha
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.
DATE
(2020)