Kedar S. Namjoshi

According to our database1, Kedar S. Namjoshi authored at least 62 papers between 1996 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Synthesis of coordination programs from linear temporal specifications.
Proc. ACM Program. Lang., 2020

Witnessing Secure Compilation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019
Synthesis of coordination programs from linear temporal logic.
CoRR, 2019

2018
Compositional Reasoning.
Proceedings of the Handbook of Model Checking., 2018

Securing a compiler transformation.
Formal Methods Syst. Des., 2018

Symmetry Reduction for the Local Mu-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

The Impact of Program Transformations on Static Program Analysis.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Synthesis of Asynchronous Reactive Programs from Temporal Specifications.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Securing the SSA Transform.
Proceedings of the Static Analysis - 24th International Symposium, 2017

Witnessing Network Transformations.
Proceedings of the Runtime Verification - 17th International Conference, 2017

2016
Parameterized Compositional Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Loopy: Programmable and Formally Verified Loop Transformations.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015
From Verification to Optimizations.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Analysis of Dynamic Process Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Loop Freedom in AODVv2.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2013
Model Checking in Bits and Pieces.
Proceedings of the Semantics, 2013

Uncovering Symmetries in Irregular Process Networks.
Proceedings of the Verification, 2013

Witnessing Program Transformations.
Proceedings of the Static Analysis - 20th International Symposium, 2013

A Witnessing Compiler: A Proof of Concept.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
The Inherent Difficulty of Timely Primary-Backup Replication.
Bell Labs Tech. J., 2012

Local Symmetry and Compositional Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011
Formalization and Automated Verification of RESTful Behavior.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
On the completeness of compositional reasoning methods.
ACM Trans. Comput. Log., 2010

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

Robust and Fast Pattern Matching for Intrusion Detection.
Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Parallelizing a Symbolic Compositional Model-Checking Algorithm.
Proceedings of the Hardware and Software: Verification and Testing, 2010

SPLIT: A Compositional LTL Verifier.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

A Dash of Fairness for Compositional Reasoning.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Simple and fast biased locks.
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010

2009
Local proofs for global safety properties.
Formal Methods Syst. Des., 2009

Telco meets the Web: Programming shared-experience services.
Bell Labs Tech. J., 2009

2008
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Local Proofs for Linear-Time Properties of Concurrent Programs.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Symmetry and Completeness in the Analysis of Parameterized Systems.
Proceedings of the Verification, 2007

2005
Automata as Abstractions.
Proceedings of the Verification, 2005

Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Incremental Algorithms for Inter-procedural Analysis of Safety Properties.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
The Existence of Finite Abstractions for Branching Time Model Checking.
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.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Feature specification and automated conflict detection.
ACM Trans. Softw. Eng. Methodol., 2003

On Reasoning About Rings.
Int. J. Found. Comput. Sci., 2003

Lifting Temporal Proofs through Abstractions.
Proceedings of the Verification, 2003

Shape Analysis through Predicate Abstraction and Model Checking.
Proceedings of the Verification, 2003

Abstract Patterns of Compositional Reasoning.
Proceedings of the CONCUR 2003, 2003

Abstraction for Branching Time Properties.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Visual Specifications for Modular Reasoning about Asynchronous Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Certifying Model Checkers.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Environment modeling and language universality.
ACM Trans. Design Autom. Electr. Syst., 2000

Model Checking Synchronous Timing Diagrams.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Feature Specification and Automatic Conflict Detection.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

On the Competeness of Compositional Reasoning.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Syntactic Program Transformations for Automatic Abstraction.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Efficient Decompositional Model Checking for Regular Timing Diagrams.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Efficient Analysis of Cyclic Definitions.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
On Model Checking for Non-Deterministic Infinite-State Systems.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Verification of Parameterized Bus Arbitration Protocol.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
A Simple Characterization of Stuttering Bisimulation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

1996
Automatic Verification of Parameterized Synchronous Systems (Extended Abstract).
Proceedings of the Computer Aided Verification, 8th International Conference, 1996


  Loading...