Claude Michel

Environmental Science · Physical Sciences

28h-index7.0kcitations127works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Hydrology and Watershed Management Studies(45), Flood Risk Assessment and Management(24), Numerical Methods and Algorithms(23), Formal Methods in Verification(20), Hydrology and Drought Analysis(20)

Publications126 total

Biodiversity Protection in Private Forests: PES Schemes, Institutions and Prosocial Behavior
Forests·2021· 10 citedOpen Access
Bringing freedom in variable choice when searching counter-examples in floating point programs
arXiv (Cornell University)·2020Open Access
An efficient constraint based framework forhandling floating point SMT problems
arXiv (Cornell University)·2020Open Access
airGR: Suite of GR Hydrological Models for Precipitation-Runoff Modelling. Manual of the R package version 1.4.3.60
HAL (Le Centre pour la Communication Scientifique Directe)·2020· 74 citedOpen Access
Rigorous Enclosure of Round-Off Errors in Floating-Point Computations
Lecture notes in computer science·2020
airGR: Suite of GR Hydrological Models for Precipitation-Runoff Modelling. R package version 1.7.6
SPIRE - Sciences Po Institutional REpository·2020· 26 citedOpen Access
Le Y-Balance Test : Outil d’évaluation et d’amélioration de l’équilibre dynamique ?
2020
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off Errors
Lecture notes in computer science·2020· 3 cited
Calage et application opérationnelle du modèle de prévision de crue GRP - Description des fichiers utilisés par les exécutables (v2018.r2416)
HAL (Le Centre pour la Communication Scientifique Directe)·2019Open Access
Calage et application opérationnelle du modèle de prévision de crue GRP - Manuel d'utilisation (v2018.r2416)
HAL (Le Centre pour la Communication Scientifique Directe)·2019Open Access
Towards a constraint system for round-off error analysis of floating-point computation
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 3 citedOpen Access
Why are Private Forest Owners Not Adopting Natura 2000? A Survey of Motivations
SSRN Electronic Journal·2017· 1 citedOpen Access
Search Strategies for Floating Point Constraint Systems
Lecture notes in computer science·2017· 13 cited
Noms de lieux du département de la Moselle / Michèle Benoit, Claude Michel
2017
Contraintes sur les réels et contraintes sur les flottants: contributions.
HAL (Le Centre pour la Communication Scientifique Directe)·2016Open Access
Capabilities of Constraint Programming in Rigorous Global Optimization
2016· 2 cited
Searching Critical Values for Floating-Point Programs
Lecture notes in computer science·2016· 5 citedOpen Access
Searching input values hitting suspicious Intervals in programs with floating-point operations
arXiv (Cornell University)·2015Open Access
Verifying floating-point programs with constraint programming and abstract interpretation techniques
Automated Software Engineering·2014· 12 citedOpen Access
Generating test cases inside suspicious intervals for floating-point number programs
2014· 7 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Vazken Andréassian(20), Charles Perrin(19), Michel Rueher(15), Ludovic Oudin(8), Yahia Lebbah(6), François Anctil(5), Thibault Mathevet(5), C. Loumagne(4), Olivier Ponsini(4), Guillaume Thirel(3), Hélène Collavizza(3), Safouane Mouelhi(2), Claudia Rojas‐Serna(2), Éric Parent(2), Laurent Coron(2), Frédéric Hervieu(1), Nicolás Le Moine(1), Iolanda Usart-Sanchez(1), Jacques Lavabre(1), Zoubir Makhlouf(1)