[Fau11b] C.Faure. Software robustness with respect
to dysfunctional values by static analysis. 2011.
[Fau11a] C. Faure, J-L. Boulanger and Samy Ait Kaci. In
"Utilisation industrielle des techniques formelles :
Interprétation Abstraite". Chapitre 5: Robustesse logicielle vis
à vis de valeurs dysfonctionnelles
par analyse statique. 2011. (
pdf,
french)
[Fau10a] C. Faure. Software Un-security Exploitation
Evaluation. SAFA Annual Workshop on Formal Techniques. 2010.
(pdf)
[Fau10b] C. Faure. Abstract Interpretation for Automatic
Differentiation, Runtime Error detection and security analysis.
Algorithmic Differentiation, Optimization, and Beyond. in Honor of
Andreas Griewank's 60th Birthday, Maison du Seminaire, Nice, France,
8./9. April 2010.(
pdf)
[Fau09] C. Faure. Computer
Aided Extrinsic Robustness Verification. SAFA
Annual Workshop on Formal Techniques. 2009.(
pdf)
[CWFU08] B.Christianson, A.Walther, C.Faure, and J.Utke. Chapter
6 "Implementation and Software".
Evaluating
Derivatives: Principles and Techniques of Algorithmic
Differentiation (2nd Edition). SIAM, 2008.(
pdf)
[Fau05] C.Faure. An automatic differentiation platform:
Odyssée. Future
Generation Computer System, 21:1391--1400, 2005.(
pdf)
[GF02] A.Griewank and C.Faure. Reduced functions, gradients and
Hessians from fixed-point iterations for state equations. Numerical
Algorithms, 30(2):113--139, 2002.(
pdf)
[Fau02] C.Faure. Automatic Differentiation Platform: Design.
Mathematical Modeling and
Numerical Analysis, 36(5):783--792, 2002.(
pdf)
[HDR] C.Faure. Dérivation de Programme assistée
par Ordinateur. Habilitation à diriger des recherches
(Habilitation).
Université de Nice-Sophia Antipolis, 2002.(
pdf, french)
[Fau01] C.Faure. Adjoining strategies for multi-layered
programs. Optimisation Methods and
Software, 17(1):129--164, 2001.(
pdf)
[Fau00] C.Faure. Generating Adjoins of Industrial Codes with
Limited Memory. Flow,
Turbulence and Combustion, 65:453--467, 2000.(
pdf)
[PHD] C.Faure. Quelques aspects de la Simplification en Calcul
Formel. Thèse de doctorat (PhD Thesis).
Université de Nice-Sophia Antipolis, 1992.(
pdf, french)