Jacques Robin

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search

R. Mazo, Salvador Abreu, Camilo Correa, 2021, CRiSIS.

SDN Intent-based conformance checking: application to security policies

Raúl Mazo, Nicolas Herbaut, Camilo Correa, 2021, 2021 IEEE 7th International Conference on Network Softwarization (NetSoft).

Online Verification through Model Checking of Medical Critical Intelligent Systems

Henrique Madeira, Nuno Lourenço, Raul Barbosa, 2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).

Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned

D. Jakovetić, C. Souveyet, D. Vukobratović, 2022, IEEE Access.