Information flow in spatial models of computation. - Joseph Razavi (2017)

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)

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. - Joseph Razavi; Andrea Schalk (DCM/ITRS, 2018)

Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. - Richard Banach; Joseph Razavi; Olivier Debicki; Suzanne Lesecq (FM Workshops (1), 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; et al. (Sensors, 2019)

Formal methods by stealth: The INSPEX experience. - Richard Banach; Joseph Razavi; Olivier Debicki; Suzanne Lesecq (J. Softw. Evol. Process., 2021)