Showing 1 - 4 results of 4 for search 'Antonios Gouglidis', query time: 0.02s Refine Results
  1. 1
    Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

    Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+ by Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou

    Published 2018-06-01
    Get full text
    Article
  2. 2
    Surveillance and security: protecting electricity utilities and other critical infrastructures

    Surveillance and security: protecting electricity utilities and other critical infrastructures by Antonios Gouglidis, Benjamin Green, David Hutchison, Ali Alshawish, Hermann de Meer

    Published 2018-09-01
    Get full text
    Article
  3. 3
    An ICT architecture for enabling ancillary services in Distributed Renewable Energy Sources based on the SGAM framework

    An ICT architecture for enabling ancillary services in Distributed Renewable Energy Sources based on the SGAM framework by Armin Stocker, Ali Alshawish, Martin Bor, John Vidler, Antonios Gouglidis, Andrew Scott, Angelos Marnerides, Hermann De Meer, David Hutchison

    Published 2022-05-01
    Get full text
    Article
  4. 4
    A flexible ICT architecture to support ancillary services in future electricity distribution networks: an accounting use case for DSOs

    A flexible ICT architecture to support ancillary services in future electricity distribution networks: an accounting use case for DSOs by Anish Jindal, Jakob Kronawitter, Ramona Kühn, Martin Bor, Hermann de Meer, Antonios Gouglidis, David Hutchison, Angelos K. Marnerides, Andrew Scott, Andreas Mauthe

    Published 2020-07-01
    Get full text
    Article

Search Tools: