Marisol Barrientos

According to our database, Marisol Barrientos authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Impact analysis of regulatory requirement changes on business process compliance.

Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma

Inf. Softw. Technol., 2026

2025

Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by Laypeople.

Florian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Kretínský

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2025

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