Natarajan Shankar

November 2024 Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus Natarajan Shankar , Minyoung Kim , Huascar Sanchez , Harald Rueß , Tewodros Beyene , Radouane Bouchekir and et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB

2013 EFSMT: A Logical Framework for Cyber-Physical Systems Chih-Hong Cheng , Natarajan Shankar , Harald Rueß and Saddek Bensalem CoRR, abs/1306.3456():, 2013. Details URL BIB

2013 EFSMT: A Logical Framework for Cyber-Physical Systems Chih-Hong Cheng , Natarajan Shankar , Harald Rueß and Saddek Bensalem arXiv preprint arXiv:1306.3456, abs/1306.3456():, 2013. Details BIB

2013 JBernstein: A Validity Checker for Generalized Polynomial Constraints Chih-Hong Cheng , Harald Rueß and Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pages 656–661, 2013. Details URL DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Authors

Natarajan Shankar

Publications