Matrix Representation and Automation for the Verification of Free-Choiceness in Robustness Diagram with Loop and Time Controls. - Rugie C. Gabitanan; William Benedict D. Dy; Jasmine A. Malinao (NiDS (3), 2025)

On the Hardness of Generating Cyclic Profiles of Robustness Diagram with Loop and Time Controls. - Rugie C. Gabitanan; Shann Aurelle G. Ripalda; Jasmine A. Malinao (NiDS (1), 2025)