[1]

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, and Franco Raimondi. vIRONy: A tool for analysis and verification of eca rules in intelligent environments. In 2017 International Conference on Intelligent Environments (IE), pages 92–99, Aug 2017. [ DOI | .pdf ]

[2]

Nikos Gorogiannis, Franco Raimondi, and Ioana Boureanu. A novel symbolic approach to verifying epistemic properties of programs. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, pages 206–212, 2017. [ DOI | .pdf ]

[3]

James Brotherston, Nikos Gorogiannis, and Max Kanovich. Biabduction (and related problems) in array separation logic. In Leonardo de Moura, editor, CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings, pages 472–490. Springer International Publishing, 2017. [ DOI | .pdf ]

[4]

James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe. Model checking for symbolic-heap separation logic with inductive predicates. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, pages 84–96. ACM, 2016. [ DOI | .pdf ]

[5]

James Brotherston and Nikos Gorogiannis. Disproving inductive entailments in separation logic via base pair approximation. In Hans De Nivelle, editor, Automated Reasoning with Analytic Tableaux and Related Methods, volume 9323 of Lecture Notes in Computer Science, pages 287–303. Springer International Publishing, 2015. [ DOI | .pdf ]

[6]

Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max Kanovich, and Joël Ouaknine. Foundations for decision problems in separation logic with general inductive predicates. In Foundations of Software Science and Computation Structures, FoSSaCS 2014, volume 8412 of Lecture Notes in Computer Science, pages 411–425. Springer Berlin Heidelberg, 2014. [ DOI | .pdf ]

[7]

James Brotherston and Nikos Gorogiannis. Cyclic abduction of inductively defined safety and termination preconditions. In Markus Müller-Olm and Helmut Seidl, editors, Static Analysis, volume 8723 of Lecture Notes in Computer Science, pages 68–84. Springer International Publishing, 2014. [ DOI | .pdf ]

[8]

James Brotherston, Carsten Fuhs, Juan A. Navarro Pérez, and Nikos Gorogiannis. A decision procedure for satisfiability in separation logic with inductive predicates. In 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), CSL-LICS '14, pages 25:1–25:10, New York, NY, USA, 2014. ACM. [ DOI | .pdf ]

[9]

James Brotherston, Nikos Gorogiannis, and Rasmus L. Petersen. A generic cyclic theorem prover. In Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, volume 7705 of Lecture Notes in Computer Science, pages 350–367. Springer, 2012. [ DOI | .pdf ]

[10]

Nikos Gorogiannis, Max Kanovich, and Peter W. O'Hearn. The complexity of abduction for separated heap abstractions. In The 18th International Static Analysis Symposium, SAS 2011, volume 6887 of Lecture Notes in Computer Science, pages 25–42. Springer, 2011. [ DOI | .pdf ]

[11]

Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, and Matthew Williams. Argumentation about treatment efficacy. In Knowledge Representation for Health-Care. Data, Processes and Guidelines, volume 5943 of Lecture Notes in Computer Science, pages 169–179. Springer, 2010. [ DOI | .pdf ]

[12]

Nikos Gorogiannis and Anthony Hunter. Merging First-Order Knowledge using Dilation Operators. In Proceedings of the Fifth International Symposium on Foundations of Information and Knowledge Systems, FoIKS'08, volume 4932 of Lecture Notes in Computer Science, pages 132–150, January 2008. [ DOI | .pdf ]

[13]

Nikos Gorogiannis and Mark Ryan. Requirements, specifications, and minimal refinement. In 9th Workshop on Logic, Language, Information and Computation, volume 67 of Electronic Notes in Theoretical Computer Science, pages 218–232, October 2002. [ DOI | .pdf ]

This file was generated by bibtex2html 1.99.

[1]

Sam Blackshear, Nikos Gorogiannis, Peter W. O'Hearn, and Ilya Sergey. Racerd: Compositional static race detection. Proc. ACM Program. Lang., 2(OOPSLA):144:1–144:28, October 2018. [ DOI | http ]

Keywords: Concurrency, Concurrent Separation Logic, Race Freedom, Static Analysis

[2]

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Cacciagrano, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, and Franco Raimondi. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments, 3(2):117–130, Aug 2017. [ DOI | .pdf ]

[3]

Nikos Gorogiannis and Anthony Hunter. Instantiating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties. Artificial Intelligence Journal, 175(9–10):1479–1497, June 2011. [ DOI | .pdf ]

[4]

Robin Hirsch and Nikos Gorogiannis. The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20(2):481–499, April 2010. [ DOI | .pdf ]

[5]

Nikos Gorogiannis and Anthony Hunter. An argument-based approach to reasoning with clinical knowledge. International Journal of Approximate Reasoning, 51(1):1–22, December 2009. [ DOI | .pdf ]

[6]

Nikos Gorogiannis and Anthony Hunter. Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49(1):234–251, September 2008. [ DOI | .pdf ]

[7]

Nikos Gorogiannis and Mark Ryan. Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing, 19(4):417–444, November 2007. [ DOI | .pdf ]

[8]

Nikos Gorogiannis and Mark D. Ryan. Implementation of Belief Change Operators using BDDs. Studia Logica, 70(1):131–156, February 2002. [ DOI | .pdf ]

This file was generated by bibtex2html 1.99.

[1]

James Brotherston, Nikos Gorogiannis, and Max Kanovich. Biabduction (and related problems) in array separation logic. Id: arXiv:1607.01993, 2016. [ http ]

[2]

Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, and Giuseppe Primiero andFranco Raimondi. Towards cyber-physical systems as services: the ASIP protocol. In IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), pages 52–55, 2015. [ DOI | .pdf ]

[3]

K. Androutsopoulos, N. Gorogiannis, M. Loomes, M. Margolis, G. Primiero, F. Raimondi, P. Varsani, N. Weldin, and A. Zivanovic. A racket-based robot to teach first-year computer science. In Proceedings of the Seventh European Lisp Symposium, 2014. [ .pdf ]

[4]

James Brotherston, Carsten Fuhs, Nikos Gorogiannis, and Juan Navarro Pérez. A decision procedure for satisfiability in separation logic with inductive predicates. Technical Report RN/13/15, University College London, 2013. [ .pdf ]

[5]

James Brotherston and Nikos Gorogiannis. Cyclic abduction of inductively defined safety and termination preconditions. Technical Report RN/13/14, University College London, 2013. [ .pdf ]

This file was generated by bibtex2html 1.99.

[1]

Nikos Gorogiannis. Computing minimal changes of models of systems. PhD thesis, School of Computer Science, University of Birmingham, 2003. [ .pdf ]

This file was generated by bibtex2html 1.99.