Sébastien Lefebvre

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 2

Top Topics

Formal Verification

Autonomous Learning

Bounded Model Checking

Top Venues

Nets4Cars/Nets4Trains/Nets4Aircraft

Intelligent Vehicles Symposium

Publications

Damien Trentesaux, Rudy Dahyot, Abel Ouedraogo, Diego Arenas, Sébastien Lefebvre, Walter Schön, Benjamin Lussier, Hugues Cheritel
The Autonomous Train. SoSE (2018)
Mohamed Niang, Alexandre Philippot, François Gellot, Raphaël Coupat, Bernard Riera, Sébastien Lefebvre
Formal Verification for Validation of PSEEL's PLC Program. ICINCO (1) (2017)
Emilie Masson, Marion Berbineau, Sébastien Lefebvre
Broadband Internet Access on board High Speed Trains, A Technological Survey. Nets4Cars/Nets4Trains/Nets4Aircraft (2015)
Sébastien Lefebvre, Sebastien Ambellouis
Vehicle detection and tracking using Mean Shift segmentation on semi-dense disparity maps. Intelligent Vehicles Symposium (2012)
Sébastien Lefebvre, Sebastien Ambellouis, François Cabestaing
A 1D approach to correlation-based stereo matching. Image Vis. Comput. 29 (9) (2011)
Luc Duvieubourg, Sebastien Ambellouis, Sébastien Lefebvre, François Cabestaing
Obstacle Detection Using a Single Camera Stereo Sensor. SITIS (2007)
Sébastien Lefebvre, Sebastien Ambellouis, François Cabestaing
A Colour Correlation-Based Stereo Matching Using 1D Windows. SITIS (2007)
Sébastien Lefebvre, Sebastien Ambellouis, François Cabestaing
Obstacles Detection on a Road by Dense Stereovision with 1D Correlation Windows and Fuzzy Filtering. ITSC (2006)