Follow
Roméo Courbis
Roméo Courbis
Sisprobe
Verified email at sisprobe.com
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
332019
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
292008
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
202020
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
152020
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
92009
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
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
62015
Rewriting approximations for properties verification over ccs specifications
R Courbis
International Conference on Fundamentals of Software Engineering, 299-315, 2011
32011
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
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
22019
TAGED approximations for veriying temporal patterns
R Courbis, PC Héam, O Kouchnarenko
Proc. of CIAA 9, 2009
22009
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
12019
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
12019
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
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
The system can't perform the operation now. Try again later.
Articles 1–17