Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). - E. Allen Emerson; Kedar S. Namjoshi (CAV, 1996)

A Simple Characterization of Stuttering Bisimulation. - Kedar S. Namjoshi (FSTTCS, 1997)

Verification of Parameterized Bus Arbitration Protocol. - E. Allen Emerson; Kedar S. Namjoshi (CAV, 1998)

On Model Checking for Non-Deterministic Infinite-State Systems. - E. Allen Emerson; Kedar S. Namjoshi (LICS, 1998)

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. - Panagiotis Manolios; Kedar S. Namjoshi; Robert Summers (CAV, 1999)

Efficient Analysis of Cyclic Definitions. - Kedar S. Namjoshi; Robert P. Kurshan (CAV, 1999)

Efficient Decompositional Model Checking for Regular Timing Diagrams. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi (CHARME, 1999)

Syntactic Program Transformations for Automatic Abstraction. - Kedar S. Namjoshi; Robert P. Kurshan (CAV, 2000)

On the Competeness of Compositional Reasoning. - Kedar S. Namjoshi; Richard J. Trefler (CAV, 2000)

Feature Specification and Automatic Conflict Detection. - Amy P. Felty; Kedar S. Namjoshi (FIW, 2000)

Model Checking Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Robert P. Kurshan; Kedar S. Namjoshi (FMCAD, 2000)

Environment modeling and language universality. - Richard Raimi; Ramin Hojati; Kedar S. Namjoshi (ACM Trans. Design Autom. Electr. Syst., 2000)

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Robert P. Kurshan; Kedar S. Namjoshi (CAV, 2001)

Certifying Model Checkers. - Kedar S. Namjoshi (CAV, 2001)

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler (TACAS, 2001)

Visual Specifications for Modular Reasoning about Asynchronous Systems. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler (FORTE, 2002)

Abstraction for Branching Time Properties. - Kedar S. Namjoshi (CAV, 2003)

Abstract Patterns of Compositional Reasoning. - Nina Amla; E. Allen Emerson; Kedar S. Namjoshi; Richard J. Trefler (CONCUR, 2003)

Shape Analysis through Predicate Abstraction and Model Checking. - Dennis Dams; Kedar S. Namjoshi (VMCAI, 2003)

Lifting Temporal Proofs through Abstractions. - Kedar S. Namjoshi (VMCAI, 2003)

On Reasoning About Rings. - E. Allen Emerson; Kedar S. Namjoshi (Int. J. Found. Comput. Sci., 2003)

Feature specification and automated conflict detection. - Amy P. Felty; Kedar S. Namjoshi (ACM Trans. Softw. Eng. Methodol., 2003)

An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. - Kedar S. Namjoshi (CAV, 2004)

The Existence of Finite Abstractions for Branching Time Model Checking. - Dennis Dams; Kedar S. Namjoshi (LICS, 2004)

Incremental Algorithms for Inter-procedural Analysis of Safety Properties. - Christopher L. Conway; Kedar S. Namjoshi; Dennis Dams; Stephen A. Edwards (CAV, 2005)

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. - Dennis Dams; Kedar S. Namjoshi (FMCO, 2005)

Automata as Abstractions. - Dennis Dams; Kedar S. Namjoshi (VMCAI, 2005)

Symmetry and Completeness in the Analysis of Parameterized Systems. - Kedar S. Namjoshi (VMCAI, 2007)

Local Proofs for Linear-Time Properties of Concurrent Programs. - Ariel Cohen 002; Kedar S. Namjoshi (CAV, 2008)

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. - Christopher L. Conway; Dennis Dams; Kedar S. Namjoshi; Clark W. Barrett (SAS, 2008)

Telco meets the Web: Programming shared-experience services. - Robert M. Arlein; Dennis Dams; Richard B. Hull; John P. Letourneau; Kedar S. Namjoshi (Bell Labs Tech. J., 2009)

Local proofs for global safety properties. - Ariel Cohen 002; Kedar S. Namjoshi (Formal Methods Syst. Des., 2009)

Simple and fast biased locks. - Nalini Vasudevan; Kedar S. Namjoshi; Stephen A. Edwards (PACT, 2010)

A Dash of Fairness for Compositional Reasoning. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar (CAV, 2010)

SPLIT: A Compositional LTL Verifier. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar (CAV, 2010)

Parallelizing a Symbolic Compositional Model-Checking Algorithm. - Ariel Cohen 002; Kedar S. Namjoshi; Yaniv Sa'ar; Lenore D. Zuck; Katya I. Kisyova (Haifa Verification Conference, 2010)

Robust and Fast Pattern Matching for Intrusion Detection. - Kedar S. Namjoshi; Girija J. Narlikar (INFOCOM, 2010)

Preface. - Kedar S. Namjoshi; Tomohiro Yoneda (Int. J. Found. Comput. Sci., 2010)

On the completeness of compositional reasoning methods. - Kedar S. Namjoshi; Richard J. Trefler (ACM Trans. Comput. Log., 2010)

Formalization and Automated Verification of RESTful Behavior. - Uri Klein; Kedar S. Namjoshi (CAV, 2011)

