Login / Signup
Marisol Barrientos
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Temporal Reasoning
Process Mining
Event Logs
Natural Language Text
Top Venues
CAiSE
BPM
</>
Publications
</>
Marisol Barrientos
,
Karolin Winter
,
Juergen Mangler
,
Stefanie Rinderle-Ma
Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs.
CAiSE
(2023)
Henryk Mustroph
,
Marisol Barrientos
,
Karolin Winter
,
Stefanie Rinderle-Ma
Verifying Resource Compliance Requirements from Natural Language Text over Event Logs.
BPM
(2023)