Marisol Barrientos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2025
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SETTA | Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by Laypeople. | Florian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Kretnsk |
| 2024 | EDOC | Automatic Extraction and Formalization of Temporal Requirements from Text: A Survey. | Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma |
| 2023 | BPM | Verifying Resource Compliance Requirements from Natural Language Text over Event Logs. | Henryk Mustroph, Marisol Barrientos, Karolin Winter, Stefanie Rinderle-Ma |
| 2023 | CaiSE | Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs. | Marisol Barrientos, Karolin Winter, Juergen Mangler, Stefanie Rinderle-Ma |