Nikos Gorogiannis

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 15

Top Venues

CoRR

Proc. ACM Program. Lang.

FoSSaCS

ECSEE

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich
A Compositional Deadlock Detector for Android Java. ASE (2021)
Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
A true positives theorem for a static race detector. Proc. ACM Program. Lang. 3 (POPL) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
A True Positives Theorem for a Static Race Detector - Extended Version. CoRR (2018)
Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
RacerD: compositional static race detection. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, M. Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
MIRTO: an Open-Source Robotic Platform for Education. ECSEE (2018)
Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
Analysis and verification of ECA rules in intelligent environments. J. Ambient Intell. Smart Environ. 10 (3) (2018)
Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. IJCAI (2017)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments (2017)
James Brotherston, Nikos Gorogiannis, Max I. Kanovich
Biabduction (and Related Problems) in Array Separation Logic. CADE (2017)
Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
Symbolic verification of event-condition-action rules in intelligent environments. J. Reliab. Intell. Environ. 3 (2) (2017)
James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe
Model checking for symbolic-heap separation logic with inductive predicates. POPL (2016)
James Brotherston, Nikos Gorogiannis, Max I. Kanovich
Biabduction (and Related Problems) in Array Separation Logic. CoRR (2016)
James Brotherston, Nikos Gorogiannis
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. TABLEAUX (2015)
Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
Towards Cyber-physical Systems as Services: The ASIP Protocol. SEsCPS@ICSE (2015)
James Brotherston, Nikos Gorogiannis
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. SAS (2014)
Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
A Racket-Based Robot to Teach First-Year Computer Science. ELS (2014)
James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis
A decision procedure for satisfiability in separation logic with inductive predicates. CSL-LICS (2014)
Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine
Foundations for Decision Problems in Separation Logic with General Inductive Predicates. FoSSaCS (2014)
James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen
A Generic Cyclic Theorem Prover. APLAS (2012)
Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn
The Complexity of Abduction for Separated Heap Abstractions. SAS (2011)
Nikos Gorogiannis, Anthony Hunter
Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artif. Intell. 175 (9-10) (2011)
Robin Hirsch, Nikos Gorogiannis
The Complexity of the Warranted Formula Problem in Propositional Argumentation. J. Log. Comput. 20 (2) (2010)
Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, Matthew Williams
Argumentation about Treatment Efficacy. KR4HC (2009)
Nikos Gorogiannis, Anthony Hunter, Matthew Williams
An argument-based approach to reasoning with clinical knowledge. Int. J. Approx. Reason. 51 (1) (2009)
Nikos Gorogiannis, Anthony Hunter
Merging First-Order Knowledge Using Dilation Operators. FoIKS (2008)
Nikos Gorogiannis, Anthony Hunter
Implementing semantic merging operators using binary decision diagrams. Int. J. Approx. Reason. 49 (1) (2008)
Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. 19 (4) (2007)
Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in model and termporal logics. Formal Aspects Comput. 19 (1) (2007)
Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. 19 (2) (2007)
Nikos Gorogiannis, Mark Ryan
Requirements, specifications, and minimal refinement. Electron. Notes Theor. Comput. Sci. 67 (2002)
Nikos Gorogiannis, Mark Ryan
Implementation of Belief Change Operators Using BDDs. Stud Logica 70 (1) (2002)

Nikos Gorogiannis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nikos Gorogiannis