Joseph Razavi

According to our database, Joseph Razavi authored at least 8 papers between 2017 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

2018

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms.

Joseph Razavi, Andrea Schalk

Proceedings of the Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, 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

2017

Information flow in spatial models of computation.

Joseph Razavi

PhD thesis, 2017