Richard J. Trefler

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Inductive Predicate Synthesis Modulo Programs.

[BibT_eX]

[DOI]

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.

[BibT_eX]

[DOI]

Ruoxi Zhang

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Compositional Verification of Smart Contracts Through Communication Abstraction (Extended).

[BibT_eX]

[DOI]

CoRR, 2021

Compositional Verification of Smart Contracts Through Communication Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

2019

Local Reasoning for Parameterized First Order Protocols.

[BibT_eX]

[DOI]

Rylo Ashmore

Arie Gurfinkel

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Symmetry Reduction for the Local Mu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2016

Parameterized Compositional Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Analysis of Dynamic Process Networks.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Loop Freedom in AODVv2.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2013

Uncovering Symmetries in Irregular Process Networks.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

2012

Reachability Problems in Piecewise FIFO Systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2012

Explaining counterexamples using causality.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

Local Symmetry and Compositional Verification.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Symmetry for the Analysis of Dynamic Systems.

[BibT_eX]

[DOI]

Zarrin Langari

Proceedings of the NASA Formal Methods, 2011

2010

On the completeness of compositional reasoning methods.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

Model Checking Using Description Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

2009

Extending Symmetry Reduction by Exploiting System Architecture.

[BibT_eX]

[DOI]

Thomas Wahl

Proceedings of the Verification, 2009

Application of Graph Transformation in Verification of Dynamic Systems.

[BibT_eX]

[DOI]

Zarrin Langari

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Verification of Parameterized Systems with Combinations of Abstract Domains.

[BibT_eX]

[DOI]

Naghmeh Ghafari

Arie Gurfinkel

Proceedings of the Formal Techniques for Distributed Systems, 2009

Fair Cycle Detection using Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2007

Bounded Model Checking with Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Algorithmic Analysis of Piecewise FIFO Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Modal vs. Propositional Reasoning for model checking with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Piecewise FIFO Channels Are Analyzable.

[BibT_eX]

[DOI]

Naghmeh Ghafari

Proceedings of the Verification, 2006

Reducing Model Checking of the Few to the One.

[BibT_eX]

[DOI]

Thomas Wahl

Proceedings of the Formal Methods and Software Engineering, 2006

Formal Modeling of Communication Protocols by Graph Transformation.

[BibT_eX]

[DOI]

Zarrin Langari

Proceedings of the FM 2006: Formal Methods, 2006

Model checking the basic modalities of CTL with Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2004

Regularity Results for FIFO Channels.

[BibT_eX]

[DOI]

Nils Klarlund

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2003

A lattice-theoretic characterization of safety and liveness.

[BibT_eX]

[DOI]

Panagiotis Manolios

Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

Abstract Patterns of Compositional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Visual Specifications for Modular Reasoning about Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Safety and Liveness in Branching Time.

[BibT_eX]

[DOI]

Panagiotis Manolios

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Virtual Symmetry Reduction.

[BibT_eX]

[DOI]

John Havlicek

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

On the Competeness of Compositional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Parametric Quantitative Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

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

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Model Checking Real-Time Properties of Symmetric Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach.

[BibT_eX]

[DOI]