Fluctuat

Fluctuat has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives since 2001. Fluctuat enables the static analysis of C… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1987-2017
02419872017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Abstract interpretation based value analysis is a classical approach for verifying programs with floating-point computations… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We define several abstract semantics for the static analysis of finite precision computations, that bound not only the ranges of… (More)
Is this relevant?
2011
2011
Floating-point arithmetic differs from real arithmetic, which makes programming with floating-point numbers tricky. Estimating… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2011
2011
Programs with floating-point computations are tricky to develop because floating-point arithmetic differs from real arithmetic… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating… (More)
Is this relevant?
2009
2009
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems… (More)
  • figure 1
Is this relevant?
2008
2008
Introductory Awn :Fluctuation Lateral Floret Fluctuat ion . Ear-width Fluctuat ion The Cross I f . decil)iens x i.erml' An Awn… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
2004
2004
Rhythms with a period of about 1 h have been found during the study of var ious b iochemica l phenomena including prote in… (More)
  • table 1
  • figure 1
Is this relevant?
2004
2004
  • CAVlTATlNG INDUCERS
  • 2004
This paper p r e s e n t s d e t a i l s of measurements on t h e i n s t a b i l i t y known a s au to-osc i l l a t ion which… (More)
  • figure 4
  • figure 5
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
1992
1992
  • Brill
  • Physical review. D, Particles and fields
  • 1992
The interior near the horizon of an extremal Reissner-Nordström black hole is taken as an initial state for quantum mechanical… (More)
Is this relevant?