Noel Arteche and Montserrat Hermo. ​​​Towards the exact complexity of realizability for Safety LTL. J. Log. Algebraic Methods Program. Volume 141: 101002.

Josu Oca, Montserrat Hermo, and Alexander Bolotov. A Sound and Complete Algorithm to Identify Variables in a Reactive System Specification. Design, Automation & Test in Europe Conference & Exhibition (DATE 2024): 1-2.

Josu Oca and Montserrat Hermo. IndVarLTL: A tool that identifies independent variables in LTÑ expressions. Actas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024).

Montserrat Hermo, Paqui Lucio, and César Sánchez. Tableaux for Realizability of Safety Specifications. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2024).