BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × United Kingdom
3 × Italy
6 × USA
Collaborated with:
K.S.Namjoshi E.A.Emerson Z.Langari T.Wahl N.Ghafari P.Manolios J.Havlicek N.Amla I.Beer S.Ben-David H.Chockler A.Orni
Talks about:
symmetri (4) reason (4) composit (3) transform (2) quantit (2) process (2) network (2) tempor (2) system (2) reduct (2)

Person: Richard J. Trefler

DBLP DBLP: Trefler:Richard_J=

Contributed to:

TACAS 20152015
VMCAI 20132013
VMCAI 20122012
CAV 20092009
IFM 20092009
VMCAI 20092009
FM 20062006
VMCAI 20062006
LICS 20012001
TACAS 20012001
CAV 20002000
LICS 20002000
LICS 19991999
TAPSOFT CAAP/FASE 19971997

Wrote 14 papers:

TACAS-2015-NamjoshiT #analysis #network #process
Analysis of Dynamic Process Networks (KSN, RJT), pp. 164–178.
VMCAI-2013-NamjoshiT #network #process #symmetry
Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.
VMCAI-2012-NamjoshiT #composition #symmetry #verification
Local Symmetry and Compositional Verification (KSN, RJT), pp. 348–362.
CAV-2009-BeerBCOT #using
Explaining Counterexamples Using Causality (IB, SBD, HC, AO, RJT), pp. 94–108.
IFM-2009-LangariT #graph transformation #verification
Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.
VMCAI-2009-TreflerW #architecture #reduction #symmetry
Extending Symmetry Reduction by Exploiting System Architecture (RJT, TW), pp. 320–334.
FM-2006-LangariT #communication #formal method #graph transformation #modelling #protocol
Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
VMCAI-2006-GhafariT
Piecewise FIFO Channels Are Analyzable (NG, RJT), pp. 252–266.
LICS-2001-ManoliosT #branch #liveness #safety
Safety and Liveness in Branching Time (PM, RJT), pp. 366–374.
TACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
CAV-2000-NamjoshiT #composition #on the #reasoning
On the Competeness of Compositional Reasoning (KSN, RJT), pp. 139–153.
LICS-2000-EmersonHT #reduction #symmetry
Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
LICS-1999-EmersonT #parametricity #reasoning
Parametric Quantitative Temporal Reasoning (EAE, RJT), pp. 336–343.
TAPSOFT-1997-EmersonT #approach #automaton #reasoning
Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach (EAE, RJT), pp. 189–200.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.