Olivier Lebeltel

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 3

Top Venues

HSB

Int. J. Softw. Tools Technol. Transf.

QAPL

TAP

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel
Testing a Formally Verified Compiler. TAP (2023)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) (2018)
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
Exploring Synthetic Mass Action Models. HSB (2014)
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
Formal and Informal Methods for Multi-Core Design Space Exploration. QAPL (2014)
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
Exploring the Dynamics of Mass Action Systems. HSB (2013)
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
SpaceEx: Scalable Verification of Hybrid Systems. CAV (2011)
Olivier Lebeltel, Pierre Bessière, Julien Diard, Emmanuel Mazer
Programmation bayésienne des robots. Rev. d'Intelligence Artif. 18 (2) (2004)
Ronan Le Hy, Anthony Arrigoni, Pierre Bessière, Olivier Lebeltel
Teaching Bayesian behaviours to video game characters. Robotics Auton. Syst. 47 (2-3) (2004)
Olivier Lebeltel, Pierre Bessière, Julien Diard, Emmanuel Mazer
Bayesian Robot Programming. Auton. Robots 16 (1) (2004)
Priscilla Pek Su-Jin, Olivier Lebeltel, Christian Laugier
Parking a car using Bayesian Programming. ICARCV (2002)
Eric Dedieu, Olivier Lebeltel, Pierre Bessière
Wings Were Not Designed to Let Animals Fly. Artificial Evolution (1997)

Olivier Lebeltel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olivier Lebeltel