Natarajan Shankar

Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar: Tool Integration with the Evidential Tool Bus. VMCAI 2013: 275-294

Sam Owre, Indranil Saha, Natarajan Shankar: Automatic Dimensional Analysis of Cyber-Physical Systems. FM 2012: 356-371

Indranil Saha, Natarajan Shankar: ModelRob: A Simulink Library for Model-Based Development of robot manipulators. ICRA 2012: 2654-2659

Natarajan Shankar, Marc Vaucher: The Mechanical Verification of a DPLL-Based Satisfiability Solver. Electr. Notes Theor. Comput. Sci. 269: 3-17 (2011)

Pritam Roy, Natarajan Shankar: SimCheck: a contract type system for Simulink. ISSE 7(2): 73-83 (2011)

Natarajan Shankar, K. Subramani: A mechanical verification of the stressing algorithm for negative cost cycle detection in networks. Sci. Comput. Program. 76(7): 609-626 (2011)

Sam Owre, Natarajan Shankar: Solving the First Verified Software Competition Problems Using PVS. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 315-328

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168

Tony Hoare, Natarajan Shankar: Unraveling a Card Trick. Essays in Memory of Amir Pnueli 2010: 195-201

Pritam Roy, Natarajan Shankar: SimCheck: An Expressive Type System for Simulink. NASA Formal Methods 2010: 149-160

Natarajan Shankar: Rewriting, Inference, and Proof. WRLA 2010: 1-14

C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4) (2009)

Natarajan Shankar: Automated deduction for verification. ACM Comput. Surv. 41(4) (2009)

Ashish Gehani, Florent Kirchner, Natarajan Shankar: System Support for Forensic Inference. IFIP Int. Conf. Digital Forensics 2009: 301-316

Natarajan Shankar: Trust and Automation in Verification Tools. ATVA 2008: 4-17

Natarajan Shankar: Fixpoints and Search in PVS. LASER Summer School 2008: 140-161

Sam Owre, Natarajan Shankar: A Brief Overview of PVS. TPHOLs 2008: 22-27

Natarajan Shankar, Jim Woodcock (Eds.): Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings . Lecture Notes in Computer Science 5295, Springer 2008, isbn 978-3-540-87872-8

Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar: A Tutorial on Satisfiability Modulo Theories. CAV 2007: 20-36

Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4130, Springer 2006, isbn 3-540-37187-7

Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar: Justifying Equality. Electr. Notes Theor. Comput. Sci. 125(3): 69-85 (2005)

Natarajan Shankar: Inference Systems for Logical Algorithms. FSTTCS 2005: 60-78

Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar: The ICS Decision Procedures for Embedded Deduction. IJCAR 2004: 218-222

Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500

Ashish Tiwari, Natarajan Shankar, John M. Rushby: Invisible formal methods for embedded control systems. Proceedings of the IEEE 91(1): 29-39 (2003)

Jonathan Ford, Natarajan Shankar: Formal Verification of a Combination Decision Procedure. CADE 2002: 347-362

Natarajan Shankar: Little Engines of Proof. FME 2002: 1-20

Natarajan Shankar: Little Engines of Proof. LICS 2002: 3-

Natarajan Shankar, Harald Rueß: Combining Shostak Theories. RTA 2002: 1-18

Natarajan Shankar: Verification by Abstraction. 10th Anniversary Colloquium of UNU/IIST 2002: 367-380

Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar: ICS: Integrated Canonizer and Solver. CAV 2001: 246-249

Harald Rueß, Natarajan Shankar: Deconstructing Shostak. LICS 2001: 19-28

Natarajan Shankar: Static Analysis for Safe Destructive Updates in a Functional Language. LOPSTR 2001: 1-24

Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127

Natarajan Shankar: Using Decision Procedures with a Higher-Order Logic. TPHOLs 2001: 5-26

Natarajan Shankar: Symbolic Analysis of Transition Systems. Abstract State Machines 2000: 287-302

Natarajan Shankar: Combining Theorem Proving and Model Checking through Symbolic Analysis. CONCUR 2000: 1-16

