I agree that this site is using cookies. You can find further informations here.
X
Shankar, Natarajan
199  results:
Search for persons X
?
1

Robust Verification of PEG Parser Interpreters:

, In: 2024 IEEE Security and Privacy Workshops (SPW),
Shankar, Natarajan ; Lucas, Zephyr - p. 180-191 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Developing an Open-Source, State-of-the-Art Symbolic Model-..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Rozier, Kristin Y. ; Shankar, Natarajan ; Tinelli, Cesare. - p. 1-1 , 2023
Link: https://doi.org/10.34727..
 
?
3

An Augmented MetiTarski Dataset for Real Quantifier Elimina..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Hester, John ; Hitaj, Briland ; Passmore, Grant... - p. 297-302 , 2023
Link: https://doi.org/10.1007/..
 
?
4

A reliable optimization framework for parameter identificat..:

Premkumar, Manoharan ; Shankar, Natarajan ; Sowmya, Ravichandran...
IET Renewable Power Generation.  17 (2023)  11 - p. 2711-2732 , 2023
Link: https://doi.org/10.1049/..
 
?
5

CoProver: A Recommender System for Proof Construction:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Yeh, Eric ; Hitaj, Briland ; Owre, Sam.. - p. 237-251 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Capturing the iccMAX calculatorElement: A Case Study on For..:

, In: 2022 IEEE Security and Privacy Workshops (SPW),
Kothari, Vijay H. ; Anantharaman, Prashant ; Smith, Sean W.... - p. 176-197 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Requirements-Driven Model Checking and Test Generation for ..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Bhatt, Devesh ; Ren, Hao ; Murugesan, Anitha... - p. 576-596 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Opposition-based equilibrium optimizer algorithm for identi..:

Shankar, Natarajan ; Saravanakumar, Natarajan ; Kumar, Chandrasekaran..
Journal of Computational Electronics.  20 (2021)  4 - p. 1560-1587 , 2021
Link: https://doi.org/10.1007/..
 
?
9

2018 CAV award:

Larsen, Kim G. ; Shankar, Natarajan ; Wolper, Pierre.
Formal Methods in System Design.  57 (2021)  1 - p. 116-117 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Conflict-Driven Satisfiability for Theory Combination: Lemm..:

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan
Journal of Automated Reasoning.  66 (2021)  1 - p. 43-91 , 2021
Link: https://doi.org/10.1007/..
 
?
11

The First Fifteen Years of the Verified Software Project:

, In: Theories of Programming,
Müller, Peter ; Shankar, Natarajan - p. 93-124 , 2021
Link: https://doi.org/10.1145/..
 
?
12

The Verified Software Initiative: A Manifesto:

, In: Theories of Programming,
Hoare, Tony ; Misra, Jayadev ; Leavens, Gary T.. - p. 81-92 , 2021
Link: https://doi.org/10.1145/..
 
?
13

A verified packrat parser interpreter for parsing expressio..:

, In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Blaudeau, Clement ; Shankar, Natarajan - p. 3-17 , 2020
Link: https://dl.acm.org/doi/1..
 
?
14

The Correctness of a Code Generator for a Functional Langua..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Courant, Nathanaël ; Séré, Antoine ; Shankar, Natarajan - p. 68-89 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Model-Centered Assurance for Autonomous Systems:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,
Jha, Susmit ; Rushby, John ; Shankar, Natarajan - p. 228-243 , 2020
Link: https://doi.org/10.1007/..
 
1-15