Find Research Outputs

Search concepts
Selected filters

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

Process Design
Business Process
Process design
Industry
Business Process Modeling
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
Application programs
Refining
Visualization
Hardware
Internet of things

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
Risk assessment
Systems analysis
Requirements engineering
Information systems
Decision making

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
Unknot
Knot
Diagram
Knot Theory
Tangles
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
Ubiquitous computing
Internet of things
Industry

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
Cloud computing
Systems analysis
Costs
Industry

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

Systems Analysis
Software
Language
Posture
Visualization

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 Model
Business Process
Process Model
Attribute
Compliance

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
Process monitoring
Monitoring
Industry
Processing
Graphics processing unit

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

Requirements Engineering
Requirements engineering
Decision making
Decision Making
Systems analysis

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
Diffusion tensor imaging
Probability distributions
Brain

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

Requirements engineering
Software engineering
Industry
Software
Alignment

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

Process Design
Business Process
Process design
Industry
Business process design
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
Learning algorithms
Bayesian networks
Learning systems
Deep learning

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
Requirements engineering
Ubiquitous computing
Lenses
Internet of things
Industry

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
Electric sparks
Engines
Ignition
Graphical user interfaces
Scalability

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
Industry
Data privacy
Information systems

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

Bayesian networks
Decision trees
Learning algorithms
Learning systems
Logistics

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

Legacy systems
Industry
Modernization

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
Visualization
Engines

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
Mechanization
Static analysis
Syntactics
Machinery
Semantics

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

Process design
Industry
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

Availability
Color

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

Unknot
Knot
Reasoning
Computational Topology
Prime knot

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

Visualization
Interfaces (computer)

Equivalences in Euler-based diagram systems through normal forms

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

Research output: Contribution to journalArticle

Open Access
File
Redundancy
Syntactics
Semantics
Visualization
Conveying

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
Case based reasoning
Visualization
Electronic mail
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
Visual languages
Topology
Specifications

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

Visual languages
Specifications

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
Visual languages
Specifications

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

Visual languages
Physics
Software engineering
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

Concretes
Visualization

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
Testing

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
Drawing (graphics)
Visualization
Concretes
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

Visual languages
Specifications

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

Testing
Electromagnetic compatibility
Failure modes
Durability

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

Theorem proving
Visualization
Semantics
Concretes

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

Resources
Diagrams
Multiple use
Organizing
Visualization