Author of the publication

Two Solutions for Checking LTLf Properties in Event Logs.

, , , , and . ICPM Doctoral Consortium / Demo, volume 3648 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Sound conflict management and resolution for virtual-enterprise collaborations., , , , and . Serv. Oriented Comput. Appl., 10 (3): 233-251 (2016)Probabilistic Temporal Logic over Finite Traces (Technical Report)., , and . CoRR, (2019)Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities., , , and . RuleML, volume 8620 of Lecture Notes in Computer Science, page 281-295. Springer, (2014)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 250-267. Springer, (2012)Compliance Monitoring of Multi-Perspective Declarative Process Models., , and . EDOC, page 151-160. IEEE, (2019)Outcome-Oriented Predictive Process Monitoring: Review and Benchmark., , , and . ACM Trans. Knowl. Discov. Data, 13 (2): 17:1-17:57 (2019)Explain, Adapt and Retrain: How to improve the accuracy of a PPM classifier through different explanation styles., , , and . CoRR, (2023)Beyond arrows in process models: A user study on activity dependences and their rationales., , , and . Inf. Syst., (2021)Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces., , , and . CoRR, (2020)A Tool for the Analysis of DMN Decision Tables., and . BPM (Demos), volume 1789 of CEUR Workshop Proceedings, page 56-60. CEUR-WS.org, (2016)