Follow
Roméo Courbis
Roméo Courbis
Institute of Seismology, University of Helsinki
Verified email at helsinki.fi
Title
Cited by
Cited by
Year
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
562019
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
412020
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
382020
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
302008
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
92015
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
82009
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
72009
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
62019
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
32019
Rewriting approximations for properties verification over CCS specifications
R Courbis
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012
32012
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
32008
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
22020
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
22019
TAGED approximations for veriying temporal patterns
R Courbis, PC Héam, O Kouchnarenko
Proc. of CIAA 9, 2009
22009
Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
R Courbis
Université de Franche-Comté, 2011
12011
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
12010
Approximations par réécriture pour deux problèmes indécidables
R Courbis, PC Héam, P Jourdan, O Kouchnarenko
AFADL 10, 7, 2010
12010
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
The system can't perform the operation now. Try again later.
Articles 1–20