My research interests include model checking for extensions of temporal logics, formal methods, multi-agent systems and modal logics. Please see my personal web page for an up-to-date list of publications and for my teaching material:http://www.rmnd.net.I am the First Year tutor for BSc Computer Science, where I also teach.
Vannucchi, Claudia and Diamanti, Michelangelo and Mazzante, Gianmarco and Cacciagrano, Diletta and Culmone, Rosario and Gorogiannis, Nikos and Mostarda, Leonardo and Raimondi, Franco (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments . ISSN 2199-4668
Primiero, Giuseppe and Bottone, Michele and Raimondi, Franco and Tagliabue, Jacopo (2016) Contradictory information flow in networks with trust and distrust. In: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), 01-06 Dec 2016, Milan.
Bottone, Michele and Primiero, Giuseppe and Raimondi, Franco and De Florio, Vincenzo (2016) A model for trustworthy orchestration in the internet of things. In: 2016 12th International Conference on Intelligent Environments (IE), 14-16 Sept 2016, London, United Kingdom.
Barbon, Gianluca and Margolis, Michael and Palumbo, Filippo and Raimondi, Franco and Weldin, Nick (2016) Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications, 89-90 . pp. 128-140. ISSN 0140-3664