Richard J. Trefler

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c26		Kedar S. Namjoshi, Richard J. Trefler: Uncovering Symmetries in Irregular Process Networks. VMCAI 2013: 496-514
	2012
j5		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining counterexamples using causality. Formal Methods in System Design 40(1): 20-40 (2012)
j4		Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log. 13(1): 7 (2012)
c25		Kedar S. Namjoshi, Richard J. Trefler: Local Symmetry and Compositional Verification. VMCAI 2012: 348-362
	2011
c24		Zarrin Langari, Richard J. Trefler: Symmetry for the Analysis of Dynamic Systems. NASA Formal Methods 2011: 252-266
	2010
j3		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model Checking Using Description Logic. J. Log. Comput. 20(1): 111-131 (2010)
j2		Kedar S. Namjoshi, Richard J. Trefler: On the completeness of compositional reasoning methods. ACM Trans. Comput. Log. 11(3) (2010)
	2009
c23		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining Counterexamples Using Causality. CAV 2009: 94-108
c22		Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell: Fair Cycle Detection using Description Logic Reasoning. Description Logics 2009
c21		Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler: Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE 2009: 57-72
c20		Zarrin Langari, Richard J. Trefler: Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276
c19		Richard J. Trefler, Thomas Wahl: Extending Symmetry Reduction by Exploiting System Architecture. VMCAI 2009: 320-334
	2007
c18		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics 2007
c17		Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
c16		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Bounded Model Checking with Description Logic Reasoning. TABLEAUX 2007: 60-72
	2006
c15		Shoham Ben-David, Richard J. Trefler, Grant E. Weddell: Model checking the basic modalities of CTL with Description Logic. Description Logics 2006
c14		Zarrin Langari, Richard J. Trefler: Formal Modeling of Communication Protocols by Graph Transformation. FM 2006: 348-363
c13		E. Allen Emerson, Richard J. Trefler, Thomas Wahl: Reducing Model Checking of the Few to the One. ICFEM 2006: 94-113
c12		Naghmeh Ghafari, Richard J. Trefler: Piecewise FIFO Channels Are Analyzable. VMCAI 2006: 252-266
	2005
j1		Nils Klarlund, Richard J. Trefler: Regularity Results for FIFO Channels. Electr. Notes Theor. Comput. Sci. 128(6): 21-36 (2005)
	2003
c11		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
c10		Panagiotis Manolios, Richard J. Trefler: A lattice-theoretic characterization of safety and liveness. PODC 2003: 325-333
	2002
c9		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242
	2001
c8		Panagiotis Manolios, Richard J. Trefler: Safety and Liveness in Branching Time. LICS 2001: 366-374
c7		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
c6		Kedar S. Namjoshi, Richard J. Trefler: On the Competeness of Compositional Reasoning. CAV 2000: 139-153
c5		E. Allen Emerson, John Havlicek, Richard J. Trefler: Virtual Symmetry Reduction. LICS 2000: 121-131
	1999
c4		E. Allen Emerson, Richard J. Trefler: From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME 1999: 142-156
c3		E. Allen Emerson, Richard J. Trefler: Parametric Quantitative Temporal Reasoning. LICS 1999: 336-343
	1998
c2		E. Allen Emerson, Richard J. Trefler: Model Checking Real-Time Properties of Symmetric Systems. MFCS 1998: 427-436
	1997
c1		E. Allen Emerson, Richard J. Trefler: Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT 1997: 189-200

Coauthor Index

1	Nina Amla	[c11] [c9] [c7]
2	Ilan Beer	[j5] [c23]
3	Shoham Ben-David	[j5] [j3] [c23] [c22] [c18] [c16] [c15]
4	Hana Chockler	[j5] [c23]
5	E. Allen Emerson	[c13] [c11] [c9] [c7] [c5] [c4] [c3] [c2] [c1]
6	Naghmeh Ghafari	[j4] [c21] [c17] [c12]
7	Arie Gurfinkel	[j4] [c21] [c17]
8	John Havlicek	[c5]
9	Nils Klarlund	[j4] [c17] [j1]
10	Zarrin Langari	[c24] [c20] [c14]
11	Panagiotis Manolios (Pete Manolios)	[c10] [c8]
12	Kedar S. Namjoshi	[c26] [c25] [j2] [c11] [c9] [c7] [c6]
13	Avigail Orni	[j5] [c23]
14	Jeffrey Pound	[c22]
15	Dmitry Tsarkov	[c22]
16	Thomas Wahl	[c19] [c13]
17	Grant E. Weddell	[j3] [c22] [c18] [c16] [c15]

Colors in the list of coauthors

Last update Thu May 23 11:03:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page