Nikos Gorogiannis

33 papers A* 3A 1B 6C 1Journal 14Unranked 7

Year	Rank	Type	Title / Venue / Authors
2021	A*	`conf`	A Compositional Deadlock Detector for Android Java. ASE James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich
2019	J	`jnl`	A true positives theorem for a static race detector. Proc. ACM Program. Lang. Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
2019	—	`conf`	SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) 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
2018	J	`jnl`	A True Positives Theorem for a Static Race Detector - Extended Version. CoRR Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
2018	J	`jnl`	Analysis and verification of ECA rules in intelligent environments. J. Ambient Intell. Smart Environ. Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi, Claudia Vannucchi
2018	—	`conf`	MIRTO: an Open-Source Robotic Platform for Education. ECSEE 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
2018	J	`jnl`	RacerD: compositional static race detection. Proc. ACM Program. Lang. Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
2017	A*	`conf`	A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. IJCAI Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
2017	A	`conf`	Biabduction (and Related Problems) in Array Separation Logic. CADE James Brotherston, Nikos Gorogiannis, Max I. Kanovich
2017	J	`jnl`	Symbolic verification of event-condition-action rules in intelligent environments. J. Reliab. Intell. Environ. Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
2017	B	`conf`	vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. Intelligent Environments Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi
2016	J	`jnl`	Biabduction (and Related Problems) in Array Separation Logic. CoRR James Brotherston, Nikos Gorogiannis, Max I. Kanovich
2016	A*	`conf`	Model checking for symbolic-heap separation logic with inductive predicates. POPL James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe
2015	B	`conf`	Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. TABLEAUX James Brotherston, Nikos Gorogiannis
2015	—	`conf`	Towards Cyber-physical Systems as Services: The ASIP Protocol. SEsCPS@ICSE Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
2014	—	`conf`	A Racket-Based Robot to Teach First-Year Computer Science. ELS Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
2014	—	`conf`	A decision procedure for satisfiability in separation logic with inductive predicates. CSL-LICS James Brotherston, Carsten Fuhs, Juan Antonio Navarro Pérez, Nikos Gorogiannis
2014	B	`conf`	Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. SAS James Brotherston, Nikos Gorogiannis
2014	B	`conf`	Foundations for Decision Problems in Separation Logic with General Inductive Predicates. FoSSaCS Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine
2012	B	`conf`	A Generic Cyclic Theorem Prover. APLAS James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen
2011	J	`jnl`	Instantiating abstract argumentation with classical logic arguments: Postulates and properties. Artif. Intell. Nikos Gorogiannis, Anthony Hunter
2011	B	`conf`	The Complexity of Abduction for Separated Heap Abstractions. SAS Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn
2010	J	`jnl`	The Complexity of the Warranted Formula Problem in Propositional Argumentation. J. Log. Comput. Robin Hirsch, Nikos Gorogiannis
2009	J	`jnl`	An argument-based approach to reasoning with clinical knowledge. Int. J. Approx. Reason. Nikos Gorogiannis, Anthony Hunter, Matthew Williams
2009	—	`conf`	Argumentation about Treatment Efficacy. KR4HC Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, Matthew Williams
2008	J	`jnl`	Implementing semantic merging operators using binary decision diagrams. Int. J. Approx. Reason. Nikos Gorogiannis, Anthony Hunter
2008	—	`conf`	Merging First-Order Knowledge Using Dilation Operators. FoIKS Nikos Gorogiannis, Anthony Hunter
2007	J	`jnl`	Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. Nikos Gorogiannis, Mark Ryan
2007	J	`jnl`	Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. Nikos Gorogiannis, Mark Ryan
2007	J	`jnl`	Minimal refinements of specifications in model and termporal logics. Formal Aspects Comput. Nikos Gorogiannis, Mark Ryan
2003	—	`—`	Computing minimal changes of models of systems. Nikos Gorogiannis
2002	J	`jnl`	Implementation of Belief Change Operators Using BDDs. Stud Logica Nikos Gorogiannis, Mark Ryan
2002	C	`conf`	Requirements, specifications, and minimal refinement. WoLLIC Nikos Gorogiannis, Mark Ryan