Androutsopoulos, Kelly and Aristodemou, Leonidas and Boender, Jaap and Bottone, Michele and Currie, Ed and El-Aroussi, Inas and Fields, Bob and Gheri, Lorenzo and Gorogiannis, Nikos and Heeney, Michael and Micheletti, Matteo and Loomes, Martin J. and Margolis, Michael and Petridis, Miltos and Piermarteri, Andrea and Primiero, Giuseppe and Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany.
Gorogiannis, Nikos and Raimondi, Franco and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia.
Brotherston, James and Gorogiannis, Nikos and Kanovich, Max (2017) Biabduction (and related problems) in array separation logic. In: International Conference on Automated Deduction, 8-11 August 2017, Gothenburg.
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
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.