Harald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. Formal Methods in System Design 14(1): 45-73 (1999)

Hassen Saïdi, Natarajan Shankar: Abstract and Model Check While You Prove. CAV 1999: 443-454

Natarajan Shankar, Sam Owre: Principles and Pragmatics of Subtyping in PVS. WADT 1999: 37-52

Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar: A case-study in component-based mechanical verification of fault-tolerant programs. WSS 1999: 33-40

John M. Rushby, Sam Owre, Natarajan Shankar: Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24(9): 709-720 (1998)

Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert: PVS: An Experience Report. FM-Trends 1998: 338-345

Amir Pnueli, Natarajan Shankar, Eli Singerman: Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT 1998: 198-209

Shaz Qadeer, Natarajan Shankar: Verifying a self-stabilizing mutual exclusion algorithm. PROCOMET 1998: 424-443

Natarajan Shankar: Lazy Compositional Verification. COMPOS 1997: 541-564

Sam Owre, John M. Rushby, Natarajan Shankar: Integration in PVS: Tables, Types, and Model Checking. TACAS 1997: 366-383

S. P. Rajan, Natarajan Shankar, Mandayam K. Srivas: Industrial Strength Formal Verification Techniques for Hardware Designs. VLSI Design 1997: 208-212

Natarajan Shankar: Steps Toward Mechanizing Program Transformations Using PVS. Sci. Comput. Program. 26(1-3): 33-57 (1996)

David Cyrluk, Patrick Lincoln, Natarajan Shankar: On Shostak's Decision Procedure for Combinations of Theories. CADE 1996: 463-477

Harald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. CAV 1996: 123-134

Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: PVS: Combining Specification, Proof Checking, and Model Checking. CAV 1996: 411-414

Klaus Havelund, Natarajan Shankar: Experiments in Theorem Proving and Model Checking for Protocol Verification. FME 1996: 662-681

Natarajan Shankar: PVS: Combining Specification, Proof Checking, and Model Checking. FMCAD 1996: 257-264

Natarajan Shankar: Unifying Verification Paradigms. FTRTFT 1996: 22-39

Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng. 21(2): 107-125 (1995)

S. Rajan, Natarajan Shankar, Mandayam K. Srivas: An Integration of Model Checking with Automated Proof Checking. CAV 1995: 84-97

Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Decision Problems for Second-Order Linear Logic. LICS 1995: 476-485

Natarajan Shankar: Computer-Aided Computing. MPC 1995: 50-66

Jens Ulrik Skakkebæk, Natarajan Shankar: Towards a Duration Calculus Proof Assistant in PVS. FTRTFT 1994: 660-679

Patrick Lincoln, Natarajan Shankar: Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi. LICS 1994: 282-291

David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas: Effective Theorem Proving for Hardware Verification. TPCD 1994: 203-222

Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas: A Tutorial on Using PVS for Hardware Verification. TPCD 1994: 258-279

Natarajan Shankar: David A. McAllester, Ontic: A Knowledge Representation System for Mathematics. Artif. Intell. 62(2): 355-362 (1993)

Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication. Ann. Pure Appl. Logic 60(2): 151-177 (1993)

Natarajan Shankar: Verification of Real-Time Systems Using PVS. CAV 1993: 280-291

Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. FME 1993: 482-500

Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic 56(1-3): 239-311 (1992)

Natarajan Shankar: Proof Search in the Intuitionistic Sequent Calculus. CADE 1992: 522-536

Sam Owre, John M. Rushby, Natarajan Shankar: PVS: A Prototype Verification System. CADE 1992: 748-752

Natarajan Shankar: Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. FTRTFT 1992: 217-236

Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication. LICS 1991: 51-62

Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. FOCS 1990: 662-671

Natarajan Shankar, V. Ramachandran: Efficient Parallel Circuits and Algorithms for Division. Inf. Process. Lett. 29(6): 307-313 (1988)

Natarajan Shankar: A mechanical proof of the Church-Rosser theorem. J. ACM 35(3): 475-522 (1988)

Natarajan Shankar: Towards Mechanical Metamathematics. J. Autom. Reasoning 1(4): 407-434 (1985)