Richard J. Trefler

	2009
24		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining Counterexamples Using Causality. CAV 2009: 94-108
23		Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell: Fair Cycle Detection using Description Logic Reasoning. Description Logics 2009
22		Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler: Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE 2009: 57-72
21		Zarrin Langari, Richard J. Trefler: Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276
20		Richard J. Trefler, Thomas Wahl: Extending Symmetry Reduction by Exploiting System Architecture. VMCAI 2009: 320-334
	2007
19		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics 2007
18		Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
17		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Bounded Model Checking with Description Logic Reasoning. TABLEAUX 2007: 60-72
	2006
16		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model checking the basic modalities of CTL with Description Logic. Description Logics 2006
15		Zarrin Langari, Richard J. Trefler: Formal Modeling of Communication Protocols by Graph Transformation. FM 2006: 348-363
14		E. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113
13		Naghmeh Ghafari, Richard J. Trefler: Piecewise FIFO Channels Are Analyzable. VMCAI 2006: 252-266
	2005
12		Nils Klarlund, Richard J. Trefler: Regularity Results for FIFO Channels. Electr. Notes Theor. Comput. Sci. 128(6): 21-36 (2005)
	2003
11		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
10		Panagiotis Manolios, Richard J. Trefler: A lattice-theoretic characterization of safety and liveness. PODC 2003: 325-333
	2002
9		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		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		E. Allen Emerson, John Havlicek, Richard J. Trefler: Virtual Symmetry Reduction. LICS 2000: 121-131
	1999
4		E. Allen Emerson, Richard J. Trefler: From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME 1999: 142-156
3		E. Allen Emerson, Richard J. Trefler: Parametric Quantitative Temporal Reasoning. LICS 1999: 336-343
	1998
2		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	Ilan Beer	[24]
3	Shoham Ben-David	[16] [17] [19] [23] [24]
4	Hana Chockler	[24]
5	E. Allen Emerson	[1] [2] [3] [4] [5] [7] [9] [11] [14]
6	Naghmeh Ghafari	[13] [18] [22]
7	Arie Gurfinkel	[18] [22]
8	John Havlicek	[5]
9	Nils Klarlund	[12] [18]
10	Zarrin Langari	[15] [21]
11	Panagiotis Manolios (Pete Manolios)	[8] [10]
12	Kedar S. Namjoshi	[6] [7] [9] [11]
13	Avigail Orni	[24]
14	Jeffrey Pound	[23]
15	Dmitry Tsarkov	[23]
16	Thomas Wahl	[14] [20]
17	Grant E. Weddell	[16] [17] [19] [23]

Colors in the list of coauthors