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 | 51 | 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 | 34 | 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 | 32 | 2020 |
Finer is better: Abstraction refinement for rewriting approximations Y Boichut, R Courbis, PC Héam, O Kouchnarenko International Conference on Rewriting Techniques and Applications, 48-62, 2008 | 29 | 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 | 4 | 2019 |
Rewriting approximations for properties verification over ccs specifications R Courbis International Conference on Fundamentals of Software Engineering, 299-315, 2011 | 3 | 2011 |
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 |
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 Technical Program Expanded Abstracts 2019, 3036-3040, 2019 | 2 | 2019 |
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 |
Monitoring and imaging water saturation variations using ballistic body-and surface-waves from seismic ambient noise correlations A Mordret, R Courbis, F Brenguier, MJ Chmiel, S Garambois, S Mao, ... AGUFM 2019, S33B-03, 2019 | | 2019 |