Natarajan Shankar
Affiliations: SRI International, Menlo Park, CA, USA
According to our database^{1},
Natarajan Shankar
authored at least 119 papers
between 1985 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org

on id.loc.gov
On csauthors.net:
Bibliography
2022
ConflictDriven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs.
J. Autom. Reason., 2022
CoRR, 2022
Proceedings of the 43rd IEEE Security and Privacy, 2022
CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length.
Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories colocated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022
RequirementsDriven Model Checking and Test Generation for Comprehensive Verification.
Proceedings of the NASA Formal Methods  14th International Symposium, 2022
2021
Formal Methods Syst. Des., 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
ConflictDriven 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
TeLEx: learning signal temporal logic from positive examples using tightness metric.
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 CyberPhysical Systems, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Bull. EATCS, 2018
CoRR, 2018
DualityBased 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
Bull. EATCS, 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
ContractBased Verification of Complex TimeDependent Behaviors in Avionic Systems.
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
CoRR, 2013
Proceedings of the Verification, 2013
Proceedings of the 2013 IEEE International Symposium on HardwareOriented Security and Trust, 2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
Proceedings of the Automated Deduction  CADE24, 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
Innov. Syst. Softw. Eng., 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
Proceedings of the Time for Verification, 2010
2009
ACM Comput. Surv., 2009
ACM Comput. Surv., 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
Electron. Notes Theor. Comput. Sci., 2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Reasoning  Second International Joint Conference, 2004
2003
Proc. IEEE, 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
Formal Methods Syst. Des., 1999
A casestudy in componentbased mechanical verification of faulttolerant programs.
Proceedings of the 1999 ICDCS Workshop on Selfstabilizing 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 selfstabilizing mutual exclusion algorithm.
Proceedings of the Programming Concepts and Methods, 1998
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 1998
Proceedings of the Applied Formal Methods, 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 RealTime and FaultTolerant Systems, 1996
Proceedings of the Formal Methods in ComputerAided 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  CADE13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996
1995
Formal Verification for FaultTolerant Architectures: Prolegomena to the Design of PVS.
IEEE Trans. Software Eng., 1995
Proceedings of the Mathematics of Program Construction, 1995
Proceedings of the Proceedings, 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 RealTime and FaultTolerant 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: 9780521420273, 1994
1993
Ann. Pure Appl. Log., 1993
Artif. Intell., 1993
Proceedings of the FME '93: IndustrialStrength Formal Methods, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Ann. Pure Appl. Log., 1992
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization.
Proceedings of the Formal Techniques in RealTime and FaultTolerant Systems, 1992
Proceedings of the Automated Deduction, 1992
Proceedings of the Automated Deduction, 1992
1991
Proceedings of the Compcon Spring '91, San Francisco, 1991
1988
J. ACM, 1988
Inf. Process. Lett., 1988
1985
J. Autom. Reason., 1985