Richard Trefler

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Relatively complete and efficient partial quantifier elimination	2026-01-21	Paper
Compositional verification of smart contracts through communication abstraction (available as arXiv preprint)	2022-06-17	Paper
Parameterized compositional model checking	2019-09-17	Paper
Symmetry reduction for the local mu-calculus (available as arXiv preprint)	2019-09-16	Paper
On the completeness of compositional reasoning methods ACM Transactions on Computational Logic	2015-09-17	Paper
Reachability problems in piecewise FIFO systems ACM Transactions on Computational Logic	2015-09-17	Paper
A lattice-theoretic characterization of safety and liveness Proceedings of the twenty-second annual symposium on Principles of distributed computing	2015-09-04	Paper
Uncovering symmetries in irregular process networks Lecture Notes in Computer Science	2014-11-03	Paper
Regularity results for FIFO channels	2013-09-26	Paper
Explaining counterexamples using causality Formal Methods in System Design	2012-09-27	Paper
Local symmetry and compositional verification Lecture Notes in Computer Science	2012-06-15	Paper
Abstract patterns of compositional reasoning. Lecture Notes in Computer Science	2010-03-30	Paper
Model checking using description logic Journal Of Logic And Computation	2010-02-19	Paper
Explaining Counterexamples Using Causality Computer Aided Verification	2009-06-30	Paper
Application of Graph Transformation in Verification of Dynamic Systems Lecture Notes in Computer Science	2009-02-24	Paper
Extending Symmetry Reduction by Exploiting System Architecture Lecture Notes in Computer Science	2009-02-10	Paper
Formal Modeling of Communication Protocols by Graph Transformation FM 2006: Formal Methods	2008-06-17	Paper
Bounded Model Checking with Description Logic Reasoning Lecture Notes in Computer Science	2008-01-04	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper
scientific article; zbMATH DE number 1973986 (Why is no real title available?)	2003-09-03	Paper
scientific article; zbMATH DE number 1701775 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1670774 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1487862 (Why is no real title available?)	2000-08-10	Paper
scientific article; zbMATH DE number 1222578 (Why is no real title available?)	1999-05-24	Paper

Research outcomes over time

This page was built for person: Richard Trefler