The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kedar S. Namjoshi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
    Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:387-390 [Conf]
  2. Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
    Incremental Algorithms for Inter-procedural Analysis of Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:449-461 [Conf]
  3. E. Allen Emerson, Kedar S. Namjoshi
    Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:87-98 [Conf]
  4. E. Allen Emerson, Kedar S. Namjoshi
    Verification of Parameterized Bus Arbitration Protocol. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:452-463 [Conf]
  5. Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers
    Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:369-379 [Conf]
  6. Kedar S. Namjoshi
    Certifying Model Checkers. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:2-13 [Conf]
  7. Kedar S. Namjoshi
    Abstraction for Branching Time Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:288-300 [Conf]
  8. Kedar S. Namjoshi
    An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:57-69 [Conf]
  9. Kedar S. Namjoshi, Robert P. Kurshan
    Syntactic Program Transformations for Automatic Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:435-449 [Conf]
  10. Kedar S. Namjoshi, Robert P. Kurshan
    Efficient Analysis of Cyclic Definitions. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:394-405 [Conf]
  11. Kedar S. Namjoshi, Richard J. Trefler
    On the Competeness of Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:139-153 [Conf]
  12. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
    Efficient Decompositional Model Checking for Regular Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:67-81 [Conf]
  13. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
    Abstract Patterns of Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:423-438 [Conf]
  14. Amy P. Felty, Kedar S. Namjoshi
    Feature Specification and Automatic Conflict Detection. [Citation Graph (0, 0)][DBLP]
    FIW, 2000, pp:179-192 [Conf]
  15. Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
    Model Checking Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:283-298 [Conf]
  16. Dennis Dams, Kedar S. Namjoshi
    Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:138-160 [Conf]
  17. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
    Visual Specifications for Modular Reasoning about Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:226-242 [Conf]
  18. Kedar S. Namjoshi
    A Simple Characterization of Stuttering Bisimulation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:284-296 [Conf]
  19. Dennis Dams, Kedar S. Namjoshi
    The Existence of Finite Abstractions for Branching Time Model Checking. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:335-344 [Conf]
  20. E. Allen Emerson, Kedar S. Namjoshi
    On Model Checking for Non-Deterministic Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:70-80 [Conf]
  21. E. Allen Emerson, Kedar S. Namjoshi
    Reasoning about Rings. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:85-94 [Conf]
  22. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
    Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:465-479 [Conf]
  23. Kedar S. Namjoshi
    Lifting Temporal Proofs through Abstractions. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:174-188 [Conf]
  24. Dennis Dams, Kedar S. Namjoshi
    Shape Analysis through Predicate Abstraction and Model Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:310-324 [Conf]
  25. Dennis Dams, Kedar S. Namjoshi
    Automata as Abstractions. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:216-232 [Conf]
  26. E. Allen Emerson, Kedar S. Namjoshi
    On Reasoning About Rings. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:4, pp:527-550 [Journal]
  27. Richard Raimi, Ramin Hojati, Kedar S. Namjoshi
    Environment modeling and language universality. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2000, v:5, n:3, pp:705-725 [Journal]
  28. Amy P. Felty, Kedar S. Namjoshi
    Feature specification and automated conflict detection. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:1, pp:3-27 [Journal]
  29. Ariel Cohen, Kedar S. Namjoshi
    Local Proofs for Global Safety Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:55-67 [Conf]

  30. A Dash of Fairness for Compositional Reasoning. [Citation Graph (, )][DBLP]


  31. SPLIT: A Compositional LTL Verifier. [Citation Graph (, )][DBLP]


  32. Local Proofs for Linear-Time Properties of Concurrent Programs. [Citation Graph (, )][DBLP]


  33. Robust and Fast Pattern Matching for Intrusion Detection. [Citation Graph (, )][DBLP]


  34. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. [Citation Graph (, )][DBLP]


  35. Symmetry and Completeness in the Analysis of Parameterized Systems. [Citation Graph (, )][DBLP]


  36. Telco meets the Web: Programming shared-experience services. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002