Natarajan Shankar
Orcid: 0000-0002-8652-8871Affiliations:
- SRI International, Menlo Park, CA, USA
According to our database1,
Natarajan Shankar
authored at least 128 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Proceedings of the Model Checking Software - 30th International Symposium, 2024
Proceedings of the IEEE Security and Privacy, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
CoRR, 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
J. Autom. Reason., 2022
Proceedings of the 43rd IEEE Security and Privacy, 2022
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
Semantic parsing of geometry statements using supervised machine learning on synthetic data.
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021
2020
Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness.
J. Autom. Reason., 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
2019
Formal Methods Syst. Des., 2019
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2017
Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the Automated Formal Methods, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016
2015
Identifying Negative Cost Cycles in Strongly Polynomial Space.
Nord. J. Comput., 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
IEEE Trans. Emerg. Top. Comput., 2014
CoRR, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
Proceedings of the on Future of Software Engineering, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012
2011
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks.
Sci. Comput. Program., 2011
Proceedings of the FM 2011: Formal Methods, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010
SimCheck: An Expressive Type System for Simulink.
Proceedings of the Second NASA Formal Methods Symposium, 2010
2009
Proceedings of the Advances in Digital Forensics V, 2009
2008
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008
Proceedings of the Advanced Lectures on Software Engineering, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
2004
Proceedings of the Selected Papers from the Workshops on Disproving, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2003
2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the Abstract State Machines, 2000
1999
A case-study in component-based mechanical verification of fault-tolerant programs.
Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
IEEE Trans. Software Eng., 1998
Verifying a self-stabilizing mutual exclusion algorithm.
Proceedings of the Programming Concepts and Methods, 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
1997
Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997
1996
Sci. Comput. Program., 1996
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.
IEEE Trans. Software Eng., 1995
Proceedings of the Mathematics of Program Construction, 1995
Proceedings of the Computer Aided Verification, 1995
1994
Proceedings of the Theorem Provers in Circuit Design, 1994
Proceedings of the Theorem Provers in Circuit Design, 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
Using Proof Theory to Optimize Proof Search.
Proceedings of the ICLP 1994, 1994
Proof Search (Tutorial).
Proceedings of the ICLP 1994, 1994
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Metamathematics, machines, and Gödels's proof.
Cambridge tracts in theoretical computer science 38, Cambridge University Press, ISBN: 978-0-521-42027-3, 1994
1993
Artif. Intell., 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992
Proceedings of the Automated Deduction, 1992
1991
Proceedings of the Compcon Spring '91, San Francisco, 1991
1988
1985