Artikel dengan mandat akses publik - Natarajan ShankarPelajari lebih lanjut
Tidak tersedia di mana pun: 5
Combining model checking and deduction
N Shankar
Handbook of Model Checking, 651-684, 2018
Mandat: US National Science Foundation, US National Aeronautics and Space Administration
Code generation using a formal model of reference counting
G Férey, N Shankar
NASA Formal Methods Symposium, 150-165, 2016
Mandat: US National Science Foundation, US National Aeronautics and Space Administration
Requirements-driven model checking and test generation for comprehensive verification
D Bhatt, H Ren, A Murugesan, J Biatek, S Varadarajan, N Shankar
NASA Formal Methods Symposium, 576-596, 2022
Mandat: US Department of Defense
An augmented MetiTarski dataset for real quantifier elimination using machine learning
J Hester, B Hitaj, G Passmore, S Owre, N Shankar, E Yeh
International Conference on Intelligent Computer Mathematics, 297-302, 2023
Mandat: US Department of Defense
Formalizing Hoare Logic in PVS
N Shankar
Engineering Trustworthy Software Systems: Third International School, SETSS …, 2018
Mandat: US Department of Defense
Tersedia di suatu tempat: 24
SOTER: a runtime assurance framework for programming safe robotics systems
A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
Mandat: US National Science Foundation, US Department of Defense
TeLEx: learning signal temporal logic from positive examples using tightness metric
S Jha, A Tiwari, SA Seshia, T Sahai, N Shankar
Formal Methods in System Design 54, 364-387, 2019
Mandat: US National Science Foundation, US Department of Defense
Telex: Passive stl learning using only positive examples
S Jha, A Tiwari, SA Seshia, T Sahai, N Shankar
International Conference on Runtime Verification, 208-224, 2017
Mandat: US National Science Foundation, US Department of Defense
Model-centered assurance for autonomous systems
S Jha, J Rushby, N Shankar
Computer Safety, Reliability, and Security: 39th International Conference …, 2020
Mandat: US National Science Foundation, US Department of Defense
Design and verification for transportation system security
B Zheng, W Li, P Deng, L Gérard, Q Zhu, N Shankar
Proceedings of the 52nd annual design automation conference, 1-6, 2015
Mandat: US National Aeronautics and Space Administration
Satisfiability modulo theories and assignments
MP Bonacina, S Graham-Lengrand, N Shankar
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Mandat: US National Science Foundation, US Department of Defense
The gradual verifier
S Arlt, C Rubio-González, P Rümmer, M Schäf, N Shankar
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
Mandat: Swedish Research Council
Conflict-driven satisfiability for theory combination: transition system and completeness
MP Bonacina, S Graham-Lengrand, N Shankar
Journal of Automated Reasoning 64 (3), 579-609, 2020
Mandat: US National Science Foundation, US Department of Defense
A verified packrat parser interpreter for parsing expression grammars
C Blaudeau, N Shankar
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
Mandat: US National Science Foundation, US Department of Defense, US National …
Design and verification of multi-rate distributed systems
W Li, L Gérard, N Shankar
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
Mandat: US National Aeronautics and Space Administration
Soter: programming safe robotics system using runtime assurance
A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari
arXiv preprint arXiv:1808.07921, 2018
Mandat: US Department of Defense
Proofs in conflict-driven theory combination
MP Bonacina, S Graham-Lengrand, N Shankar
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
Mandat: US National Science Foundation, US Department of Defense
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
MP Bonacina, S Graham-Lengrand, N Shankar
Journal of Automated Reasoning, 1-49, 2022
Mandat: US National Science Foundation, US Department of Defense
A Brief Introduction to the PVS2C Code Generator.
N Shankar
AFM@ NFM 5, 109-116, 2017
Mandat: US National Science Foundation, US Department of Defense, US National …
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
MP Bonacina, S Graham-Lengrand, N Shankar
Satisfiability Modulo Theories workshop, CEUR Workshop Proceedings 3185, 2022
Mandat: US National Science Foundation
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer