BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Russia
1 × The Netherlands
4 × USA
Collaborated with:
S.Yang J.Ren C.Kern T.Ono-Tesfaye B.D.Bingham J.D.Bingham J.Erickson
Talks about:
framework (2) filter (2) optim (2) differenti (1) distribut (1) crosstalk (1) synthesi (1) synchron (1) properti (1) explicit (1)

Person: Mark R. Greenstreet

DBLP DBLP: Greenstreet:Mark_R=

Contributed to:

CAV 20132013
DAC 20072007
DATE 20072007
DAC 20052005
DAC 20032003
TACAS 19991999
CAV 19961996

Wrote 7 papers:

CAV-2013-BinghamBEG #concurrent #distributed #model checking
Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.
DAC-2007-YangG #simulation
Simulating Improbable Events (SY, MRG), pp. 154–157.
Computing synchronizer failure probabilities (SY, MRG), pp. 1361–1366.
DAC-2005-RenG #framework #optimisation #synthesis
A unified optimization framework for equalization filter synthesis (JR, MRG), pp. 638–643.
DAC-2003-RenG #performance
Synthesizing optimal filters for crosstalk-cancellation for high-speed buses (JR, MRG), pp. 592–597.
TACAS-1999-KernOG #framework #hardware #verification
A Light-Weight Framework for Hardware Verification (CK, TOT, MRG), pp. 330–344.
CAV-1996-Greenstreet #difference #equation #safety #verification
Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.

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.