INSPEX: Design and integration of a portable/wearable smart spatial exploration system. - Suzanne Lesecq; Julie Foucault; Francois Birot; Hugues de Chaumont; Carl Jackson; Marc Correvon; P. Heck; Richard Banach; Andrea Di Matteo; Vincenza Di Palma; John Barrett; Susan Rea; et al. (DATE, 2017)

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 (CSDM, 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; et al. (FedCSIS (Communication Papers), 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 (ICSOFT, 2018)

Exploring Applications of Formal Methods in the INSPEX Project. - Joseph Razavi; Richard Banach; Olivier Debicki; Nicolas Mareau; Suzanne Lesecq; Julie Foucault (STAF Workshops, 2018)

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; et al. (Sensors, 2019)