Braunstein Cécile
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
BRAUNSTEIN Cécile is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, I. Mounier, D. Poitrenaud, S. Younes : “Feasibility Analysis for Robustness Quantification by Symbolic Model Checkingâ€, Formal Methods in System Design, vol. 39 (2), pp. 165-184, (ISBN: 0925-9856) (2011)
-
S.‑H. Syed‑Alwi, C. Braunstein, E. Encrenaz : “An Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Processâ€, Forum on specification & Design Languages (FDL 2012), Vienne, Austria, pp. 27-34, (IEEE) (2012)
-
S.‑H. Syed‑Alwi, C. Braunstein, E. Encrenaz : “Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Processâ€, chapter in Models, Methods and Tools for Complex Chip Design, selected contributions from FDL 2012, vol. 265, Lecture Notes in Electrical Engineering, pp. 17-36, (Springer), (ISBN: 978-3-319-01417-3) (2013)
