Richard J. Trefler

2009
21	EE	Zarrin Langari, Richard J. Trefler: Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276
20	EE	Richard J. Trefler, Thomas Wahl: Extending Symmetry Reduction by Exploiting System Architecture. VMCAI 2009: 320-334
2007
19	EE	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics 2007
18	EE	Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
17	EE	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Bounded Model Checking with Description Logic Reasoning. TABLEAUX 2007: 60-72
2006
16	EE	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model checking the basic modalities of CTL with Description Logic. Description Logics 2006
15	EE	Zarrin Langari, Richard J. Trefler: Formal Modeling of Communication Protocols by Graph Transformation. FM 2006: 348-363
14	EE	E. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113
13	EE	Naghmeh Ghafari, Richard J. Trefler: Piecewise FIFO Channels Are Analyzable. VMCAI 2006: 252-266
2005
12	EE	Nils Klarlund, Richard J. Trefler: Regularity Results for FIFO Channels. Electr. Notes Theor. Comput. Sci. 128(6): 21-36 (2005)
2003
11	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
10	EE	Panagiotis Manolios, Richard J. Trefler: A lattice-theoretic characterization of safety and liveness. PODC 2003: 325-333
2002
9	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242
2001
8		Panagiotis Manolios, Richard J. Trefler: Safety and Liveness in Branching Time. LICS 2001: 366-
7	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS 2001: 465-479
2000
6		Kedar S. Namjoshi, Richard J. Trefler: On the Competeness of Compositional Reasoning. CAV 2000: 139-153
5	EE	E. Allen Emerson, John Havlicek, Richard J. Trefler: Virtual Symmetry Reduction. LICS 2000: 121-131
1999
4	EE	E. Allen Emerson, Richard J. Trefler: From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME 1999: 142-156
3	EE	E. Allen Emerson, Richard J. Trefler: Parametric Quantitative Temporal Reasoning. LICS 1999: 336-343
1998
2	EE	E. Allen Emerson, Richard J. Trefler: Model Checking Real-Time Properties of Symmetric Systems. MFCS 1998: 427-436
1997
1		E. Allen Emerson, Richard J. Trefler: Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT 1997: 189-200

Coauthor Index

1	Nina Amla	[7] [9] [11]
2	Shoham Ben-David	[16] [17] [19]
3	E. Allen Emerson	[1] [2] [3] [4] [5] [7] [9] [11] [14]
4	Naghmeh Ghafari	[13] [18]
5	Arie Gurfinkel	[18]
6	John Havlicek	[5]
7	Nils Klarlund	[12] [18]
8	Zarrin Langari	[15] [21]
9	Panagiotis Manolios	[8] [10]
10	Kedar S. Namjoshi	[6] [7] [9] [11]
11	Thomas Wahl	[14] [20]
12	Grant E. Weddell	[16] [17] [19]

Colors in the list of coauthors