Natarajan Shankar

Publikationen

Liste als BibTeX-Datei exportieren

• 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 und 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ß und 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ß und 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ß und Natarajan Shankar In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Seiten 656–661, 2013. Details URL DOI BIB