25
Publications
1.8K
Citations
19
H-Index
1996
Active since
Daniel Le Berre is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSatisfiabilitySoftware AnalysisProgram AnalysisSoftware Testing
Publications per year
1996–2023
25
25
The Sat4j library, release 2.2
Daniel Le Berre, Anne Parrain · Journal on Satisfiability Boolean Modeling and Computation · 2010 · 420 citations · Full text
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Jifeng Xuan, Matías Martínez, Favio DeMarco et al. · IEEE Transactions on Software Engineering · 2016 · 409 citations · Full text
Automatic repair of buggy if conditions and missing preconditions with SMT
Favio DeMarco, Jifeng Xuan, Daniel Le Berre et al. · 2014 · 141 citations · Full text
The International SAT Solver Competitions
Matti Järvisalo, Daniel Le Berre, Olivier Roussel et al. · AI Magazine · 2012 · 124 citations · Full text
Mathematical Programming, Artificial Intelligence, Computational Science +15
Gerhard Brewka, Salem Benferhat, Daniel Le Berre · Artificial Intelligence · 2004 · 104 citations
Qualitative Choice Logic, Automated Reasoning, Choice Theory +4
Rows per page
1–5 of 25