bibliography kedar

1. E. A. Emerson and K. S. Namjoshi, Reasoning about Rings, 22nd ACM Symposium on Principles of Programming Languages, pp. 85-94, 1995.
2. E. A. Emerson and K. S. Namjoshi, Automatic Verification of Parameterized Synchronous Systems, 8th Conference on Computer Aided Verification, pp. 87-98, LNCS 1102, 1996.
3. R. Raimi and R. Hojati and K. S. Namjoshi, Environment Modeling and the Safe Removal of Universal Finite State Machines, IEEE High Level Design Verification and Testing Workshop, 1997, (Journal version in ACM TODAES July 2000.) .
4. K. S. Namjoshi, A Simple Characterization of Stuttering Bisimulation, 17th Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 284-296, LNCS 1346, 1997.
5. E. A. Emerson and Kedar S. Namjoshi, On Model Checking for Nondeterministic Infinite State Systems, 13th IEEE Symposium on Logic in Computer Science, pp. 70-80, 1998.
6. E. A. Emerson and Kedar S. Namjoshi, Verification of a Parameterized Bus Arbitration Protocol, 10th Conference on Computer Aided Verification, pp. 452-463, LNCS 1427, 1998.
7. Panagiotis Manolios and Kedar S. Namjoshi and Robert Sumners, Linking Theorem Proving and Model Checking with Well Founded Bisimulation, 11th Conference on Computer Aided Verification, 1633, pp. 369-379, LNCS, 1999.
8. Kedar S. Namjoshi and Robert P. Kurshan, Efficient Analysis of Cyclic Definitions, 11th Conference on Computer Aided Verification, 1633, pp. 394-405, LNCS, 1999.
9. Nina Amla and E. Allen Emerson and Kedar S. Namjoshi, Efficient Decompositional Model-Checking for Regular Timing Diagrams, 10th IFIP Conference on Correct Hardware Design and Verification Methods, LNCS, 1999.
10. Amy P. Felty and Kedar S. Namjoshi, Feature Specification and Automated Conflict Detection, Feature Interactions Workshop, IOS Press, 2000.
11. Kedar S. Namjoshi and Robert P. Kurshan, Syntactic Program Transformations for Automatic Abstraction, 12th Conference on Computer Aided Verification, 1855, LNCS, 2000.
12. Kedar S. Namjoshi and Richard J. Trefler, On the Completeness of Compositional Reasoning, 12th Conference on Computer Aided Verification, 1855, LNCS, 2000.
13. Richard Raimi and Ramin Hojati and Kedar S. Namjoshi, Environment Modeling and Language Universality, ACM Transactions on Design Automation in Electronic Systems (TODAES), Vol. 5, 3, July 2000.
14. Nina Amla and E. Allen Emerson and Robert P. Kurshan and Kedar S. Namjoshi, Model Checking Synchronous Timing Diagrams, FMCAD (Formal Methods in Computer Aided Design), LNCS, 2000.
15. Nina Amla and E. Allen Emerson and Kedar S. Namjoshi and Richard J. Trefler, Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams, TACAS, 2001.
16. Nina Amla and E. Allen Emerson and Robert P. Kurshan and Kedar S. Namjoshi, RTDT: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams, 13th Conference on Computer Aided Verification (CAV), 2001.
17. Kedar S. Namjoshi, Certifying Model Checkers, 13th Conference on Computer Aided Verification (CAV), 2001.
18. Nina Amla and E. Allen Emerson and Kedar S. Namjoshi and Richard J. Trefler, Visual Specifications for Modular Reasoning about Asynchronous Systems, FORTE, 2002, (Best Paper Award) .
19. Kedar S. Namjoshi, Lifting Temporal Proofs through Abstractions, VMCAI, 2003.
20. Dennis Dams and Kedar S. Namjoshi, Shape Analysis through Predicate Abstraction and Model Checking, VMCAI, 2003.