Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Natarajan Shankar
@inproceedings{DBLP:conf/fmcad/RozierSTV23, author = {Kristin Y. Rozier and Natarajan Shankar and Cesare Tinelli and Moshe Y. Vardi}, editor = {Alexander Nadel and Kristin Yvonne Rozier}, title = {Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA, October 24-27, 2023}, pages = {1}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_4}, doi = {10.34727/2023/ISBN.978-3-85448-060-0\_4}, timestamp = {Wed, 13 Dec 2023 14:38:51 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/RozierSTV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/YehHOQS23, author = {Eric Yeh and Briland Hitaj and Sam Owre and Maena Quemener and Natarajan Shankar}, editor = {Catherine Dubois and Manfred Kerber}, title = {CoProver: {A} Recommender System for Proof Construction}, booktitle = {Intelligent Computer Mathematics - 16th International Conference, {CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14101}, pages = {237--251}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-42753-4\_16}, doi = {10.1007/978-3-031-42753-4\_16}, timestamp = {Tue, 05 Sep 2023 20:33:24 +0200}, biburl = {https://dblp.org/rec/conf/mkm/YehHOQS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/HesterHPOSY23, author = {John Hester and Briland Hitaj and Grant O. Passmore and Sam Owre and Natarajan Shankar and Eric Yeh}, editor = {Catherine Dubois and Manfred Kerber}, title = {An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning}, booktitle = {Intelligent Computer Mathematics - 16th International Conference, {CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14101}, pages = {297--302}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-42753-4\_21}, doi = {10.1007/978-3-031-42753-4\_21}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mkm/HesterHPOSY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-14038, author = {John Hester and Briland Hitaj and Grant O. Passmore and Sam Owre and Natarajan Shankar and Eric Yeh}, title = {Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning}, journal = {CoRR}, volume = {abs/2302.14038}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.14038}, doi = {10.48550/ARXIV.2302.14038}, eprinttype = {arXiv}, eprint = {2302.14038}, timestamp = {Fri, 09 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-14038.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-00060, author = {Harald Ruess and Natarajan Shankar}, title = {Evidential Transactions with Cyberlogic}, journal = {CoRR}, volume = {abs/2304.00060}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.00060}, doi = {10.48550/ARXIV.2304.00060}, eprinttype = {arXiv}, eprint = {2304.00060}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-00060.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-10486, author = {Eric Yeh and Briland Hitaj and Sam Owre and Maena Quemener and Natarajan Shankar}, title = {CoProver: {A} Recommender System for Proof Construction}, journal = {CoRR}, volume = {abs/2304.10486}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.10486}, doi = {10.48550/ARXIV.2304.10486}, eprinttype = {arXiv}, eprint = {2304.10486}, timestamp = {Tue, 25 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-10486.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BonacinaGS22, author = {Maria Paola Bonacina and St{\'{e}}phane Graham{-}Lengrand and Natarajan Shankar}, title = {Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs}, journal = {J. Autom. Reason.}, volume = {66}, number = {1}, pages = {43--91}, year = {2022}, url = {https://doi.org/10.1007/s10817-021-09606-y}, doi = {10.1007/S10817-021-09606-Y}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BonacinaGS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/BhattRMBVS22, author = {Devesh Bhatt and Hao Ren and Anitha Murugesan and Jason Biatek and Srivatsan Varadarajan and Natarajan Shankar}, editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez}, title = {Requirements-Driven Model Checking and Test Generation for Comprehensive Verification}, booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13260}, pages = {576--596}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06773-0\_31}, doi = {10.1007/978-3-031-06773-0\_31}, timestamp = {Sun, 31 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nfm/BhattRMBVS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smt/BonacinaGS22, author = {Maria Paola Bonacina and St{\'{e}}phane Graham{-}Lengrand and Natarajan Shankar}, editor = {David D{\'{e}}harbe and Antti E. J. Hyv{\"{a}}rinen}, title = {{CDSAT} for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length}, booktitle = {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), Haifa, Israel, August 11-12, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3185}, pages = {18--37}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3185/paper9712.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:48 +0100}, biburl = {https://dblp.org/rec/conf/smt/BonacinaGS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/KothariASHMSLDH22, author = {Vijay H. Kothari and Prashant Anantharaman and Sean W. Smith and Briland Hitaj and Prashanth Mundkur and Natarajan Shankar and Letitia W. Li and Iavor Diatchki and William Harris}, title = {Capturing the iccMAX calculatorElement: {A} Case Study on Format Design}, booktitle = {43rd {IEEE} Security and Privacy, {SP} Workshops 2022, San Francisco, CA, USA, May 22-26, 2022}, pages = {176--197}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/SPW54247.2022.9833859}, doi = {10.1109/SPW54247.2022.9833859}, timestamp = {Thu, 21 Sep 2023 16:11:09 +0200}, biburl = {https://dblp.org/rec/conf/sp/KothariASHMSLDH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-15178, author = {Natarajan Shankar and Devesh Bhatt and Michael D. Ernst and Minyoung Kim and Srivatsan Varadarajan and Suzanne Millstein and Jorge Navas and Jason Biatek and Huascar Sanchez and Anitha Murugesan and Hao Ren}, title = {DesCert: Design for Certification}, journal = {CoRR}, volume = {abs/2203.15178}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.15178}, doi = {10.48550/ARXIV.2203.15178}, eprinttype = {arXiv}, eprint = {2203.15178}, timestamp = {Sun, 31 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-15178.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/LarsenSWJ21, author = {Kim G. Larsen and Natarajan Shankar and Pierre Wolper and Somesh Jha}, title = {2018 {CAV} award}, journal = {Formal Methods Syst. Des.}, volume = {57}, number = {1}, pages = {116--117}, year = {2021}, url = {https://doi.org/10.1007/s10703-021-00375-3}, doi = {10.1007/S10703-021-00375-3}, timestamp = {Tue, 27 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/LarsenSWJ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/GonzalezGNS21, author = {Salwa Tabet Gonzalez and St{\'{e}}phane Graham{-}Lengrand and Julien Narboux and Natarajan Shankar}, editor = {Jasmin Blanchette and James H. Davenport and Peter Koepke and Michael Kohlhase and Andrea Kohlhase and Adam Naumowicz and Dennis M{\"{u}}ller and Yasmine Sharoda and Claudio Sacerdoti Coen}, title = {Semantic parsing of geometry statements using supervised machine learning on synthetic data}, booktitle = {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 - 31, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {3377}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-3377/natfom5.pdf}, timestamp = {Thu, 14 Sep 2023 09:27:13 +0200}, biburl = {https://dblp.org/rec/conf/mkm/GonzalezGNS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mc/21/HoareMLS21, author = {Tony Hoare and Jayadev Misra and Gary T. Leavens and Natarajan Shankar}, editor = {Cliff B. Jones and Jayadev Misra}, title = {The Verified Software Initiative: {A} Manifesto}, booktitle = {Theories of Programming: The Life and Works of Tony Hoare}, series = {{ACM} Books}, volume = {39}, pages = {81--92}, publisher = {{ACM} / Morgan {\&} Claypool}, year = {2021}, url = {https://doi.org/10.1145/3477355.3477361}, doi = {10.1145/3477355.3477361}, timestamp = {Fri, 18 Aug 2023 18:15:50 +0200}, biburl = {https://dblp.org/rec/books/mc/21/HoareMLS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mc/21/0001S21, author = {Peter M{\"{u}}ller and Natarajan Shankar}, editor = {Cliff B. Jones and Jayadev Misra}, title = {The First Fifteen Years of the Verified Software Project}, booktitle = {Theories of Programming: The Life and Works of Tony Hoare}, series = {{ACM} Books}, volume = {39}, pages = {93--124}, publisher = {{ACM} / Morgan {\&} Claypool}, year = {2021}, url = {https://doi.org/10.1145/3477355.3477362}, doi = {10.1145/3477355.3477362}, timestamp = {Tue, 05 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/mc/21/0001S21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BonacinaGS20, author = {Maria Paola Bonacina and St{\'{e}}phane Graham{-}Lengrand and Natarajan Shankar}, title = {Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness}, journal = {J. Autom. Reason.}, volume = {64}, number = {3}, pages = {579--609}, year = {2020}, url = {https://doi.org/10.1007/s10817-018-09510-y}, doi = {10.1007/S10817-018-09510-Y}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BonacinaGS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpp/BlaudeauS20, author = {Clement Blaudeau and Natarajan Shankar}, editor = {Jasmin Blanchette and Catalin Hritcu}, title = {A verified packrat parser interpreter for parsing expression grammars}, booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January 20-21, 2020}, pages = {3--17}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3372885.3373836}, doi = {10.1145/3372885.3373836}, timestamp = {Sun, 02 Oct 2022 15:58:04 +0200}, biburl = {https://dblp.org/rec/conf/cpp/BlaudeauS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/JhaRS20, author = {Susmit Jha and John Rushby and Natarajan Shankar}, editor = {Ant{\'{o}}nio Casimiro and Frank Ortmeier and Friedemann Bitsch and Pedro Ferreira}, title = {Model-Centered Assurance for Autonomous Systems}, booktitle = {Computer Safety, Reliability, and Security - 39th International Conference, {SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12234}, pages = {228--243}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-54549-9\_15}, doi = {10.1007/978-3-030-54549-9\_15}, timestamp = {Thu, 20 Aug 2020 14:33:29 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/JhaRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/MundkurBSAALS20, author = {Prashanth Mundkur and Linda Briesemeister and Natarajan Shankar and Prashant Anantharaman and Sameed Ali and Zephyr Lucas and Sean W. Smith}, title = {Research Report: The Parsley Data Format Definition Language}, booktitle = {2020 {IEEE} Security and Privacy Workshops, {SP} Workshops, San Francisco, CA, USA, May 21, 2020}, pages = {300--307}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SPW50608.2020.00064}, doi = {10.1109/SPW50608.2020.00064}, timestamp = {Thu, 21 Sep 2023 16:11:10 +0200}, biburl = {https://dblp.org/rec/conf/sp/MundkurBSAALS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/CourantSS20, author = {Nathana{\"{e}}l Courant and Antoine S{\'{e}}r{\'{e}} and Natarajan Shankar}, editor = {Dirk Beyer and Damien Zufferey}, title = {The Correctness of a Code Generator for a Functional Language}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11990}, pages = {68--89}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39322-9\_4}, doi = {10.1007/978-3-030-39322-9\_4}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/CourantSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-04457, author = {Clement Blaudeau and Natarajan Shankar}, title = {A Verified Packrat Parser Interpreter for Parsing Expression Grammars}, journal = {CoRR}, volume = {abs/2001.04457}, year = {2020}, url = {https://arxiv.org/abs/2001.04457}, eprinttype = {arXiv}, eprint = {2001.04457}, timestamp = {Fri, 17 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-04457.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/JhaTSSS19, author = {Susmit Jha and Ashish Tiwari and Sanjit A. Seshia and Tuhin Sahai and Natarajan Shankar}, title = {TeLEx: learning signal temporal logic from positive examples using tightness metric}, journal = {Formal Methods Syst. Des.}, volume = {54}, number = {3}, pages = {364--387}, year = {2019}, url = {https://doi.org/10.1007/s10703-019-00332-1}, doi = {10.1007/S10703-019-00332-1}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/JhaTSSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HavelundS19, author = {Klaus Havelund and Natarajan Shankar}, editor = {Ezio Bartocci and Rance Cleaveland and Radu Grosu and Oleg Sokolsky}, title = {A Refinement Proof for a Garbage Collector}, booktitle = {From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11500}, pages = {73--103}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31514-6\_6}, doi = {10.1007/978-3-030-31514-6\_6}, timestamp = {Tue, 24 Sep 2019 14:08:41 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HavelundS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DesaiGSST19, author = {Ankush Desai and Shromona Ghosh and Sanjit A. Seshia and Natarajan Shankar and Ashish Tiwari}, title = {{SOTER:} {A} Runtime Assurance Framework for Programming Safe Robotics Systems}, booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019}, pages = {138--150}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/DSN.2019.00027}, doi = {10.1109/DSN.2019.00027}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DesaiGSST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EiterEPPS18, author = {Thomas Eiter and Javier Esparza and Catuscia Palamidessi and Gordon D. Plotkin and Natarajan Shankar}, title = {Alonzo Church Award 2018 - Call for Nominations}, journal = {Bull. {EATCS}}, volume = {124}, year = {2018}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/524}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/EiterEPPS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpp/BonacinaGS18, author = {Maria Paola Bonacina and St{\'{e}}phane Graham{-}Lengrand and Natarajan Shankar}, editor = {June Andronick and Amy P. Felty}, title = {Proofs in conflict-driven theory combination}, booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January 8-9, 2018}, pages = {186--200}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167096}, doi = {10.1145/3167096}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cpp/BonacinaGS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/JhaR0S18, author = {Susmit Jha and Sunny Raj and Sumit Kumar Jha and Natarajan Shankar}, editor = {David N. Jansen and Pavithra Prabhakar}, title = {Duality-Based Nested Controller Synthesis from {STL} Specifications for Stochastic Linear Systems}, booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11022}, pages = {235--251}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00151-3\_14}, doi = {10.1007/978-3-030-00151-3\_14}, timestamp = {Sat, 09 Apr 2022 12:48:56 +0200}, biburl = {https://dblp.org/rec/conf/formats/JhaR0S18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/mc/Shankar18, author = {Natarajan Shankar}, editor = {Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem}, title = {Combining Model Checking and Deduction}, booktitle = {Handbook of Model Checking}, pages = {651--684}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-10575-8\_20}, doi = {10.1007/978-3-319-10575-8\_20}, timestamp = {Mon, 03 Jan 2022 22:13:30 +0100}, biburl = {https://dblp.org/rec/reference/mc/Shankar18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nfm/2017afm, editor = {Bruno Dutertre and Natarajan Shankar}, title = {Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017}, series = {Kalpa Publications in Computing}, volume = {5}, publisher = {EasyChair}, year = {2018}, url = {http://www.easychair.org/publications/volume/AFM17}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/2017afm.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-07921, author = {Ankush Desai and Shromona Ghosh and Sanjit A. Seshia and Natarajan Shankar and Ashish Tiwari}, title = {{SOTER:} Programming Safe Robotics System using Runtime Assurance}, journal = {CoRR}, volume = {abs/1808.07921}, year = {2018}, url = {http://arxiv.org/abs/1808.07921}, eprinttype = {arXiv}, eprint = {1808.07921}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-07921.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/ShankarPPV17, author = {Natarajan Shankar and Catuscia Palamidessi and Gordon D. Plotkin and Moshe Y. Vardi}, title = {Alonzo Church Award 2017 - Call for Nominations}, journal = {Bull. {EATCS}}, volume = {121}, year = {2017}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/468}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/ShankarPPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BonacinaGS17, author = {Maria Paola Bonacina and St{\'{e}}phane Graham{-}Lengrand and Natarajan Shankar}, editor = {Leonardo de Moura}, title = {Satisfiability Modulo Theories and Assignments}, booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10395}, pages = {42--59}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63046-5\_4}, doi = {10.1007/978-3-319-63046-5\_4}, timestamp = {Thu, 29 Sep 2022 08:36:56 +0200}, biburl = {https://dblp.org/rec/conf/cade/BonacinaGS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/Shankar17, author = {Natarajan Shankar}, editor = {Bruno Dutertre and Natarajan Shankar}, title = {A Brief Introduction to the {PVS2C} Code Generator}, booktitle = {Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017}, series = {Kalpa Publications in Computing}, volume = {5}, pages = {109--116}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/v7k2}, doi = {10.29007/V7K2}, timestamp = {Sun, 15 Aug 2021 10:46:48 +0200}, biburl = {https://dblp.org/rec/conf/nfm/Shankar17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/JhaTSSS17, author = {Susmit Jha and Ashish Tiwari and Sanjit A. Seshia and Tuhin Sahai and Natarajan Shankar}, editor = {Shuvendu K. Lahiri and Giles Reger}, title = {TeLEx: Passive {STL} Learning Using Only Positive Examples}, booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10548}, pages = {208--224}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67531-2\_13}, doi = {10.1007/978-3-319-67531-2\_13}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/JhaTSSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setss/Shankar17, author = {Natarajan Shankar}, editor = {Jonathan P. Bowen and Zhiming Liu and Zili Zhang}, title = {Formalizing Hoare Logic in {PVS}}, booktitle = {Engineering Trustworthy Software Systems - Third International School, {SETSS} 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {11174}, pages = {89--114}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-02928-9\_3}, doi = {10.1007/978-3-030-02928-9\_3}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/setss/Shankar17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csiirw/CoDHKNWBFFDMSF16, author = {Michele Co and Jack W. Davidson and Jason D. Hiser and John C. Knight and Anh Nguyen{-}Tuong and Westley Weimer and Jonathan Burket and Gregory L. Frazier and Tiffany M. Frazier and Bruno Dutertre and Ian A. Mason and Natarajan Shankar and Stephanie Forrest}, editor = {Joseph P. Trien and Stacy J. Prowell and John R. Goodall and Robert A. Bridges}, title = {Double Helix and {RAVEN:} {A} System for Cyber Fault Tolerance and Recovery}, booktitle = {Proceedings of the 11th Annual Cyber and Information Security Research Conference, {CISRC} 2016, Oak Ridge, TN, USA, April 5-7, 2016}, pages = {17:1--17:4}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2897795.2897805}, doi = {10.1145/2897795.2897805}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csiirw/CoDHKNWBFFDMSF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/BhattCLOOS16, author = {Devesh Bhatt and Arunabh Chattopadhyay and Wenchao Li and David Oglesby and Sam Owre and Natarajan Shankar}, editor = {Sanjai Rayadurgam and Oksana Tkachuk}, title = {Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems}, booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9690}, pages = {34--40}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40648-0\_3}, doi = {10.1007/978-3-319-40648-0\_3}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/BhattCLOOS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/GhoshELLSS16, author = {Shalini Ghosh and Daniel Elenius and Wenchao Li and Patrick Lincoln and Natarajan Shankar and Wilfried Steiner}, editor = {Sanjai Rayadurgam and Oksana Tkachuk}, title = {{ARSENAL:} Automatic Requirements Specification Extraction from Natural Language}, booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9690}, pages = {41--46}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40648-0\_4}, doi = {10.1007/978-3-319-40648-0\_4}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/GhoshELLSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/FereyS16, author = {Gaspard F{\'{e}}rey and Natarajan Shankar}, editor = {Sanjai Rayadurgam and Oksana Tkachuk}, title = {Code Generation Using a Formal Model of Reference Counting}, booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9690}, pages = {150--165}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40648-0\_12}, doi = {10.1007/978-3-319-40648-0\_12}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/FereyS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lics/2016, editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}, title = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2933575}, doi = {10.1145/2933575}, isbn = {978-1-4503-4391-6}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/njc/ShankarSE15, author = {Natarajan Shankar and K. Subramani and Pavlos Eirinakis}, title = {Identifying Negative Cost Cycles in Strongly Polynomial Space}, journal = {Nord. J. Comput.}, volume = {15}, number = {2}, pages = {154--171}, year = {2015}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/njc/ShankarSE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/ZhengLDGZS15, author = {Bowen Zheng and Wenchao Li and Peng Deng and L{\'{e}}onard G{\'{e}}rard and Qi Zhu and Natarajan Shankar}, title = {Design and verification for transportation system security}, booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015}, pages = {96:1--96:6}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2744769.2747920}, doi = {10.1145/2744769.2747920}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dac/ZhengLDGZS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/LiGS15, author = {Wenchao Li and L{\'{e}}onard G{\'{e}}rard and Natarajan Shankar}, title = {Design and verification of multi-rate distributed systems}, booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015}, pages = {20--29}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/MEMCOD.2015.7340463}, doi = {10.1109/MEMCOD.2015.7340463}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/memocode/LiGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/MalechaGS15, author = {Gregory Malecha and Ashish Gehani and Natarajan Shankar}, editor = {Roger L. Wainwright and Juan Manuel Corchado and Alessio Bechini and Jiman Hong}, title = {Automated software winnowing}, booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015}, pages = {1504--1511}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2695664.2695751}, doi = {10.1145/2695664.2695751}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/MalechaGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tetc/SubramanyanTLGTTSSM14, author = {Pramod Subramanyan and Nestan Tsiskaridze and Wenchao Li and Adri{\`{a}} Gasc{\'{o}}n and Wei Yang Tan and Ashish Tiwari and Natarajan Shankar and Sanjit A. Seshia and Sharad Malik}, title = {Reverse Engineering Digital Circuits Using Structural and Functional Analyses}, journal = {{IEEE} Trans. Emerg. Top. Comput.}, volume = {2}, number = {1}, pages = {63--80}, year = {2014}, url = {https://doi.org/10.1109/TETC.2013.2294918}, doi = {10.1109/TETC.2013.2294918}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tetc/SubramanyanTLGTTSSM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CruanesHMOS14, author = {Simon Cruanes and Stijn Heymans and Ian A. Mason and Sam Owre and Natarajan Shankar}, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)}, booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, pages = {256--275}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2\_13}, doi = {10.1007/978-3-642-54624-2\_13}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/CruanesHMOS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/VisserBS14, author = {Willem Visser and Nikolaj S. Bj{\o}rner and Natarajan Shankar}, editor = {James D. Herbsleb and Matthew B. Dwyer}, title = {Software engineering and automated deduction}, booktitle = {Proceedings of the on Future of Software Engineering, {FOSE} 2014, Hyderabad, India, May 31 - June 7, 2014}, pages = {155--166}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2593882.2593899}, doi = {10.1145/2593882.2593899}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/VisserBS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/LarrieuS14, author = {Robin Larrieu and Natarajan Shankar}, title = {A framework for high-assurance quasi-synchronous systems}, booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014}, pages = {72--83}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/MEMCOD.2014.6961845}, doi = {10.1109/MEMCOD.2014.6961845}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/memocode/LarrieuS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/ArltRRSS14, author = {Stephan Arlt and Cindy Rubio{-}Gonz{\'{a}}lez and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f and Natarajan Shankar}, editor = {Julia M. Badger and Kristin Yvonne Rozier}, title = {The Gradual Verifier}, booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8430}, pages = {313--327}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06200-6\_27}, doi = {10.1007/978-3-319-06200-6\_27}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/ArltRRSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GhoshELLSS14, author = {Shalini Ghosh and Daniel Elenius and Wenchao Li and Patrick Lincoln and Natarajan Shankar and Wilfried Steiner}, title = {Automatically Extracting Requirements Specifications from Natural Language}, journal = {CoRR}, volume = {abs/1403.3142}, year = {2014}, url = {http://arxiv.org/abs/1403.3142}, eprinttype = {arXiv}, eprint = {1403.3142}, timestamp = {Wed, 07 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GhoshELLSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Shankar13, author = {Natarajan Shankar}, editor = {Maria Paola Bonacina}, title = {Automated Reasoning, Fast and Slow}, booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7898}, pages = {145--161}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38574-2\_10}, doi = {10.1007/978-3-642-38574-2\_10}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Shankar13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChengRS13, author = {Chih{-}Hong Cheng and Harald Ruess and Natarajan Shankar}, editor = {Natasha Sharygina and Helmut Veith}, title = {JBernstein: {A} Validity Checker for Generalized Polynomial Constraints}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {656--661}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_43}, doi = {10.1007/978-3-642-39799-8\_43}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/ChengRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/host/LiGSTTMSS13, author = {Wenchao Li and Adri{\`{a}} Gasc{\'{o}}n and Pramod Subramanyan and Wei Yang Tan and Ashish Tiwari and Sharad Malik and Natarajan Shankar and Sanjit A. Seshia}, title = {WordRev: Finding word-level structures in a sea of bit-level gates}, booktitle = {2013 {IEEE} International Symposium on Hardware-Oriented Security and Trust, {HOST} 2013, Austin, TX, USA, June 2-3, 2013}, pages = {67--74}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/HST.2013.6581568}, doi = {10.1109/HST.2013.6581568}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/host/LiGSTTMSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/CruanesHOS13, author = {Simon Cruanes and Gr{\'{e}}goire Hamon and Sam Owre and Natarajan Shankar}, editor = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni}, title = {Tool Integration with the Evidential Tool Bus}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7737}, pages = {275--294}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35873-9\_18}, doi = {10.1007/978-3-642-35873-9\_18}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/CruanesHOS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChengSRB13, author = {Chih{-}Hong Cheng and Natarajan Shankar and Harald Ruess and Saddek Bensalem}, title = {{EFSMT:} {A} Logical Framework for Cyber-Physical Systems}, journal = {CoRR}, volume = {abs/1306.3456}, year = {2013}, url = {http://arxiv.org/abs/1306.3456}, eprinttype = {arXiv}, eprint = {1306.3456}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ChengSRB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Shankar12, author = {Natarajan Shankar}, editor = {Pascal Fontaine and Amit Goel}, title = {The Architecture of Inference from {SMT} to {ETB}}, booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT} 2012, Manchester, UK, June 30 - July 1, 2012}, series = {EPiC Series in Computing}, volume = {20}, pages = {2}, publisher = {EasyChair}, year = {2012}, url = {https://doi.org/10.29007/1tc6}, doi = {10.29007/1TC6}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/Shankar12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/OwreSS12, author = {Sam Owre and Indranil Saha and Natarajan Shankar}, editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry}, title = {Automatic Dimensional Analysis of Cyber-Physical Systems}, booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7436}, pages = {356--371}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32759-9\_30}, doi = {10.1007/978-3-642-32759-9\_30}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/OwreSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/SahaS12, author = {Indranil Saha and Natarajan Shankar}, title = {ModelRob: {A} Simulink Library for Model-Based Development of robot manipulators}, booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA} 2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}}, pages = {2654--2659}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/ICRA.2012.6224658}, doi = {10.1109/ICRA.2012.6224658}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/icra/SahaS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/RoyS11, author = {Pritam Roy and Natarajan Shankar}, title = {SimCheck: a contract type system for Simulink}, journal = {Innov. Syst. Softw. Eng.}, volume = {7}, number = {2}, pages = {73--83}, year = {2011}, url = {https://doi.org/10.1007/s11334-011-0145-4}, doi = {10.1007/S11334-011-0145-4}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/RoyS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ShankarS11, author = {Natarajan Shankar and K. Subramani}, title = {A mechanical verification of the stressing algorithm for negative cost cycle detection in networks}, journal = {Sci. Comput. Program.}, volume = {76}, number = {7}, pages = {609--626}, year = {2011}, url = {https://doi.org/10.1016/j.scico.2010.08.002}, doi = {10.1016/J.SCICO.2010.08.002}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/ShankarS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/OwreS11, author = {Sam Owre and Natarajan Shankar}, editor = {Gul Agha and Olivier Danvy and Jos{\'{e}} Meseguer}, title = {Solving the First Verified Software Competition Problems Using {PVS}}, booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7000}, pages = {315--328}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24933-4\_16}, doi = {10.1007/978-3-642-24933-4\_16}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/OwreS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11, author = {Vladimir Klebanov and Peter M{\"{u}}ller and Natarajan Shankar and Gary T. Leavens and Valentin W{\"{u}}stholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark A. Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans and Stephan Tobies and Thomas Tuerk and Mattias Ulbrich and Benjamin Wei{\ss}}, editor = {Michael J. Butler and Wolfram Schulte}, title = {The 1st Verified Software Competition: Experience Report}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {154--168}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_14}, doi = {10.1007/978-3-642-21437-0\_14}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HoareS10, author = {Tony Hoare and Natarajan Shankar}, editor = {Zohar Manna and Doron A. Peled}, title = {Unraveling a Card Trick}, booktitle = {Time for Verification, Essays in Memory of Amir Pnueli}, series = {Lecture Notes in Computer Science}, volume = {6200}, pages = {195--201}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13754-9\_10}, doi = {10.1007/978-3-642-13754-9\_10}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HoareS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/RoyS10, author = {Pritam Roy and Natarajan Shankar}, editor = {C{\'{e}}sar A. Mu{\~{n}}oz}, title = {SimCheck: An Expressive Type System for Simulink}, booktitle = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C., USA, April 13-15, 2010. Proceedings}, series = {{NASA} Conference Proceedings}, volume = {{NASA/CP-2010-216215}}, pages = {149--160}, year = {2010}, timestamp = {Thu, 23 Jun 2016 15:53:27 +0200}, biburl = {https://dblp.org/rec/conf/nfm/RoyS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/Shankar10, author = {Natarajan Shankar}, editor = {Peter Csaba {\"{O}}lveczky}, title = {Rewriting, Inference, and Proof}, booktitle = {Rewriting Logic and Its Applications - 8th International Workshop, {WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6381}, pages = {1--14}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16310-4\_1}, doi = {10.1007/978-3-642-16310-4\_1}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/wrla/Shankar10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ShankarV11, author = {Natarajan Shankar and Marc Vaucher}, editor = {Edward Hermann Haeusler and Luis Fari{\~{n}}as del Cerro}, title = {The Mechanical Verification of a DPLL-Based Satisfiability Solver}, booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010}, series = {Electronic Notes in Theoretical Computer Science}, volume = {269}, pages = {3--17}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.entcs.2011.03.002}, doi = {10.1016/J.ENTCS.2011.03.002}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/ShankarV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/Shankar09, author = {Natarajan Shankar}, title = {Automated deduction for verification}, journal = {{ACM} Comput. Surv.}, volume = {41}, number = {4}, pages = {20:1--20:56}, year = {2009}, url = {https://doi.org/10.1145/1592434.1592437}, doi = {10.1145/1592434.1592437}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/Shankar09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/HoareMLS09, author = {C. A. R. Hoare and Jayadev Misra and Gary T. Leavens and Natarajan Shankar}, title = {The verified software initiative: {A} manifesto}, journal = {{ACM} Comput. Surv.}, volume = {41}, number = {4}, pages = {22:1--22:8}, year = {2009}, url = {https://doi.org/10.1145/1592434.1592439}, doi = {10.1145/1592434.1592439}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/HoareMLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip11-9/GehaniKS09, author = {Ashish Gehani and Florent Kirchner and Natarajan Shankar}, editor = {Gilbert L. Peterson and Sujeet Shenoi}, title = {System Support for Forensic Inference}, booktitle = {Advances in Digital Forensics {V} - Fifth {IFIP} {WG} 11.9 International Conference on Digital Forensics, Orlando, Florida, USA, January 26-28, 2009, Revised Selected Papers}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {306}, pages = {301--316}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04155-6\_23}, doi = {10.1007/978-3-642-04155-6\_23}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip11-9/GehaniKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/Shankar08, author = {Natarajan Shankar}, editor = {Sung Deok Cha and Jin{-}Young Choi and Moonzoo Kim and Insup Lee and Mahesh Viswanathan}, title = {Trust and Automation in Verification Tools}, booktitle = {Automated Technology for Verification and Analysis, 6th International Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5311}, pages = {4--17}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88387-6\_3}, doi = {10.1007/978-3-540-88387-6\_3}, timestamp = {Thu, 26 Jan 2023 14:05:52 +0100}, biburl = {https://dblp.org/rec/conf/atva/Shankar08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/laser/Shankar08, author = {Natarajan Shankar}, editor = {Peter M{\"{u}}ller}, title = {Fixpoints and Search in {PVS}}, booktitle = {Advanced Lectures on Software Engineering, {LASER} Summer School 2007/2008}, series = {Lecture Notes in Computer Science}, volume = {6029}, pages = {140--161}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-13010-6\_5}, doi = {10.1007/978-3-642-13010-6\_5}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/laser/Shankar08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/OwreS08, author = {Sam Owre and Natarajan Shankar}, editor = {Otmane A{\"{\i}}t Mohamed and C{\'{e}}sar A. Mu{\~{n}}oz and Sofi{\`{e}}ne Tahar}, title = {A Brief Overview of {PVS}}, booktitle = {Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5170}, pages = {22--27}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-71067-7\_5}, doi = {10.1007/978-3-540-71067-7\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/OwreS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vstte/2008, editor = {Natarajan Shankar and Jim Woodcock}, title = {Verified Software: Theories, Tools, Experiments, Second International Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5295}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87873-5}, doi = {10.1007/978-3-540-87873-5}, isbn = {978-3-540-87872-8}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vstte/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/MouraDS07, author = {Leonardo Mendon{\c{c}}a de Moura and Bruno Dutertre and Natarajan Shankar}, editor = {Werner Damm and Holger Hermanns}, title = {A Tutorial on Satisfiability Modulo Theories}, booktitle = {Computer Aided Verification, 19th International Conference, {CAV} 2007, Berlin, Germany, July 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4590}, pages = {20--36}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73368-3\_5}, doi = {10.1007/978-3-540-73368-3\_5}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/MouraDS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cade/2006, editor = {Ulrich Furbach and Natarajan Shankar}, title = {Automated Reasoning, Third International Joint Conference, {IJCAR} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4130}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814771}, doi = {10.1007/11814771}, isbn = {3-540-37187-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Shankar05, author = {Natarajan Shankar}, editor = {Ramaswamy Ramanujam and Sandeep Sen}, title = {Inference Systems for Logical Algorithms}, booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3821}, pages = {60--78}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11590156\_4}, doi = {10.1007/11590156\_4}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Shankar05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/MouraORRS04, author = {Leonardo Mendon{\c{c}}a de Moura and Sam Owre and Harald Rue{\ss} and John M. Rushby and Natarajan Shankar}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {The {ICS} Decision Procedures for Embedded Deduction}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {218--222}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_14}, doi = {10.1007/978-3-540-25984-8\_14}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/MouraORRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/MouraORRSST04, author = {Leonardo Mendon{\c{c}}a de Moura and Sam Owre and Harald Rue{\ss} and John M. Rushby and Natarajan Shankar and Maria Sorea and Ashish Tiwari}, editor = {Rajeev Alur and Doron A. Peled}, title = {{SAL} 2}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3114}, pages = {496--500}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27813-9\_45}, doi = {10.1007/978-3-540-27813-9\_45}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/MouraORRSST04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MouraRS05, author = {Leonardo Mendon{\c{c}}a de Moura and Harald Rue{\ss} and Natarajan Shankar}, editor = {Wolfgang Ahrendt and Peter Baumgartner and Hans de Nivelle and Silvio Ranise and Cesare Tinelli}, title = {Justifying Equality}, booktitle = {Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {125}, number = {3}, pages = {69--85}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.06.068}, doi = {10.1016/J.ENTCS.2004.06.068}, timestamp = {Tue, 13 Dec 2022 13:53:40 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MouraRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/TiwariSR03, author = {Ashish Tiwari and Natarajan Shankar and John M. Rushby}, title = {Invisible formal methods for embedded control systems}, journal = {Proc. {IEEE}}, volume = {91}, number = {1}, pages = {29--39}, year = {2003}, url = {https://doi.org/10.1109/JPROC.2002.805818}, doi = {10.1109/JPROC.2002.805818}, timestamp = {Mon, 04 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/TiwariSR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/FordS02, author = {Jonathan Ford and Natarajan Shankar}, editor = {Andrei Voronkov}, title = {Formal Verification of a Combination Decision Procedure}, booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2392}, pages = {347--362}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45620-1\_29}, doi = {10.1007/3-540-45620-1\_29}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/FordS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/Shankar02, author = {Natarajan Shankar}, editor = {Lars{-}Henrik Eriksson and Peter A. Lindsay}, title = {Little Engines of Proof}, booktitle = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2391}, pages = {1--20}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45614-7\_1}, doi = {10.1007/3-540-45614-7\_1}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/Shankar02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Shankar02, author = {Natarajan Shankar}, title = {Little Engines of Proof}, booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}, pages = {3}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/LICS.2002.1029812}, doi = {10.1109/LICS.2002.1029812}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Shankar02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/ShankarR02, author = {Natarajan Shankar and Harald Rue{\ss}}, editor = {Sophie Tison}, title = {Combining Shostak Theories}, booktitle = {Rewriting Techniques and Applications, 13th International Conference, {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2378}, pages = {1--18}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45610-4\_1}, doi = {10.1007/3-540-45610-4\_1}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/ShankarR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/unu/Shankar02, author = {Natarajan Shankar}, editor = {Bernhard K. Aichernig and T. S. E. Maibaum}, title = {Verification by Abstraction}, booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2757}, pages = {367--380}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40007-3\_23}, doi = {10.1007/978-3-540-40007-3\_23}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/unu/Shankar02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FilliatreORS01, author = {Jean{-}Christophe Filli{\^{a}}tre and Sam Owre and Harald Rue{\ss} and Natarajan Shankar}, editor = {G{\'{e}}rard Berry and Hubert Comon and Alain Finkel}, title = {{ICS:} Integrated Canonizer and Solver}, booktitle = {Computer Aided Verification, 13th International Conference, {CAV} 2001, Paris, France, July 18-22, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2102}, pages = {246--249}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44585-4\_22}, doi = {10.1007/3-540-44585-4\_22}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FilliatreORS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/RuessS01, author = {Harald Rue{\ss} and Natarajan Shankar}, title = {Deconstructing Shostak}, booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings}, pages = {19--28}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/LICS.2001.932479}, doi = {10.1109/LICS.2001.932479}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/RuessS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/Shankar01, author = {Natarajan Shankar}, editor = {Alberto Pettorossi}, title = {Static Analysis for Safe Destructive Updates in a Functional Language}, booktitle = {Logic Based Program Synthesis and Transformation, 11th International Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2372}, pages = {1--24}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45607-4\_1}, doi = {10.1007/3-540-45607-4\_1}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/Shankar01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TiwariRSS01, author = {Ashish Tiwari and Harald Rue{\ss} and Hassen Sa{\"{\i}}di and Natarajan Shankar}, editor = {Tiziana Margaria and Wang Yi}, title = {A Technique for Invariant Generation}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, {TACAS} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2031}, pages = {113--127}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45319-9\_9}, doi = {10.1007/3-540-45319-9\_9}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/TiwariRSS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/Shankar01, author = {Natarajan Shankar}, editor = {Richard J. Boulton and Paul B. Jackson}, title = {Using Decision Procedures with a Higher-Order Logic}, booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2152}, pages = {5--26}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44755-5\_3}, doi = {10.1007/3-540-44755-5\_3}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/Shankar01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/Shankar00, author = {Natarajan Shankar}, editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele}, title = {Symbolic Analysis of Transition Systems}, booktitle = {Abstract State Machines, Theory and Applications, International Workshop, {ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1912}, pages = {287--302}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44518-8\_16}, doi = {10.1007/3-540-44518-8\_16}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/Shankar00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Shankar00, author = {Natarajan Shankar}, editor = {Catuscia Palamidessi}, title = {Combining Theorem Proving and Model Checking through Symbolic Analysis}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {1--16}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_1}, doi = {10.1007/3-540-44618-4\_1}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Shankar00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/RuessSS99, author = {Harald Rue{\ss} and Natarajan Shankar and Mandayam K. Srivas}, title = {Modular Verification of {SRT} Division}, journal = {Formal Methods Syst. Des.}, volume = {14}, number = {1}, pages = {45--73}, year = {1999}, url = {https://doi.org/10.1023/A:1008617612073}, doi = {10.1023/A:1008617612073}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/RuessSS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/SaidiS99, author = {Hassen Sa{\"{\i}}di and Natarajan Shankar}, editor = {Nicolas Halbwachs and Doron A. Peled}, title = {Abstract and Model Check While You Prove}, booktitle = {Computer Aided Verification, 11th International Conference, {CAV} '99, Trento, Italy, July 6-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1633}, pages = {443--454}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48683-6\_38}, doi = {10.1007/3-540-48683-6\_38}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/SaidiS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/ShankarO99, author = {Natarajan Shankar and Sam Owre}, editor = {Didier Bert and Christine Choppy and Peter D. Mosses}, title = {Principles and Pragmatics of Subtyping in {PVS}}, booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18, 1999, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1827}, pages = {37--52}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-540-44616-3\_3}, doi = {10.1007/978-3-540-44616-3\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/ShankarO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wss/KulkarniRS99, author = {Sandeep S. Kulkarni and John M. Rushby and Natarajan Shankar}, editor = {Anish Arora}, title = {A case-study in component-based mechanical verification of fault-tolerant programs}, booktitle = {1999 {ICDCS} Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings}, pages = {33--40}, publisher = {{IEEE} Computer Society}, year = {1999}, timestamp = {Mon, 18 Jun 2018 20:48:42 +0200}, biburl = {https://dblp.org/rec/conf/wss/KulkarniRS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/RushbyOS98, author = {John M. Rushby and Sam Owre and Natarajan Shankar}, title = {Subtypes for Specifications: Predicate Subtyping in {PVS}}, journal = {{IEEE} Trans. Software Eng.}, volume = {24}, number = {9}, pages = {709--720}, year = {1998}, url = {https://doi.org/10.1109/32.713327}, doi = {10.1109/32.713327}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/RushbyOS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/OwreRSS98, author = {Sam Owre and John M. Rushby and Natarajan Shankar and David W. J. Stringer{-}Calvert}, editor = {Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullmann}, title = {{PVS:} An Experience Report}, booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1641}, pages = {338--345}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48257-1\_24}, doi = {10.1007/3-540-48257-1\_24}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/OwreRSS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/PnueliSS98, author = {Amir Pnueli and Natarajan Shankar and Eli Singerman}, editor = {Anders P. Ravn and Hans Rischel}, title = {Fair Synchronous Transition Systems and Their Liveness Proofs}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1486}, pages = {198--209}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055348}, doi = {10.1007/BFB0055348}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/PnueliSS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/QadeerS98, author = {Shaz Qadeer and Natarajan Shankar}, editor = {David Gries and Willem P. de Roever}, title = {Verifying a self-stabilizing mutual exclusion algorithm}, booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12 June 1998, Shelter Island, New York, {USA}}, series = {{IFIP} Conference Proceedings}, volume = {125}, pages = {424--443}, publisher = {Chapman {\&} Hall}, year = {1998}, timestamp = {Thu, 21 Nov 2002 11:12:21 +0100}, biburl = {https://dblp.org/rec/conf/procomet/QadeerS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compos/Shankar97, author = {Natarajan Shankar}, editor = {Willem P. de Roever and Hans Langmaack and Amir Pnueli}, title = {Lazy Compositional Verification}, booktitle = {Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1536}, pages = {541--564}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-49213-5\_21}, doi = {10.1007/3-540-49213-5\_21}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/compos/Shankar97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/OwreRS97, author = {Sam Owre and John M. Rushby and Natarajan Shankar}, editor = {Ed Brinksma}, title = {Integration in {PVS:} Tables, Types, and Model Checking}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, {TACAS} '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1217}, pages = {366--383}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0035400}, doi = {10.1007/BFB0035400}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/OwreRS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vlsid/RajanSS97, author = {Sreeranga P. Rajan and Natarajan Shankar and Mandayam K. Srivas}, title = {Industrial Strength Formal Verification Techniques for Hardware Designs}, booktitle = {10th International Conference on {VLSI} Design {(VLSI} Design 1997), 4-7 January 1997, Hyderabad, India}, pages = {208--212}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ICVD.1997.568077}, doi = {10.1109/ICVD.1997.568077}, timestamp = {Sun, 03 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vlsid/RajanSS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Shankar96, author = {Natarajan Shankar}, title = {Steps Toward Mechanizing Program Transformations Using {PVS}}, journal = {Sci. Comput. Program.}, volume = {26}, number = {1-3}, pages = {33--57}, year = {1996}, url = {https://doi.org/10.1016/0167-6423(96)00003-2}, doi = {10.1016/0167-6423(96)00003-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Shankar96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/CyrlukLS96, author = {David Cyrluk and Patrick Lincoln and Natarajan Shankar}, editor = {Michael A. McRobbie and John K. Slaney}, title = {On Shostak's Decision Procedure for Combinations of Theories}, booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1104}, pages = {463--477}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61511-3\_107}, doi = {10.1007/3-540-61511-3\_107}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/CyrlukLS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/RuessSS96, author = {Harald Rue{\ss} and Natarajan Shankar and Mandayam K. Srivas}, editor = {Rajeev Alur and Thomas A. Henzinger}, title = {Modular Verification of {SRT} Division}, booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1102}, pages = {123--134}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61474-5\_63}, doi = {10.1007/3-540-61474-5\_63}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/RuessSS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/OwreRRSS96, author = {Sam Owre and S. Rajan and John M. Rushby and Natarajan Shankar and Mandayam K. Srivas}, editor = {Rajeev Alur and Thomas A. Henzinger}, title = {{PVS:} Combining Specification, Proof Checking, and Model Checking}, booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1102}, pages = {411--414}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61474-5\_91}, doi = {10.1007/3-540-61474-5\_91}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/OwreRRSS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/HavelundS96, author = {Klaus Havelund and Natarajan Shankar}, editor = {Marie{-}Claude Gaudel and Jim Woodcock}, title = {Experiments in Theorem Proving and Model Checking for Protocol Verification}, booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1051}, pages = {662--681}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-60973-3\_113}, doi = {10.1007/3-540-60973-3\_113}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/HavelundS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/Shankar96, author = {Natarajan Shankar}, editor = {Mandayam K. Srivas and Albert John Camilleri}, title = {{PVS:} Combining Specification, Proof Checking, and Model Checking}, booktitle = {Formal Methods in Computer-Aided Design, First International Conference, {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1166}, pages = {257--264}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0031813}, doi = {10.1007/BFB0031813}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/Shankar96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/Shankar96, author = {Natarajan Shankar}, editor = {Bengt Jonsson and Joachim Parrow}, title = {Unifying Verification Paradigms}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1135}, pages = {22--39}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61648-9\_32}, doi = {10.1007/3-540-61648-9\_32}, timestamp = {Tue, 31 Aug 2021 12:07:12 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/Shankar96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/OwreRSH95, author = {Sam Owre and John M. Rushby and Natarajan Shankar and Friedrich W. von Henke}, title = {Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of {PVS}}, journal = {{IEEE} Trans. Software Eng.}, volume = {21}, number = {2}, pages = {107--125}, year = {1995}, url = {https://doi.org/10.1109/32.345827}, doi = {10.1109/32.345827}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/OwreRSH95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/RajanSS95, author = {S. Rajan and Natarajan Shankar and Mandayam K. Srivas}, editor = {Pierre Wolper}, title = {An Integration of Model Checking with Automated Proof Checking}, booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge, Belgium, July, 3-5, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {939}, pages = {84--97}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60045-0\_42}, doi = {10.1007/3-540-60045-0\_42}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/RajanSS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LincolnSS95, author = {Patrick Lincoln and Andre Scedrov and Natarajan Shankar}, title = {Decision Problems for Second-Order Linear Logic}, booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995}, pages = {476--485}, publisher = {{IEEE} Computer Society}, year = {1995}, url = {https://doi.org/10.1109/LICS.1995.523281}, doi = {10.1109/LICS.1995.523281}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LincolnSS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Shankar95, author = {Natarajan Shankar}, editor = {Bernhard M{\"{o}}ller}, title = {Computer-Aided Computing}, booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {947}, pages = {50--66}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60117-1\_5}, doi = {10.1007/3-540-60117-1\_5}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Shankar95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0084079, author = {Natarajan Shankar}, title = {Metamathematics, machines, and G{\"{o}}dels's proof}, series = {Cambridge tracts in theoretical computer science}, volume = {38}, publisher = {Cambridge University Press}, year = {1994}, isbn = {978-0-521-42027-3}, timestamp = {Fri, 19 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0084079.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/SkakkebaekS94, author = {Jens Ulrik Skakkeb{\ae}k and Natarajan Shankar}, editor = {Hans Langmaack and Willem P. de Roever and Jan Vytopil}, title = {Towards a Duration Calculus Proof Assistant in {PVS}}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {863}, pages = {660--679}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58468-4\_189}, doi = {10.1007/3-540-58468-4\_189}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/SkakkebaekS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DyckhoffS94, author = {Roy Dyckhoff and Natarajan Shankar}, editor = {Roy Dyckhoff and Lars{-}Henrik Eriksson and Alberto Momigliano and Mario Ornaghi}, title = {Proof Search (Tutorial)}, booktitle = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/iclp/DyckhoffS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Shankar94, author = {Natarajan Shankar}, editor = {Roy Dyckhoff and Lars{-}Henrik Eriksson and Alberto Momigliano and Mario Ornaghi}, title = {Using Proof Theory to Optimize Proof Search}, booktitle = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Shankar94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LincolnS94, author = {Patrick Lincoln and Natarajan Shankar}, title = {Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi}, booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science {(LICS} '94), Paris, France, July 4-7, 1994}, pages = {282--291}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/LICS.1994.316061}, doi = {10.1109/LICS.1994.316061}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LincolnS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/CyrlukRSS94, author = {David Cyrluk and S. Rajan and Natarajan Shankar and Mandayam K. Srivas}, editor = {Ramayya Kumar and Thomas Kropf}, title = {Effective Theorem Proving for Hardware Verification}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {203--222}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_50}, doi = {10.1007/3-540-59047-1\_50}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/CyrlukRSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tpcd/OwreRSS94, author = {Sam Owre and John M. Rushby and Natarajan Shankar and Mandayam K. Srivas}, editor = {Ramayya Kumar and Thomas Kropf}, title = {A Tutorial on Using {PVS} for Hardware Verification}, booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, {TPCD} '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {901}, pages = {258--279}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-59047-1\_53}, doi = {10.1007/3-540-59047-1\_53}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tpcd/OwreRSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/Shankar93, author = {Natarajan Shankar}, title = {David A. McAllester, Ontic: {A} Knowledge Representation System for Mathematics}, journal = {Artif. Intell.}, volume = {62}, number = {2}, pages = {355--362}, year = {1993}, url = {https://doi.org/10.1016/0004-3702(93)90083-N}, doi = {10.1016/0004-3702(93)90083-N}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/Shankar93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/LincolnSS93, author = {Patrick Lincoln and Andre Scedrov and Natarajan Shankar}, title = {Linearizing Intuitionistic Implication}, journal = {Ann. Pure Appl. Log.}, volume = {60}, number = {2}, pages = {151--177}, year = {1993}, url = {https://doi.org/10.1016/0168-0072(93)90041-B}, doi = {10.1016/0168-0072(93)90041-B}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/LincolnSS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Shankar93, author = {Natarajan Shankar}, editor = {Costas Courcoubetis}, title = {Verification of Real-Time Systems Using {PVS}}, booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {697}, pages = {280--291}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56922-7\_23}, doi = {10.1007/3-540-56922-7\_23}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/Shankar93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/OwreRSH93, author = {Sam Owre and John M. Rushby and Natarajan Shankar and Friedrich W. von Henke}, editor = {Jim Woodcock and Peter Gorm Larsen}, title = {Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned}, booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {670}, pages = {482--500}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/BFb0024663}, doi = {10.1007/BFB0024663}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/OwreRSH93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/LincolnMSS92, author = {Patrick Lincoln and John C. Mitchell and Andre Scedrov and Natarajan Shankar}, title = {Decision Problems for Propositional Linear Logic}, journal = {Ann. Pure Appl. Log.}, volume = {56}, number = {1-3}, pages = {239--311}, year = {1992}, url = {https://doi.org/10.1016/0168-0072(92)90075-B}, doi = {10.1016/0168-0072(92)90075-B}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/LincolnMSS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Shankar92, author = {Natarajan Shankar}, editor = {Deepak Kapur}, title = {Proof Search in the Intuitionistic Sequent Calculus}, booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {607}, pages = {522--536}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55602-8\_189}, doi = {10.1007/3-540-55602-8\_189}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Shankar92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/OwreRS92, author = {Sam Owre and John M. Rushby and Natarajan Shankar}, editor = {Deepak Kapur}, title = {{PVS:} {A} Prototype Verification System}, booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {607}, pages = {748--752}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55602-8\_217}, doi = {10.1007/3-540-55602-8\_217}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/OwreRS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/Shankar92, author = {Natarajan Shankar}, editor = {Jan Vytopil}, title = {Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {571}, pages = {217--236}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55092-5\_12}, doi = {10.1007/3-540-55092-5\_12}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/Shankar92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compcon/JoyceLRSSH91, author = {Jeffrey Joyce and Erwin Liu and John M. Rushby and Natarajan Shankar and Roberto Suaya and Friedrich W. von Henke}, title = {From formal verification to silicon compilation}, booktitle = {Compcon Spring '91, San Francisco, California, USA, February 25 - March 1, 1991. Digest of Papers}, pages = {450--455}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/CMPCON.1991.128848}, doi = {10.1109/CMPCON.1991.128848}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/compcon/JoyceLRSSH91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/LincolnSS91, author = {Patrick Lincoln and Andre Scedrov and Natarajan Shankar}, title = {Linearizing Intuitionistic Implication}, booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991}, pages = {51--62}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/LICS.1991.151630}, doi = {10.1109/LICS.1991.151630}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/LincolnSS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/LincolnMSS90, author = {Patrick Lincoln and John C. Mitchell and Andre Scedrov and Natarajan Shankar}, title = {Decision Problems for Propositional Linear Logic}, booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume {II}}, pages = {662--671}, publisher = {{IEEE} Computer Society}, year = {1990}, url = {https://doi.org/10.1109/FSCS.1990.89588}, doi = {10.1109/FSCS.1990.89588}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/LincolnMSS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/ShankarR88, author = {Natarajan Shankar and V. Ramachandran}, title = {Efficient Parallel Circuits and Algorithms for Division}, journal = {Inf. Process. Lett.}, volume = {29}, number = {6}, pages = {307--313}, year = {1988}, url = {https://doi.org/10.1016/0020-0190(88)90230-X}, doi = {10.1016/0020-0190(88)90230-X}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/ShankarR88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Shankar88, author = {Natarajan Shankar}, title = {A mechanical proof of the Church-Rosser theorem}, journal = {J. {ACM}}, volume = {35}, number = {3}, pages = {475--522}, year = {1988}, url = {https://doi.org/10.1145/44483.44484}, doi = {10.1145/44483.44484}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Shankar88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Shankar85, author = {Natarajan Shankar}, title = {Towards Mechanical Metamathematics}, journal = {J. Autom. Reason.}, volume = {1}, number = {4}, pages = {407--434}, year = {1985}, url = {https://doi.org/10.1007/BF00244278}, doi = {10.1007/BF00244278}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Shankar85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.