Richard Trefler

Available identifiers

zbMath Open trefler.richard-jMaRDI QIDQ453515

List of research outcomes

Publication	Date of Publication	Type
Compositional verification of smart contracts through communication abstraction	2022-06-17	Paper
Parameterized compositional model checking	2019-09-17	Paper
Symmetry reduction for the local mu-calculus	2019-09-16	Paper
Reachability problems in piecewise FIFO systems	2015-09-17	Paper
On the completeness of compositional reasoning methods	2015-09-17	Paper
A lattice-theoretic characterization of safety and liveness	2015-09-04	Paper
Uncovering symmetries in irregular process networks	2014-11-03	Paper
Regularity results for FIFO channels	2013-09-26	Paper
Explaining counterexamples using causality	2012-09-27	Paper
Local symmetry and compositional verification	2012-06-15	Paper
Abstract patterns of compositional reasoning.	2010-03-30	Paper
Model checking using description logic	2010-02-19	Paper
Explaining Counterexamples Using Causality	2009-06-30	Paper
Application of Graph Transformation in Verification of Dynamic Systems	2009-02-24	Paper
Extending Symmetry Reduction by Exploiting System Architecture	2009-02-10	Paper
Formal Modeling of Communication Protocols by Graph Transformation	2008-06-17	Paper
Bounded Model Checking with Description Logic Reasoning	2008-01-04	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4422081	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2769609	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754080	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4494389	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4218117	1999-05-24	Paper

Research outcomes over time

This page was built for person: Richard Trefler