{"version.version":"0.1.1","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4279/Paper-159.html","spt.description":null,"spt.id":"Vol-4279/Paper-159","spt.wikidataid":null,"spt.title":"PC-VERA: Process Compliance Verification, Extraction, and Repair","spt.pdfUrl":"https://ceur-ws.org/Vol-4279/Paper-159.pdf","spt.volume":{"number":4279,"acronym":"ER-Companion 2026","wikidataid":"Q141623727","title":"Companion Proceedings of ER 2026: Doctoral Consortium, Tutorials, Posters and Demos (ER-Companion 2026)","description":"Proceedings of ER-Companion 2026 workshop","url":"https://ceur-ws.org/Vol-4279/","date":"2026-10-01","dblp":null,"k10plus":null,"urn":"urn:nbn:de:0074-4279-x"},"spt.session":null,"cvb.id":"Vol-4279/Paper-159","cvb.title":"PC-VERA: Process Compliance Verification, Extraction, and Repair","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Johannes Loebbecke,Marisol Barrientos,Karolin Winter,Juergen Mangler,Stefanie Rinderle-Ma","cvb.vol_number":"4279","cvb.pdf_name":"Paper-159.pdf","cvb.pages":"21–25","cvb.fail":null}