Search the dblp DataBase

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]