Conferences
C8.2018 Banach, R, Razavi, J, Lesecq, S, Debicki, O, Mareau, N, Foucault, J, Correvon, M & Dudnik, G 2018, Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. In Complex Systems Design and Management 2018 .
C9.2018 Razavi, J, Banach, R, Lesecq, S, Debicki, O, Mareau, N, Foucault, J, Correvon, M & Dudnik, G 2018, Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System. In ICSOFT 2018.
C10.2018 Banach, R, Razavi, J, Debicki, O, Mareau, N, Lesecq, S & Foucault, J 2018, Application of Formal Methods in the INSPEX Smart Systems Integration Project. in FMIS 2018.
C11.2018 Banach, R, Razavi, J & et al 2018, Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept. In 1st International Workshop on Biomedical & Health Engineering and Data Analysis (BEDA'18).
C12.2018 Banach, R, Razavi, J, Debicki, O, Mareau, N, Lesecq, S & Foucault, J 2018, Exploring Applications of Formal Methods in the INSPEX Project. in STAF Workshops 2018.
C13.2018 R. O'Keeffe et al., "Long Range LiDAR Characterisation for Obstacle Detection for use by the Visually Impaired and Blind," 2018 IEEE 68th Electronic Components and Technology Conference (ECTC), San Diego, CA, 2018, pp. 533-538. doi: 10.1109/ECTC.2018.00084
C14.2018 O Debicki, N Mareau, L. Ouvry, J Foucault, Suzanne Lesecq, et al.. INSPEX: Integrated portable multi-sensor obstacle detection device. Application to navigation for visually impaired people. Design and Automation Conference DAC 2018, IP-Track (best presentation award), Jun 2018, San Francisco, United States. 〈cea-01863959〉https://hal-cea.archives-ouvertes.fr/cea-01863959