Richard J. Trefler

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 11

Top Topics

Instant Messaging

Top Venues

Publications

Raniah A Alghamdi, Richard J. Trefler
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems. FormaliSE@ICSE (2024)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Inductive Predicate Synthesis Modulo Programs (Extended). CoRR (2024)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI (2022)
Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi
Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. FMCAD (2022)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction. SAS (2021)
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR (2021)
Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler
Local Reasoning for Parameterized First Order Protocols. NFM (2019)
Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler
Local Reasoning for Parameterized First Order Protocols. CoRR (2019)
Kedar S. Namjoshi, Richard J. Trefler
Symmetry Reduction for the Local Mu-Calculus. CoRR (2019)
Kedar S. Namjoshi, Richard J. Trefler
Symmetry Reduction for the Local Mu-Calculus. TACAS (2) (2018)
Kedar S. Namjoshi, Richard J. Trefler
Parameterized Compositional Model Checking. TACAS (2016)
Kedar S. Namjoshi, Richard J. Trefler
Analysis of Dynamic Process Networks. TACAS (2015)
Kedar S. Namjoshi, Richard J. Trefler
Loop Freedom in AODVv2. FORTE (2015)
Kedar S. Namjoshi, Richard J. Trefler
Uncovering Symmetries in Irregular Process Networks. VMCAI (2013)
Kedar S. Namjoshi, Richard J. Trefler
Local Symmetry and Compositional Verification. VMCAI (2012)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining counterexamples using causality. Formal Methods Syst. Des. 40 (1) (2012)
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler
Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log. 13 (1) (2012)
Zarrin Langari, Richard J. Trefler
Symmetry for the Analysis of Dynamic Systems. NASA Formal Methods (2011)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Model Checking Using Description Logic. J. Log. Comput. 20 (1) (2010)
Kedar S. Namjoshi, Richard J. Trefler
On the completeness of compositional reasoning methods. ACM Trans. Comput. Log. 11 (3) (2010)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining Counterexamples Using Causality. CAV (2009)
Richard J. Trefler, Thomas Wahl
Extending Symmetry Reduction by Exploiting System Architecture. VMCAI (2009)
Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell
Fair Cycle Detection using Description Logic Reasoning. Description Logics (2009)
Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler
Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE (2009)
Zarrin Langari, Richard J. Trefler
Application of Graph Transformation in Verification of Dynamic Systems. IFM (2009)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Bounded Model Checking with Description Logic Reasoning. TABLEAUX (2007)
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler
Algorithmic Analysis of Piecewise FIFO Systems. FMCAD (2007)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics (2007)
Zarrin Langari, Richard J. Trefler
Formal Modeling of Communication Protocols by Graph Transformation. FM (2006)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Model checking the basic modalities of CTL with Description Logic. Description Logics (2006)
E. Allen Emerson, Richard J. Trefler, Thomas Wahl
Reducing Model Checking of the Few to the One. ICFEM (2006)
Naghmeh Ghafari, Richard J. Trefler
Piecewise FIFO Channels Are Analyzable. VMCAI (2006)
Nils Klarlund, Richard J. Trefler
Regularity Results for FIFO Channels. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Panagiotis Manolios, Richard J. Trefler
A lattice-theoretic characterization of safety and liveness. PODC (2003)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Abstract Patterns of Compositional Reasoning. CONCUR (2003)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE (2002)
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS (2001)
Panagiotis Manolios, Richard J. Trefler
Safety and Liveness in Branching Time. LICS (2001)
E. Allen Emerson, John Havlicek, Richard J. Trefler
Virtual Symmetry Reduction. LICS (2000)
Kedar S. Namjoshi, Richard J. Trefler
On the Competeness of Compositional Reasoning. CAV (2000)
E. Allen Emerson, Richard J. Trefler
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. CHARME (1999)
E. Allen Emerson, Richard J. Trefler
Parametric Quantitative Temporal Reasoning. LICS (1999)
E. Allen Emerson, Richard J. Trefler
Model Checking Real-Time Properties of Symmetric Systems. MFCS (1998)
E. Allen Emerson, Richard J. Trefler
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. TAPSOFT (1997)