Sign in
Sachin Kumar Singh
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Complex Systems
Detection Algorithm
Formal Methods
Intensity Images
Top Venues
CoRR
Biomed. Signal Process. Control.
ACM Trans. Cyber Phys. Syst.
DATE
</>
Publications
</>
Sumit Kumar
,
Varun Gupta
,
Sankalp Sagar
,
Sachin Kumar Singh
IoT based Personal Voice Assistant.
CoRR
(2023)
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)
Sumitra Shukla
,
Sachin Kumar Singh
,
Debjani Mitra
An efficient heart sound segmentation approach using kurtosis and zero frequency filter features.
Biomed. Signal Process. Control.
57 (2020)