Verifying Resource Compliance Requirements from Natural Language Text over Event Logs. - Henryk Mustroph; Marisol Barrientos; Karolin Winter; Stefanie Rinderle-Ma (BPM, 2023)

Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs. - Marisol Barrientos; Karolin Winter; Juergen Mangler; Stefanie Rinderle-Ma (CAiSE, 2023)

Automatic Extraction and Formalization of Temporal Requirements from Text: A Survey. - Marisol Barrientos; Karolin Winter; Stefanie Rinderle-Ma (EDOC, 2024)