Nikos Gorogiannis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
11
Active years
2009–2019
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, 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, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2017 | CADE | Biabduction (and Related Problems) in Array Separation Logic. | James Brotherston, Nikos Gorogiannis, Max I. Kanovich |
| 2017 | IJCAI | A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. | Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu |
| 2016 | POPL | Model checking for symbolic-heap separation logic with inductive predicates. | James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe |
| 2015 | ICSE | Towards Cyber-physical Systems as Services: The ASIP Protocol. | Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi |
| 2015 | TABLEAUX | Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. | James Brotherston, Nikos Gorogiannis |
| 2014 | CSL | A decision procedure for satisfiability in separation logic with inductive predicates. | James Brotherston, Carsten Fuhs, Juan Antonio Navarro Prez, Nikos Gorogiannis |
| 2014 | FOSSACS | Foundations for Decision Problems in Separation Logic with General Inductive Predicates. | Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Jol Ouaknine |
| 2014 | SAS | Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. | James Brotherston, Nikos Gorogiannis |
| 2012 | APLAS | A Generic Cyclic Theorem Prover. | James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen |
| 2011 | SAS | The Complexity of Abduction for Separated Heap Abstractions. | Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn |
| 2009 | AIME | Argumentation about Treatment Efficacy. | Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, Matthew Williams |