Local Symmetry and Compositional Verification. - Kedar S. Namjoshi; Richard J. Trefler (VMCAI, 2012)

The Inherent Difficulty of Timely Primary-Backup Replication. - Pramod V. Koppol; Kedar S. Namjoshi; Thanos Stathopoulos; Gordon T. Wilfong (Bell Labs Tech. J., 2012)

A Witnessing Compiler: A Proof of Concept. - Kedar S. Namjoshi; Giacomo Tagliabue; Lenore D. Zuck (RV, 2013)

Witnessing Program Transformations. - Kedar S. Namjoshi; Lenore D. Zuck (SAS, 2013)

Uncovering Symmetries in Irregular Process Networks. - Kedar S. Namjoshi; Richard J. Trefler (VMCAI, 2013)

Model Checking in Bits and Pieces. - Kedar S. Namjoshi (Festschrift for Dave Schmidt, 2013)

Loop Freedom in AODVv2. - Kedar S. Namjoshi; Richard J. Trefler (FORTE, 2015)

Analysis of Dynamic Process Networks. - Kedar S. Namjoshi; Richard J. Trefler (TACAS, 2015)

From Verification to Optimizations. - Rigel Gjomemo; Kedar S. Namjoshi; Phu H. Phung; V. N. Venkatakrishnan; Lenore D. Zuck (VMCAI, 2015)

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers. - Rigel Gjomemo; Phu H. Phung; Edmund Ballou; Kedar S. Namjoshi; V. N. Venkatakrishnan; Lenore D. Zuck (QRS, 2016)

Loopy: Programmable and Formally Verified Loop Transformations. - Kedar S. Namjoshi; Nimit Singhania (SAS, 2016)

Parameterized Compositional Model Checking. - Kedar S. Namjoshi; Richard J. Trefler (TACAS, 2016)

Witnessing Network Transformations. - Chaoqiang Deng; Kedar S. Namjoshi (RV, 2017)

Securing the SSA Transform. - Chaoqiang Deng; Kedar S. Namjoshi (SAS, 2017)

Synthesis of Asynchronous Reactive Programs from Temporal Specifications. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (CAV (1), 2018)

The Impact of Program Transformations on Static Program Analysis. - Kedar S. Namjoshi; Zvonimir Pavlinovic (SAS, 2018)

Symmetry Reduction for the Local Mu-Calculus. - Kedar S. Namjoshi; Richard J. Trefler (TACAS (2), 2018)

Securing a compiler transformation. - Chaoqiang Deng; Kedar S. Namjoshi (Formal Methods Syst. Des., 2018)

Compositional Reasoning. - Dimitra Giannakopoulou; Kedar S. Namjoshi; Corina S. Pasareanu (Handbook of Model Checking, 2018)

Synthesis of coordination programs from linear temporal logic. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (CoRR, 2019)

Witnessing Secure Compilation. - Kedar S. Namjoshi; Lucas M. Tabajara (VMCAI, 2020)

Synthesis of coordination programs from linear temporal specifications. - Suguman Bansal; Kedar S. Namjoshi; Yaniv Sa'ar (Proc. ACM Program. Lang., 2020)

The Resh Programming Language for Multirobot Orchestration. - Martin Carroll; Kedar S. Namjoshi; Itai Segall (ICRA, 2021)

A Self-certifying Compilation Framework for WebAssembly. - Kedar S. Namjoshi; Anton Xue (VMCAI, 2021)

Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. - Ruoxi Zhang; Richard J. Trefler; Kedar S. Namjoshi (FMCAD, 2022)

Synthesis of Compact Strategies for Coordination Programs. - Kedar S. Namjoshi; Nisarg Patel (TACAS (1), 2022)

A Two-phase Protocol for Atomic Multi-chain Transactions. - Huaixi Lu; Akshay Jajoo; Kedar S. Namjoshi (DIN@CoNEXT, 2024)

Algorithms for In-Place, Consistent Network Update. - Kedar S. Namjoshi; Sougol Gheissi; Krishan K. Sabnani (SIGCOMM, 2024)

Atomicity and Abstraction for Cross-Blockchain Interactions. - Huaixi Lu; Akshay Jajoo; Kedar S. Namjoshi (CoRR, 2024)

Constructing Trustworthy Smart Contracts. - Devora Chait-Roth; Kedar S. Namjoshi (VMCAI (2), 2025)

Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications. - Ruoxi Zhang; Richard J. Trefler; Kedar S. Namjoshi (VMCAI (2), 2025)

Program Correctness through Self-Certification. - Kedar S. Namjoshi; Lenore D. Zuck (Commun. ACM, 2025)

Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework. - Yuan Xia; Akanksha Atrey; Fadoua Khmaissia; Kedar S. Namjoshi (CoRR, 2025)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. - David A. Basin; Nate Foster; Kenneth L. McMillan; Kedar S. Namjoshi; Cristina Nita-Rotaru; Jonathan M. Smith; Pamela Zave; Lenore D. Zuck (Commun. ACM, 2025)