A Logic-Based Model to Reduce IoT Security Risks. - Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu (ICAART (3), 2024)

A Model to Manage Security Risks in IoT Systems. - Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu (ICAART (Revised Selected Paper, 2), 2024)

An Architecture for Composite Combinatorial Optimization Solvers. - Khalil Chrit; Jean-François Baffier; Pedro Patinho; Salvador Abreu (SLATE, 2025)