Ambient noise multimode Rayleigh and Love wave tomography to determine the shear velocity structure above the Groningen gas field M Chmiel, A Mordret, P Boué, F Brenguier, T Lecocq, R Courbis, D Hollis, ... Geophysical Journal International 218 (3), 1781-1795, 2019 | 56 | 2019 |
Noise-based ballistic wave passive seismic monitoring–Part 2: surface waves A Mordret, R Courbis, F Brenguier, M Chmiel, S Garambois, S Mao, ... Geophysical Journal International 221 (1), 692-705, 2020 | 41 | 2020 |
Noise-based ballistic wave passive seismic monitoring. Part 1: body waves F Brenguier, R Courbis, A Mordret, X Campman, P Boué, M Chmiel, ... Geophysical Journal International 221 (1), 683-691, 2020 | 38 | 2020 |
Finer is better: Abstraction refinement for rewriting approximations Y Boichut, R Courbis, PC Héam, O Kouchnarenko Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008 | 30 | 2008 |
Formal verification of industrial critical software M Petit-Doche, N Breton, R Courbis, Y Fonteneau, M Güdemann International Workshop on Formal Methods for Industrial Critical Systems, 1-11, 2015 | 9 | 2015 |
Taged approximations for temporal properties model-checking R Courbis, PC Héam, O Kouchnarenko International Conference on Implementation and Application of Automata, 135-144, 2009 | 8 | 2009 |
Handling non left-linear rules when completing tree automata Y Boichut, R Courbis, PC Héam, O Kouchnarenko International Journal of Foundations of Computer Science 20 (05), 837-849, 2009 | 7 | 2009 |
Vs imaging from ambient noise Rayleigh wave tomography for oil exploration in Nevada, USA A Boué, R Courbis, M Chmiel, N Arndt, T Lecocq, A Mordret, P Boué, ... SEG Technical Program Expanded Abstracts 2019, 5382-5385, 2019 | 6 | 2019 |
Monitoring of fields using body and surface waves reconstructed from passive seismic ambient noise F Brenguier, A Mordret, R Lynch, R Courbis, X Campbell, P Boué, ... SEG International Exposition and Annual Meeting, D043S104R007, 2019 | 3 | 2019 |
Rewriting approximations for properties verification over CCS specifications R Courbis Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012 | 3 | 2012 |
Handling left-quadratic rules when completing tree automata Y Boichut, R Courbis, PC Héam, O Kouchnarenko Electronic Notes in Theoretical Computer Science 223, 61-70, 2008 | 3 | 2008 |
Ambient Noise Rayleigh and Love Wave Tomography beneath the Sally Palladium Copper Deposit (Ontario, Canada) A Lavoué, N Arndt, J McBride, A Mordret, F Brenguier, P Boué, R Courbis, ... NSG2020 3rd Conference on Geophysics for Mineral Exploration and Mining 2020 …, 2020 | 2 | 2020 |
Noise-based Ballistic Body-wave Passive Seismic Monitoring. F Brenguier, R Courbis, A Mordret, X Campman, P Boué, M Chmiel, ... Geophysical Research Abstracts 21, 2019 | 2 | 2019 |
TAGED approximations for veriying temporal patterns R Courbis, PC Héam, O Kouchnarenko Proc. of CIAA 9, 2009 | 2 | 2009 |
Contributions à l'analyse de systèmes par approximation d'ensembles réguliers R Courbis Université de Franche-Comté, 2011 | 1 | 2011 |
Une approche parallèle et distribuée pour la complétion d'automates d'arbre A Caciula, R Courbis, V Felea, PC Heam, R Ionescu 10es Journées Francophones Internationales sur les Approches Formelles dans …, 2010 | 1 | 2010 |
Approximations par réécriture pour deux problèmes indécidables R Courbis, PC Héam, P Jourdan, O Kouchnarenko AFADL 10, 7, 2010 | 1 | 2010 |
The mobile Finnish Seismic Instrument Pool R Courbis, G Hillers, E Koivisto, P Haapanala, I Kukkonen, Y Ding, ... EGU24, 2024 | | 2024 |
Ambient noise monitoring of the Bayou Corne sinkhole evolution A Mordret, A Lavoué, B Witten, A Baig, S Beaupretre, R Courbis, ... EGU General Assembly Conference Abstracts, EGU-4500, 2023 | | 2023 |
Detecting earthen dam defects using seismic interferometry monitoring on Distributed Acoustic Sensing data A Mordret, A Stork, S Johansson, A Lavoue, S Beaupretre, R Courbis, ... EGU General Assembly Conference Abstracts, EGU22-3728, 2022 | | 2022 |