Nikos Gorogiannis

According to our database, Nikos Gorogiannis authored at least 31 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

A Compositional Deadlock Detector for Android Java.

James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2019

A true positives theorem for a static race detector.

Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey

Proc. ACM Program. Lang., 2019

SL-COMP: Competition of Solvers for Separation Logic.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

RacerD: compositional static race detection.

Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey

Proc. ACM Program. Lang., 2018

Analysis and verification of ECA rules in intelligent environments.

Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi

J. Ambient Intell. Smart Environ., 2018

A True Positives Theorem for a Static Race Detector - Extended Version.

Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey

CoRR, 2018

MIRTO: an Open-Source Robotic Platform for Education.

Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, Miltos Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

2017

Symbolic verification of event-condition-action rules in intelligent environments.

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi

J. Reliab. Intell. Environ., 2017

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi

Proceedings of the 2017 International Conference on Intelligent Environments, 2017

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs.

Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Biabduction (and Related Problems) in Array Separation Logic.

James Brotherston, Nikos Gorogiannis, Max I. Kanovich

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Model checking for symbolic-heap separation logic with inductive predicates.

James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Disproving Inductive Entailments in Separation Logic via Base Pair Approximation.

James Brotherston, Nikos Gorogiannis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Towards Cyber-physical Systems as Services: The ASIP Protocol.

Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi

Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

2014

Cyclic Abduction of Inductively Defined Safety and Termination Preconditions.

James Brotherston, Nikos Gorogiannis

Proceedings of the Static Analysis - 21st International Symposium, 2014

Foundations for Decision Problems in Separation Logic with General Inductive Predicates.

Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine

Proceedings of the Foundations of Software Science and Computation Structures, 2014

A Racket-Based Robot to Teach First-Year Computer Science.

Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic

Proceedings of ELS 2014 - 7th European Lisp Symposium, Paris, France, May 5-6, 2014., 2014

A decision procedure for satisfiability in separation logic with inductive predicates.

James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2012

A Generic Cyclic Theorem Prover.

James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Instantiating abstract argumentation with classical logic arguments: Postulates and properties.

Nikos Gorogiannis, Anthony Hunter

Artif. Intell., 2011

The Complexity of Abduction for Separated Heap Abstractions.

Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

The Complexity of the Warranted Formula Problem in Propositional Argumentation.

Robin Hirsch, Nikos Gorogiannis

J. Log. Comput., 2010

2009

An argument-based approach to reasoning with clinical knowledge.

Nikos Gorogiannis, Anthony Hunter, Matthew Williams

Int. J. Approx. Reason., 2009

Argumentation about Treatment Efficacy.

Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, Matthew Williams

Proceedings of the Knowledge Representation for Health-Care: Data, 2009

2008

Implementing semantic merging operators using binary decision diagrams.

Nikos Gorogiannis, Anthony Hunter

Int. J. Approx. Reason., 2008

Merging First-Order Knowledge Using Dilation Operators.

Nikos Gorogiannis, Anthony Hunter

Proceedings of the Foundations of Information and Knowledge Systems, 2008

2007

Minimal refinements of specifications in modal and temporal logics.

Nikos Gorogiannis, Mark Ryan

Formal Aspects Comput., 2007

Minimal refinements of specifications in model and termporal logics.

Nikos Gorogiannis, Mark Ryan

Formal Aspects Comput., 2007

2003

Computing minimal changes of models of systems.

Nikos Gorogiannis

PhD thesis, 2003

2002

Implementation of Belief Change Operators Using BDDs.

Nikos Gorogiannis, Mark Ryan

Stud Logica, 2002

Requirements, specifications, and minimal refinement.

Nikos Gorogiannis, Mark Ryan

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002