For my personal website please visit https://ngorogiannis.bitbucket.io
Software verification, program correctness, logic.
Blackshear, Sam and Gorogiannis, Nikos and O'Hearn, Peter and Sergey, Ilya (2018) RacerD: compositional static race detection. Proceedings of the ACM on Programming Languages , 2 (OOPSLA). 144:1-144:28. ISSN 2475-1421
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
Androutsopoulos, Kelly and Aristodemou, Leonidas and Boender, Jaap and Bottone, Michele and Currie, Edward 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.