Nicolas Mareau

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 6

Top Topics

Provably Correct

Formal Verification

Environmental Information

Top Venues

FedCSIS (Communication Papers)

Publications

Jeremy Barra, Suzanne Lesecq, Mykhailo Zarudniev, Olivier Debicki, Nicolas Mareau, Laurent Ouvry
Localization system in GPS-denied environments using radar and IMU measurements: Application to a smart white cane. ECC (2019)
Julie Foucault, Suzanne Lesecq, Gabriela Dudnik, Marc Correvon, Rosemary O'Keeffe, Vincenza Di Palma, Marco Passoni, Fabio Quaglia, Laurent Ouvry, Steve Buckley, Jean Herveg, Andrea Di Matteo, Tiana A. Rakotovao, Olivier Debicki, Nicolas Mareau, John Barrett, Susan Rea, Alan McGibney, Francois Birot, Hugues de Chaumont, Richard Banach, Joseph Razavi, Cian O'Murchu
INSPEX: Optimize Range Sensors for Environment Perception as a Portable System. Sensors 19 (19) (2019)
Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault
Exploring Applications of Formal Methods in the INSPEX Project. STAF Workshops (2018)
Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System. ICSOFT (2018)
Suzanne Lesecq, Olivier Debicki, Laurent Ouvry, Christian Fabre, Nicolas Mareau, Julie Foucault, Francois Birot, Loïc Sevrin, Steve Buckley, Carl Jackson, John Barrett, Alan McGibney, Susan Rea, David Rojas, Richard Banach, Joseph Razavi, Marc Correvon, Gabriela Dudnik, Jean-Marc Van Gyseghem, Jean Herveg, Nathalie Grandjean, Florence Thiry, Cian O'Murchu, Alan Mathewson, Rosemary O'Keeffe, Andrea Di Matteo, Vincenza Di Palma, Fabio Quaglia, Giuseppe Villa
Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept. FedCSIS (Communication Papers) (2018)
Richard Banach, Joe Razavi, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. CSDM (2018)