I joined Middlesex in 2009 and I am currently the Head of Department.
My personal web page can be found at this address:http://www.rmnd.net.
Žikelić, Ðorđe and Chang, Bor-Yuh Evan and Bolignano, Pauline and Raimondi, Franco (2022) Differential cost analysis with simultaneous potentials and anti-potentials. In: Programming Language Design and Implementation (PLDI 2022), 13-17 June 2022, San Diego, USA.
Bastys, Iulia and Bolignano, Pauline and Raimondi, Franco and Schoepe, Daniel (2021) Automatic annotation of confidential data in java code. In: FPS 2021: The 14th International Symposium on Foundations & Practice of Security, 08-12 Dec 2021, Paris, France.
Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2019) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer , 21 (4). pp. 449-469. ISSN 1433-2779
Bottone, Michele and Raimondi, Franco and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. In: The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA), 16-18 May 2018, Krakow, Poland.
Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning , 61 (1-4). pp. 113-119. ISSN 0168-7433
