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.
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
Cacciagrano, Diletta Romana and Corradini, Flavio and Culmone, Rosario and Gorogiannis, Nikos and Mostarda, Leonardo and Raimondi, Franco and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments , 10 (3). pp. 261-273. ISSN 1876-1364
