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.
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
Bordoni, Mirco and Bottone, Michele and Fields, Bob and Gorogiannis, Nikos and Margolis, Michael and Primiero, Giuseppe and Raimondi, Franco (2015) Towards cyber-physical systems as services: the ASIP protocol. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy.