Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Andrew Fish

Enhancing secure business process design with security process patterns

Argyropoulos, N., Mouratidis, H. & Fish, A., 13 Jul 2019, In : Software and Systems Modeling. p. 1-23

Research output: Contribution to journalArticle

2018

Apparatus: A framework for security analysis in internet of things systems

Mavropoulos, O., Mouratidis, H., Fish, A. & Panaousis, E., 23 Aug 2018, In : Ad Hoc Networks.

Research output: Contribution to journalArticle

Open Access
File

Risk-aware decision support with Constrained Goal Models

Argyropoulos, N., Angelopoulos, K., Mouratidis, H. & Fish, A., 8 Oct 2018, In : Information and Computer Security. 26, 4, p. 472-490

Research output: Contribution to journalArticle

Open Access
File

Visual algebraic proofs for unknot detection

Fish, A., Lisitsa, A. & Vernitski, A., 17 May 2018, 10th International Conference on Theory and Applications of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh: Springer, Vol. 10871. p. 89-104 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File
2017

A Conceptual Model to Support Security Analysis in the Internet of Things

Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E. & Kalloniatis, C., 1 Jul 2017, In : Computer Science And Information Systems. 14, 2, p. 557-578 22 p.

Research output: Contribution to journalArticle

Open Access
File

A Semi-Automatic Approach for Eliciting Cloud Security and Privacy Requirements

Argyropoulos, N., Shei, S., Kalloniatis, C., Mouratidis, H., Delaney, A., Fish, A. & Gritzalis, S., 4 Jan 2017, 50th Hawaii International Conference on System Sciences (HICSS). Hawaii, USA, p. 4827-4836 10 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

ASTo: A tool for security analysis of IoT systems

Mavropoulos, O., Mouratidis, H., Fish, A. & Panaousis, E., 30 Jun 2017, Proceedings - 2017 15th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2017. Institute of Electrical and Electronics Engineers Inc., p. 395-400 6 p. 7965757

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Attribute-based security verification of business process models

Argyropoulos, N., Mouratidis, H. & Fish, A., 14 Aug 2017, Proceedings - 2017 IEEE 19th Conference on Business Informatics, CBI 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. 43-52 10 p. 8010705. (Conference on Business Informatics).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Business Process Workflow Monitoring Using Distributed CBR with GPU Computing

Agorgianitis, I., Kapetanakis, S., Miltos Petridis, M. & Fish, A., 8 May 2017, p. 495-498. 4 p.

Research output: Contribution to conferencePaper

Open Access

Decision-making in security requirements engineering with constrained goal models

Argyropoulos, N., Angelopoulos, K., Mouratidis, H. & Fish, A., 22 Dec 2017, Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Revised Selected Papers. Springer-Verlag, p. 262-280 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10683 LNCS).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Modeling Diffusion Directions of Corpus Callosum

Elsheikh, S., Fish, A., Chakrabarti, R., Zhou, D. & Cercignani, M., 22 Jun 2017, Medical Image Understanding and Analysis (MIUA 2017). Cham: Springer, p. 518-526 9 p. (Communications in Computer and Information Science; vol. 723).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Security Alignment Analysis of Software Product Lines

Sprovieri, D., Argyropoulos, N., Souveyet, C., Mazo, R., Mouratidis, H. & Fish, A., 16 Mar 2017, Proceedings - 4th International Conference on Enterprise Systems: Advances in Enterprise Systems, ES 2016. Institute of Electrical and Electronics Engineers Inc., p. 97-103 7 p. 7880478

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Supporting secure business process design via security process patterns

Argyropoulos, N., Mouratidis, H. & Fish, A., 1 May 2017, Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings. Springer-Verlag, p. 9-13 5 p. (Lecture Notes in Business Information Processing; vol. 287).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

2016

An Investigation on Online Versus Batch Learning in Predicting User Behaviour

Burlutskiy, N., Petridis, M., Fish, A., Chernov, A. & Ali, N., 5 Nov 2016, International Conference on Innovative Techniques and Applications of Artificial Intelligence. Cambridge, UK: Springer International Publishing, p. 135-149 15 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Apparatus: Reasoning About Security Requirements in the Internet of Things

Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E. & Kalloniatis, C., 7 Jun 2016, Advanced Information Systems Engineering Workshops,CAiSE 2016 International Workshops, Proceedings.. Slovenia: Springer International Publishing, Vol. 249. p. 219-230 12 p. (Lecture Notes in Business Information Processing).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Classifying links under fused isotopy

Fish, A. & Keyman, E., 7 Jun 2016, In : Journal of Knot Theory and Its Ramifications. 25, 07

Research output: Contribution to journalArticle

Open Access
File

Cluster Analysis of Diffusion Tensor Fields with Application to the Segmentation of the Corpus Callosum

Elsheikh, S., Fish, A., Chakrabarti, R. & Zhou, D., 25 Jul 2016, 20th Conference on Medical Image Understanding and Analysis (MIUA 2016). Loughborough: Elsevier, Vol. 90. p. 15-21 7 p. (Procedia Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Efficient knot discrimination via quandle coloring with SAT and #-SAT

Fish, A., Lisitsa, A., Stanovský, D. & Swartwood, S., 1 Jan 2016, 5th International Conference on Mathematical Software (ICMS 2016). Berlin: Springer International Publishing, Vol. 9725. p. 51-58 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Filter Large-scale Engine Data using Apache Spark

Begg, S., Fish, A., Pirozzi, D., De Sercey, G., Scarano, V. & Harvey, A., 18 Jul 2016, IEEE-INDIN 2016 14th international conference on industrial informatics. Poitiers, France, p. 1300-1305 6 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Incorporating privacy patterns into semi-automatic business process derivation

Argyropoulos, N., Kalloniatis, C., Mouratidis, H. & Fish, A., 25 Aug 2016, 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS). Piscataway, NJ: IEEE, p. 1-12 12 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

KnotSketch: a tool for knot diagram sketching, encoding and re-generation

Costagliola, G., De Rosa, M., Fish, A., Fuccella, V., Saleh, R. & Swartwood, S., 1 Nov 2016, In : Journal of Visual Languages and Sentient Systems. 2, p. 16-25 10 p.

Research output: Contribution to journalArticle

Open Access
File

Online region computations for Euler Diagrams with relaxed drawing conventions

Cordasco, G., De Chiara, R. & Fish, A., 20 Oct 2016, In : Journal of Visual Languages and Computing. p. 1-20 20 p.

Research output: Contribution to journalArticle

Open Access
File

Prediction of Users' Response Time in Q&A Communities

Burlutskiy, N., Fish, A., Ali, N. & Petridis, M., 3 Mar 2016, 14th International Conference on Machine Learning and Applications (ICMLA). Miami: IEEE, p. 618-623 6 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Resource-aware Policies

Bottoni, P., Fish, A., Heussner, A. & Parisi-Presicce, F., 20 Oct 2016, In : Journal of Visual Languages and Computing. 38, p. 84-96 13 p.

Research output: Contribution to journalArticle

Open Access
File

Type Annotation for Adaptive Systems

Fish, A., Bottoni, P. & Parisi-Presicce, F., 4 Dec 2016, Graphs as Models workshop (GaM 2016). Eindhoven, The Netherlands, p. 1-15 15 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Visual exploration system in an industrial context

Fish, A., Gargiulo, C., Malandrino, D., Pirozzi, D. & Scarano, V., 25 Jan 2016, In : IEEE Transactions on Industrial Informatics. 12, 2, p. 567-575 9 p.

Research output: Contribution to journalArticle

Open Access
File
2015

A Combinatorial Approach to Knot Recognition

Fish, A., Lisitsa, A. & Stanovský, D., 21 Nov 2015, Embracing Global Computing in Emerging Economies. Almaty, Kazakhstan: Springer International Publishing, Vol. 514. p. 64-78 15 p. (Communications in Computer and Information Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNChapter

Eliciting security requirements for business processes of legacy systems

Argyropoulos, N., Alcañiz, L. M., Mouratidis, H., Fish, A., Rosado, D. G., de Guzmán, I. G-R. & Fernandez-Medina, E., 26 Nov 2015, The Practice of Enterprise Modeling. Switzerland: Springer International Publishing, Vol. 235. p. 91-107 17 p. (Lecture Notes in Business Information Processing).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Simulation repository visualisation and exploration

Fish, A., Gargiulo, C., Pirozzi, D. & Scarano, V., 22 Jul 2015, 2015 IEEE International Conference on Industrial Informatics (INDIN). Cambridge, UK: IEEE, p. 832-837 6 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Spider Graphs: a graph transformation system for spider diagrams

Bottoni, P., Fish, A. & Parisi-Presicce, F., 1 Oct 2015, In : Software and Systems Modeling. 14, 4, p. 1421-1453 33 p.

Research output: Contribution to journalArticle

Open Access
File

Towards the derivation of secure business process designs

Argyropoulos, N., Mouratidis, H. & Fish, A., 15 Dec 2015, Advances in Conceptual Modeling. Switzerland: Springer International Publishing, Vol. 9382. p. 248-258 11 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

2014

2014 IEEE Symposium onVisual Languages and Human-Centric Computing (VL/HCC)

Fleming, S. (ed.), Fish, A. (ed.) & Scaffidi, C. (ed.), 28 Aug 2014, New Jersey: IEEE. 1 p.

Research output: Book/ReportBook - edited

Annotating spiders with resource information

Bottoni, P., Fish, A. & Heussner, A., 1 Jan 2014, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2014. Melbourne, VIC: IEEE, p. 33-40 8 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Detecting Unknots via Equational Reasoning, I: Exploration

Fish, A. & Lisitsa, A., 1 Jan 2014, Intelligent Computer Mathematics International Conference, CICM 2014. Portugal: Springer International Publishing, Vol. 8543. p. 76-91 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Enabling the visualization for reasoning about temporal data

Burlutskiy, N., Petridis, M., Fish, A. & Ali, N., 1 Jan 2014, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing. Melbourne, Australia, p. 179-180 2 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Equivalences in Euler-based diagram systems through normal forms

Fish, A. & Taylor, J., 1 Sep 2014, In : LMS Journal of Computation and Mathematics. 17, 1, p. 431-484 54 p.

Research output: Contribution to journalArticle

Open Access
File

How to visualise a conversation: case-based reasoning approach

Burlutskiy, N., Petridis, M., Fish, A. & Ali, N., 9 Jan 2014, 19th UK CBR Workshop, 2014. Cambridge, p. 1-12 12 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File
2013

Curve-based diagram specification and construction

Costagliola, G., De Rosa, M., Fish, A., Fuccella, V. & Saleh, R., 1 Jan 2013, 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). California, p. 39-42 4 p. (Visual Languages and Human Centric Computing).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Euler diagram codes: interpretation and generation

Bottoni, P., Costagliola, G., De Rosa, M., Fish, A. & Fuccella, V., 1 Jan 2013, Proceedings of the 6th International Symposium on Visual Information Communication and Interaction. China, p. 105-106 2 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Extending Spider Diagrams for policy definition

Bottoni, P. & Fish, A., 1 Jun 2013, In : Journal of Visual Languages and Computing. 24, 3, p. 169-191 23 p.

Research output: Contribution to journalArticle

Policy enforcement and verification with timed modeling spider diagrams

Bottoni, P. & Fish, A., 1 Jan 2013, 2013 IEEE Symposium on visual languages and human-centric computing. California, p. 27-34 8 p. (Visual Languages and Human Centric Computing).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Towards an operationalization of the “physics of notations” for the analysis of visual languages

Fish, A. & Störrle, H., 1 Jan 2013, 16th International Conference, MODELS. USA, Vol. 8107. p. 104-120 17 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

2012

Euler diagram encodings

Bottoni, P., Costagliola, G. & Fish, A., 1 Jan 2012, Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012. Berlin Heidelberg: Springer-Verlag, Vol. 7352. p. 148-162 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

FunEuler: an euler diagram based interface enhanced with region-based functionalities

Cordasco, G., De Chiara, R., Fish, A. & Scarano, V., 1 Jan 2012, 3rd International Workshop on Euler Diagrams 2012. United Kingdom, p. 107-121 15 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

The online abstraction problem for euler diagrams

Cordasco, G., De Chiara, R. & Fish, A., 1 Jan 2012, Proceedings of the 3rd International Workshop on Euler Diagrams 2012. United Kingdom, p. 62-76 15 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File
2011

A visual language for temporal specifications based on spider diagrams

Bottoni, P. & Fish, A., 1 Jan 2011, In : Electronic Communications of the EASST. 41, p. 1-14 14 p.

Research output: Contribution to journalArticle

Developing a rigorous bottom-up modular static failure modelling methdology

Clark, R., Fish, A., Garrett, C. & Howse, J., 1 Jan 2011, Proceedings of the 6th international conference on system safety, 2011. Stevenage, UK: IET, p. 1-6 6 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Efficient on-line algorithms for Euler diagram region computation

Cordasco, G., De Chiara, R. & Fish, A., 1 Jan 2011, In : Computational Geometry. 44, 1, p. 52-68 17 p.

Research output: Contribution to journalArticle

Personalised resource categorisation using euler diagrams

Bottoni, P., Cordasco, G., De Chiara, R., Fish, A. & Scarano, V., 1 Jan 2011, Proceedings of the Third international conference on End-user development, IS-EUD'11. Berlin Heidelberg: Springer-Verlag, Vol. 6654. p. 251-257 7 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN