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
On the completeness of compositional reasoning methods	2015-09-17	Paper
Reachability Problems in Piecewise FIFO Systems	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
https://portal.mardi4nfdi.de/entity/Q2848411	2013-09-26	Paper
Explaining counterexamples using causality	2012-09-27	Paper
Local Symmetry and Compositional Verification	2012-06-15	Paper
CONCUR 2003 - Concurrency Theory	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard Trefler