Marisol Barrientos

According to our database, Marisol Barrientos authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Automatic Extraction and Formalization of Temporal Requirements from Text: A Survey.

Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma

Proceedings of the Enterprise Design, Operations, and Computing, 2024

2023

Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs.

Marisol Barrientos, Karolin Winter, Juergen Mangler, Stefanie Rinderle-Ma

Proceedings of the Advanced Information Systems Engineering, 2023

Verifying Resource Compliance Requirements from Natural Language Text over Event Logs.

Henryk Mustroph, Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma

Proceedings of the Business Process Management - 21st International Conference, 2023