Fingerprint
Dive into the research topics where Joseph Razavi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Formal Methods by Stealth: The INSPEX Experience
Banach, R., Razavi, J., Debicki, O. & Lesecq, S., 2021, In: Journal of software: Evolution and Process.Research output: Contribution to journal › Article › peer-review
-
A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
Razavi, J. & Schalk, A., 1 Feb 2019, (Accepted/In press) Electronic Proceedings in Theoretical Computer Science.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX
Banach, R., Razavi, J., Debicki , O. & Lesecq, S., 12 Aug 2019, (Accepted/In press) Lecture Notes in Computer Science : Formal Methods.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
INSPEX: Optimize Range Sensors for Environment Perception as a Portable System
Foucault, J., Lesecq, S., Dudnik, G., Correvon, M., O’keeffe, R., Di Palma, V., Passoni, M., Quaglia, F., Ouvry, L., Buckley, S., Herveg, J., Di Matteo, A., Rakotovao, T., Debicki, O., Mareau, N., Barrett, J., Rea, S., Mcgibney, A., Birot, F. & De Chaumont, H. & 3 others, , 2019, In: Sensors. 19, 19, p. 4350Research output: Contribution to journal › Article › peer-review
Open Access -
Application of Formal Methods in the INSPEX Smart Systems Integration Project
Banach, R., Razavi, J., Debicki, O., Mareau, N., Lesecq, S. & Foucault, J., 18 May 2018, (Accepted/In press) FMIS 2018.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Thesis
-
Information Flow in Spatial Models of Computation
Razavi, J. (Author), Schalk, A. (Main Supervisor) & Pratt-Hartmann, I. (Co Supervisor), 1 Feb 2017Student thesis: Phd
File