The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard J. Trefler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kedar S. Namjoshi, Richard J. Trefler
    On the Competeness of Compositional Reasoning. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:139-153 [Conf]
  2. E. Allen Emerson, Richard J. Trefler
    From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:142-156 [Conf]
  3. 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]
  4. Zarrin Langari, Richard J. Trefler
    Formal Modeling of Communication Protocols by Graph Transformation. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:348-363 [Conf]
  5. 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]
  6. E. Allen Emerson, Richard J. Trefler, Thomas Wahl
    Reducing Model Checking of the Few to the One. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:94-113 [Conf]
  7. E. Allen Emerson, John Havlicek, Richard J. Trefler
    Virtual Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:121-131 [Conf]
  8. E. Allen Emerson, Richard J. Trefler
    Parametric Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:336-343 [Conf]
  9. Panagiotis Manolios, Richard J. Trefler
    Safety and Liveness in Branching Time. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:366-0 [Conf]
  10. E. Allen Emerson, Richard J. Trefler
    Model Checking Real-Time Properties of Symmetric Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:427-436 [Conf]
  11. Panagiotis Manolios, Richard J. Trefler
    A lattice-theoretic characterization of safety and liveness. [Citation Graph (0, 0)][DBLP]
    PODC, 2003, pp:325-333 [Conf]
  12. 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]
  13. E. Allen Emerson, Richard J. Trefler
    Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:189-200 [Conf]
  14. Naghmeh Ghafari, Richard J. Trefler
    Piecewise FIFO Channels Are Analyzable. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:252-266 [Conf]
  15. Nils Klarlund, Richard J. Trefler
    Regularity Results for FIFO Channels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:21-36 [Journal]
  16. Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
    Model checking the basic modalities of CTL with Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  17. Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
    Bounded Model Checking with Description Logic Reasoning. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:60-72 [Conf]

  18. Explaining Counterexamples Using Causality. [Citation Graph (, )][DBLP]


  19. Modal vs. Propositional Reasoning for model checking with Description Logics. [Citation Graph (, )][DBLP]


  20. Fair Cycle Detection using Description Logic Reasoning. [Citation Graph (, )][DBLP]


  21. Algorithmic Analysis of Piecewise FIFO Systems. [Citation Graph (, )][DBLP]


  22. Verification of Parameterized Systems with Combinations of Abstract Domains. [Citation Graph (, )][DBLP]


  23. Application of Graph Transformation in Verification of Dynamic Systems. [Citation Graph (, )][DBLP]


  24. Extending Symmetry Reduction by Exploiting System Architecture. [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