Kedar S. Namjoshi

CoRR, 2024

2022

Synthesis of Compact Strategies for Coordination Programs.

[BibT_eX]

[DOI]

Nisarg Patel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.

[BibT_eX]

[DOI]

Ruoxi Zhang

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

A Self-certifying Compilation Framework for WebAssembly.

[BibT_eX]

[DOI]

Anton Xue

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

The Resh Programming Language for Multirobot Orchestration.

[BibT_eX]

[DOI]

Martin Carroll

Itai Segall

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Synthesis of coordination programs from linear temporal specifications.

[BibT_eX]

[DOI]

Suguman Bansal

Proc. ACM Program. Lang., 2020

Witnessing Secure Compilation.

[BibT_eX]

[DOI]

Lucas M. Tabajara

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Synthesis of coordination programs from linear temporal logic.

[BibT_eX]

[DOI]

Suguman Bansal

CoRR, 2019

2018

Compositional Reasoning.

[BibT_eX]

[DOI]

Dimitra Giannakopoulou

Corina S. Pasareanu

Proceedings of the Handbook of Model Checking., 2018

Securing a compiler transformation.

[BibT_eX]

[DOI]

Chaoqiang Deng

Formal Methods Syst. Des., 2018

Symmetry Reduction for the Local Mu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

The Impact of Program Transformations on Static Program Analysis.

[BibT_eX]

[DOI]

Zvonimir Pavlinovic

Proceedings of the Static Analysis - 25th International Symposium, 2018

Synthesis of Asynchronous Reactive Programs from Temporal Specifications.

[BibT_eX]

[DOI]

Suguman Bansal

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Securing the SSA Transform.

[BibT_eX]

[DOI]

Chaoqiang Deng

Proceedings of the Static Analysis - 24th International Symposium, 2017

Witnessing Network Transformations.

[BibT_eX]

[DOI]

Chaoqiang Deng

Proceedings of the Runtime Verification - 17th International Conference, 2017

2016

Parameterized Compositional Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Loopy: Programmable and Formally Verified Loop Transformations.

[BibT_eX]

[DOI]

Nimit Singhania

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers.

[BibT_eX]

[DOI]

V. N. Venkatakrishnan

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015

From Verification to Optimizations.

[BibT_eX]

[DOI]

Rigel Gjomemo

Phu H. Phung

V. N. Venkatakrishnan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Analysis of Dynamic Process Networks.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Loop Freedom in AODVv2.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2013

Model Checking in Bits and Pieces.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2013

Uncovering Symmetries in Irregular Process Networks.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Witnessing Program Transformations.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 20th International Symposium, 2013

A Witnessing Compiler: A Proof of Concept.

[BibT_eX]

[DOI]

Giacomo Tagliabue

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

The Inherent Difficulty of Timely Primary-Backup Replication.

[BibT_eX]

[DOI]

Bell Labs Tech. J., 2012

Local Symmetry and Compositional Verification.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Formalization and Automated Verification of RESTful Behavior.

[BibT_eX]

[DOI]

Uri Klein

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

On the completeness of compositional reasoning methods.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

Preface.

[BibT_eX]

[DOI]

Tomohiro Yoneda

Int. J. Found. Comput. Sci., 2010

Robust and Fast Pattern Matching for Intrusion Detection.

[BibT_eX]

[DOI]

Girija J. Narlikar

Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Parallelizing a Symbolic Compositional Model-Checking Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2010

SPLIT: A Compositional LTL Verifier.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

A Dash of Fairness for Compositional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Simple and fast biased locks.

[BibT_eX]

[DOI]

Nalini Vasudevan

Stephen A. Edwards

Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009

Local proofs for global safety properties.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2009

Telco meets the Web: Programming shared-experience services.

[BibT_eX]

[DOI]

Bell Labs Tech. J., 2009

2008

Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.

[BibT_eX]

[DOI]

Christopher L. Conway

Clark W. Barrett

Proceedings of the Static Analysis, 15th International Symposium, 2008

Local Proofs for Linear-Time Properties of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Symmetry and Completeness in the Analysis of Parameterized Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

2005

Automata as Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Incremental Algorithms for Inter-procedural Analysis of Safety Properties.

[BibT_eX]

[DOI]

Christopher L. Conway

Stephen A. Edwards

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

The Existence of Finite Abstractions for Branching Time Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Feature specification and automated conflict detection.

[BibT_eX]

[DOI]

Amy P. Felty

ACM Trans. Softw. Eng. Methodol., 2003

On Reasoning About Rings.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2003

Lifting Temporal Proofs through Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2003

Shape Analysis through Predicate Abstraction and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2003

Abstract Patterns of Compositional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

Abstraction for Branching Time Properties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Visual Specifications for Modular Reasoning about Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Certifying Model Checkers.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Environment modeling and language universality.

[BibT_eX]

[DOI]

Richard Raimi

Ramin Hojati

ACM Trans. Design Autom. Electr. Syst., 2000

Model Checking Synchronous Timing Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Feature Specification and Automatic Conflict Detection.

[BibT_eX]

Amy P. Felty

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

On the Competeness of Compositional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Syntactic Program Transformations for Automatic Abstraction.

[BibT_eX]

[DOI]

Robert P. Kurshan

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Efficient Decompositional Model Checking for Regular Timing Diagrams.

[BibT_eX]

[DOI]

Nina Amla

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Efficient Analysis of Cyclic Definitions.

[BibT_eX]

[DOI]

Robert P. Kurshan

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.

[BibT_eX]

[DOI]

Panagiotis Manolios

Robert Summers

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

On Model Checking for Non-Deterministic Infinite-State Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Verification of Parameterized Bus Arbitration Protocol.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

A Simple Characterization of Stuttering Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

1996

Automatic Verification of Parameterized Synchronous Systems (Extended Abstract).

[BibT_eX]

[DOI]