Publications in collaboration with researchers from Universidad de Sevilla (3)

2024

  1. Enabling security risk assessment and management for business process models

    Journal of Information Security and Applications, Vol. 84

2021

  1. CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

    Computers in Industry, Vol. 132

2020

  1. Definition and Verification of Security Configurations of Cyber-Physical Systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)