publications

2021

  1. TACAS
    A Two-Phase Approach for Conditional Floating-Point Verification
    Lohar, D., Jeangoudoux, C., Sobel, J., Darulova, E., and Christakis, M.
    In TACAS’21 — International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2021

2019

  1. PhD thesis
    Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique
    Jeangoudoux, C.
    2019

2018

  1. ARITH
    A Correctly Rounded Mixed-Radix Fused-Multiply-Add
    Jeangoudoux, C., and Lauter, C.
    In 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH) 2018
  2. SCAN
    Constraints over Intervals for Specification Based Automatic Software Test Generation
    Ceberio, M., Contreras, A.G., Jeangoudoux, C., and Larribe, F.
    In 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018) 2018

2017

  1. Journal
    MPDI: A Decimal Multiple-Precision Interval Arithmetic Library
    Graillat, S, Jeangoudoux, C., and Lauter, C.
    Reliable Computing Journal 2017

2016

  1. SCAN
    A Decimal Multiple-Precision Interval Arithmetic Library
    Graillat, S., Jeangoudoux, C., and Lauter, C.
    In 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics 2016