Statistics
Publications
3
Citations
60
H-Index
3
Active since
2009
Affiliations
LIP6(Current)
Cécile Braunstein is an author at LIP6 specializing in computer engineering, error detection, and computer science.
Publications per year
2009–2009
3
3
Increasing the Accuracy of SAT-based Debugging
André Sülflow, Görschwin Fey, Cécile Braunstein et al. · 2009 · 25 citations
Increasing the accuracy of SAT-based debugging
André Sülflow, Görschwin Fey, Cécile Braunstein et al. · 2009 · 22 citations
Complementary Formal Approaches for Dependability Analysis
Souheib Baarir, Cécile Braunstein, Renaud Clavel et al. · 2009 · 13 citations
1–3 of 3