@InProceedings{EN95,
  author = 	 {E. A. Emerson and K. S. Namjoshi},
  title = 	 {Reasoning about Rings},
  booktitle = 	 {22nd ACM Symposium on Principles of Programming Languages},
  year =	 {1995},
  pages =	 {85-94}
}


@InProceedings{EN96,
  author = 	 {E. A. Emerson and K. S. Namjoshi},
  title = 	 {Automatic Verification of Parameterized Synchronous Systems},
  booktitle = 	 {8th Conference on Computer Aided Verification},
  series =	 {LNCS 1102},
  year =	 {1996},
  pages =	 {87-98}
}

@InProceedings{RHN97,
  author = 	 {R. Raimi and R. Hojati and K. S. Namjoshi},
  title = 	 {Environment Modeling and the Safe Removal of Universal Finite State Machines},
  booktitle = 	 {IEEE High Level Design Verification and Testing Workshop},
  year =	 {1997},
  note =	 {Journal version in ACM TODAES, July 2000.}
}

@InProceedings{Namjoshi97,
  author = 	 {K. S. Namjoshi},
  title = 	 {A Simple Characterization of Stuttering Bisimulation},
  booktitle = 	 {17th Conference on Foundations of Software Technology and Theoretical Computer Science},
  series =	 {LNCS 1346},
  year =	 {1997},
  pages =	 {284-296}
}

@InProceedings{EN98a,
  author = 	 {E. A. Emerson and Kedar S. Namjoshi},
  title = 	 {On Model Checking for Nondeterministic Infinite State Systems},
  booktitle = 	 {13th IEEE Symposium on Logic in Computer Science},
  year =	 {1998},
  pages =	 {70-80}
}

@InProceedings{EN98b,
  author = 	 {E. A. Emerson and Kedar S. Namjoshi},
  title = 	 {Verification of a Parameterized Bus Arbitration Protocol},
  booktitle = 	 {10th Conference on Computer Aided Verification},
  series =	 {LNCS 1427},
  year =	 {1998},
  pages =	 {452-463}
}

@InProceedings{MNS99,
  author = 	 {Panagiotis Manolios and Kedar S. Namjoshi and Robert Sumners},
  title = 	 {Linking Theorem Proving and Model Checking with Well Founded Bisimulation},
  booktitle = 	 {11th Conference on Computer Aided Verification},
  number =	 {1633},
  series =	 {LNCS},
  year =	 {1999},
  pages =	 {369-379}
}

@InProceedings{NK99,
  author = 	 {Kedar S. Namjoshi and Robert P. Kurshan},
  title = 	 {Efficient Analysis of Cyclic Definitions},
  booktitle = 	 {11th Conference on Computer Aided Verification},
  number =	 {1633},
  series =	 {LNCS},
  year =	 {1999},
  pages =	 {394-405}
}


@InProceedings{AEN99,
  author = 	 {Nina Amla and E. Allen Emerson and Kedar S. Namjoshi},
  title = 	 {Efficient Decompositional Model-Checking for Regular Timing Diagrams},
  booktitle = 	 {10th IFIP Conference on Correct Hardware Design and Verification Methods},
  series =       {LNCS}, 
  year = 	 {1999}
}


@InProceedings{fn00,
  author = 	 {Amy P. Felty and Kedar S. Namjoshi},
  title = 	 {Feature Specification and Automated Conflict Detection},
  booktitle = 	 {Feature Interactions Workshop},
  year =	 {2000},
  publisher =	 {IOS Press}
}


@InProceedings{nk00,
  author = 	 {Kedar S. Namjoshi and Robert P. Kurshan},
  title = 	 {Syntactic Program Transformations for Automatic Abstraction},
  booktitle = 	 {12th Conference on Computer Aided Verification},
  number =	 {1855},
  series =	 {LNCS},
  year =	 {2000}
}


@InProceedings{nt00,
  author = 	 {Kedar S. Namjoshi and Richard J. Trefler},
  title = 	 {On the Completeness of Compositional Reasoning}, 
  booktitle = 	 {12th Conference on Computer Aided Verification},
  number =	 {1855},
  series =	 {LNCS},
  year =	 {2000}
}

@Article{rhn00,
  author = 	 {Richard Raimi and Ramin Hojati and Kedar S. Namjoshi},
  title = 	 {Environment Modeling and Language Universality},
  journal = 	 {ACM Transactions on Design Automation in Electronic Systems (TODAES)},
  year = 	 {2000},
  volume =	 {5},
  number =	 {3},
  month =	 {July}
}

@InProceedings{aekn00,
  author = 	 {Nina Amla and E. Allen Emerson and Robert P. Kurshan and Kedar S. Namjoshi},
  title = 	 {Model Checking Synchronous Timing Diagrams},
  booktitle = 	 {FMCAD (Formal Methods in Computer Aided Design)},
  series =	 {LNCS},
  year =	 {2000}
}

@InProceedings{tacas01,
  author = 	 {Nina Amla and E. Allen Emerson and Kedar S. Namjoshi and Richard J. Trefler},
  title = 	 {Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams},
  booktitle = 	 {TACAS},
  year =	 {2001}
}

@InProceedings{cav01-tool, 
  author = 	 {Nina Amla and E. Allen Emerson and Robert P. Kurshan and Kedar S. Namjoshi},
  title = 	 {RTDT: A Front-End for Efficient Model Checking of Synchronous
Timing Diagrams},
  booktitle = 	 {13th Conference on Computer Aided Verification (CAV)},
  year =	 {2001}
}

@InProceedings{Namjoshi-cav01, 
  author = 	 {Kedar S. Namjoshi}, 
  title = 	 {Certifying Model Checkers}, 
  booktitle = 	 {13th Conference on Computer Aided Verification (CAV)},
  year =	 {2001}
}

@InProceedings{forte2002,
  author = 	 {Nina Amla and E. Allen Emerson and Kedar S. Namjoshi and Richard J. Trefler}, 
  title = 	 {Visual Specifications for Modular Reasoning about 
Asynchronous Systems}, 
  booktitle = 	 {FORTE},
  year =	 {2002},
  note = 	 {{Best Paper Award}}
}


@InProceedings{vmcai2003a,
  author = 	 {Kedar S. Namjoshi}, 
  title = 	 {Lifting Temporal Proofs through Abstractions}, 
  booktitle = 	 {VMCAI},
  year =	 {2003}
}

@InProceedings{vmcai2003b,
  author = 	 {Dennis Dams and Kedar S. Namjoshi}, 
  title = 	 {Shape Analysis through Predicate Abstraction and Model Checking}, 
  booktitle = 	 {VMCAI},
  year =	 {2003}
}