Author

Richard Trefler

Observed names: R. Trefler, R.J. Trefler, Richard J. Trefler, Trefler, Richard, Trefler, Richard J.

Institution: University of Waterloo

Observed institutions: AT&T (United States), University of Waterloo, The University of Texas at Austin

ORCID: 0009-0007-4235-9328

Observed ORCID: 0009-0007-4235-9328

OpenAlex ID: A5045700824

Explaining counterexamples using causality

2011 · Ilan Beer, Shoham Ben-David, et al. · Formal Methods in System Design · 103

From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking

2010 · E. Allen Emerson, Richard J. Trefler · Lecture notes in computer science · 96

Explaining Counterexamples Using Causality

2009 · Ilan Beer, Shoham Ben-David, et al. · Lecture notes in computer science · 74

Parametric quantitative temporal reasoning

2003 · E.A. Emerson, R.J. Trefler · 59

On the Completeness of Compositional Reasoning

2000 · Kedar S. Namjoshi, Richard J. Trefler · Lecture notes in computer science · 54

PDF

Virtual symmetry reduction

2002 · E.A. Emerson, J.W. Havlicek, et al. · 40

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams

2001 · Nina Amla, E. Allen Emerson, et al. · Lecture notes in computer science · 27

PDF

Safety and liveness in branching time

2002 · P. Manolios, R. Trefler · Proceedings - Symposium on Logic in Computer Science · 25

On the completeness of compositional reasoning methods

2010 · Kedar S. Namjoshi, Richard J. Trefler · ACM Transactions on Computational Logic · 24

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE

2022 · Scott Wesley, Maria Christakis, et al. · Lecture notes in computer science · 22

Uncovering Symmetries in Irregular Process Networks

2013 · Kedar S. Namjoshi, Richard J. Trefler · Lecture notes in computer science · 21

Generalized quantitative temporal reasoning: An automata-theoretic approach

1997 · E. Allen Emerson, Richard J. Trefler · Lecture notes in computer science · 21

Parameterized Compositional Model Checking

2016 · Kedar S. Namjoshi, Richard J. Trefler · Lecture notes in computer science · 20

Abstract Patterns of Compositional Reasoning

2003 · Nina Amla, E. Allen Emerson, et al. · Lecture notes in computer science · 20

ECLIPSE Feature Logic Analysis

2001 · Gregory W. Bond, Franjo Ivančić, et al. · 17

Analysis of Dynamic Process Networks

2015 · Kedar S. Namjoshi, Richard J. Trefler · Lecture notes in computer science · 16

Reducing Model Checking of the Few to the One

2006 · E. Allen Emerson, Richard J. Trefler, et al. · Lecture notes in computer science · 16

Local Symmetry and Compositional Verification

2012 · Kedar S. Namjoshi, Richard J. Trefler · Lecture notes in computer science · 15

A lattice-theoretic characterization of safety and liveness

2003 · Panagiotis Manolios, Richard Trefler · 14

Loop Freedom in AODVv2

2015 · Kedar S. Namjoshi, Richard J. Trefler · Lecture notes in computer science · 12

Model checking Real-Time properties of symmetric systems

1998 · E. Allen Emerson, Richard J. Trefler · Lecture notes in computer science · 10

Model Checking Using Description Logic

2008 · S. Ben-David, R. Trefler, et al. · Journal of Logic and Computation · 9

Visual Specifications for Modular Reasoning about Asynchronous Systems

2002 · Nina Amla, E. Allen Emerson, et al. · Lecture notes in computer science · 9

Compositional Verification of Smart Contracts Through Communication Abstraction

2021 · Scott Wesley, Maria Christakis, et al. · Lecture notes in computer science · 8

Bounded Model Checking with Description Logic Reasoning

2007 · Shoham Ben-David, Richard Trefler, et al. · Lecture notes in computer science · 8

Works count: 57

Citation count: 792

H-index: 16

I10-index: 21