FDR

Known as: FDR2, Failures-Divergence Refinement, Failures-Divergences Refinement 
FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checking software tools, designed to check formal models expressed in… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
05010015019792018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
  • K. Fristona
  • 2011
In this technical note, we describe and validate a topological false discovery rate (FDR) procedure for statistical parametric… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2010
2010
In high-dimensional data analysis such as differential gene expression analysis, people often use filtering methods like fold… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this note, we revisit earlier work on false discovery rate (FDR) and evaluate it in relation to topological inference in… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2007
2007
We describe: (1) the internal structures of FDR, the refinement model checker for Hoare’s Communicating Sequential Processes (CSP… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
2007
2007
A two-stage stepup procedure is defined and an explicit formula for the FDR of this procedure is derived under any distributional… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We discuss Bayesian approaches to multiple comparison problems, using a decision theoretic perspective to critically compare… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Test data compression and test resource partitioning (TRP) are necessary to reduce the volume of test data for system-ona-chip… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We showed recently that Golomb codes can be used for efficiently compressing system-on-a-chip test data. We now present a new… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 5
  • figure 4
Is this relevant?
1999
1999
CSP-OZ is a formal method integrating two diierent speciications formalisms into one: the formalism Object-Z for the description… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model… (More)
Is this relevant?