Olivier Debicki

According to our database, Olivier Debicki authored at least 10 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formal methods by stealth: The INSPEX experience.

Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq

J. Softw. Evol. Process., 2021

2019

INSPEX: Optimize Range Sensors for Environment Perception as a Portable System.

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

Sensors, 2019

Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX.

Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Localization system in GPS-denied environments using radar and IMU measurements: Application to a smart white cane.

Jeremy Barra, Suzanne Lesecq, Mykhailo Zarudniev, Olivier Debicki, Nicolas Mareau, Laurent Ouvry

Proceedings of the 17th European Control Conference, 2019

2018

Exploring Applications of Formal Methods in the INSPEX Project.

Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault

Proceedings of the Software Technologies: Applications and Foundations, 2018

Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System.

Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik

Proceedings of the 13th International Conference on Software Technologies, 2018

Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept.

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

Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX.

Richard Banach, Joe Razavi, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik

Proceedings of the Complex Systems Design & Management, 2018

2016

Transforming VHDL descriptions into formal component-based models.

Ayoub Nouri, Rahma Ben Atitallah, Anca Molnos, Christian Fabre, Frédéric Heitzmann, Olivier Debicki

Proceedings of the 2016 International Symposium on Rapid System Prototyping, 2016

2014

Dynamic power management in a wireless sensor network using predictive control.

Olesia Mokrenko, Suzanne Lesecq, Warody Lombardi, Diego Puschini, Carolina Albea, Olivier Debicki

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014