English
Related papers

Related papers: Abducing Compliance of Incomplete Event Logs

200 papers

Process discovery algorithms traditionally linearize events, failing to capture the inherent concurrency of real-world processes. While some techniques can handle partially ordered data, they often struggle with scalability on large event…

Databases · Computer Science 2026-04-21 Humam Kourani , Gyunam Park , Wil M. P. van der Aalst

When a multi-agent system produces an incorrect or harmful answer, who is accountable if execution logs and agent identifiers are unavailable? In practice, generated content is often detached from its execution environment due to privacy or…

Artificial Intelligence · Computer Science 2026-04-02 Yi Nian , Haosen Cao , Shenzhe Zhu , Henry Peng Zou , Qingqing Luan , Yue Zhao

Machine learning has proved invaluable for a range of different tasks, yet it also proved vulnerable to evasion attacks, i.e., maliciously crafted perturbations of input data designed to force mispredictions. In this paper we propose a…

Machine Learning · Computer Science 2020-07-07 Stefano Calzavara , Pietro Ferrara , Claudio Lucchese

Expressing confidence is challenging for embodied agents navigating dynamic multimodal environments, where uncertainty arises from both perception and decision-making processes. We present the first work investigating embodied confidence…

Artificial Intelligence · Computer Science 2025-03-14 Tianjiao Yu , Vedant Shah , Muntasir Wahed , Kiet A. Nguyen , Adheesh Juvekar , Tal August , Ismini Lourentzou

Organizations need to manage numerous business processes for delivering their services and products to customers. One important consideration thereby lies in the adherence to regulations such as laws, guidelines, or industry standards. In…

Computers and Society · Computer Science 2025-11-12 Finn Klessascheck , Luise Pufahl

Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining. Execution traces are frequently parametric, i.e., they contain events…

Programming Languages · Computer Science 2015-07-01 Grigore Rosu , Feng Chen

Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence…

Software Engineering · Computer Science 2018-05-03 Roberto Baldoni , Emilio Coppa , Daniele Cono D'Elia , Camil Demetrescu , Irene Finocchi

Most existing process compliance monitoring approaches detect compliance violations in an ex post manner. Only predicate prediction focuses on predicting them. However, predicate prediction provides a binary yes/no notion of compliance,…

Machine Learning · Computer Science 2025-02-04 Qian Chen , Stefanie Rinderle-Ma , Lijie Wen

Detecting anomalies is important for identifying inefficiencies, errors, or fraud in business processes. Traditional process mining approaches focus on analyzing 'flattened', sequential, event logs based on a single case notion. However,…

Statistical Finance · Quantitative Finance 2024-03-05 Alessandro Niro , Michael Werner

One is interested here in the observation of dynamic processes starting from the traces which they leave or those that one makes them produce. It is considered here that it should be possible to make several observations simultaneously,…

Programming Languages · Computer Science 2007-05-23 Pierre Deransart

Teaching agile software development by pairing lectures with hands-on projects has become the norm. This approach poses the problem of grading and evaluating practical project work as well as process conformance during development. Yet, few…

Software Engineering · Computer Science 2018-09-05 Christoph Matthies , Thomas Kowark , Matthias Uflacker , Hasso Plattner

With the recent advances of deep learning techniques, there are rapidly growing interests in applying machine learning to log data. As a fundamental part of log analytics, accurate log parsing that transforms raw logs to structured events…

Software Engineering · Computer Science 2022-02-16 Lei Yu , Tian Wu , Jiaqi Li , Patrick Chan , Hong Min , Fanjing Meng

Simple process models are key for effectively communicating the outcomes of process mining. An important question in this context is whether the complexity of event logs used as inputs to process discovery algorithms can serve as a reliable…

Formal Languages and Automata Theory · Computer Science 2025-12-01 Patrizia Schalk , Artem Polyvyanyy

Traditionally, research in Business Process Management has put a strong focus on centralized and intra-organizational processes. However, today's business processes are increasingly distributed, deviating from a centralized layout, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-01-10 Michael Borkowski , Walid Fdhila , Matteo Nardelli , Stefanie Rinderle-Ma , Stefan Schulte

Programs with constraints are hard to debug. In this paper, we describe a general architecture to help develop new debugging tools for constraint programming. The possible tools are fed by a single general-purpose tracer. A tracer-driver is…

Software Engineering · Computer Science 2007-05-23 Ludovic Langevine , Mireille Ducasse

Effective activity and event monitoring is an essential aspect of digital forensic readiness. Techniques for capturing log and other event data are familiar from conventional networked hosts and transfer directly to the Cloud context. In…

Cryptography and Security · Computer Science 2024-05-06 George R. S. Weir , Andreas Aßmuth

This extended paper presents 1) a novel hierarchy and recursion extension to the process tree model; and 2) the first, recursion aware process model discovery technique that leverages hierarchical information in event logs, typically…

Software Engineering · Computer Science 2017-10-26 Maikel Leemans , Wil M. P. van der Aalst , Mark G. J. van den Brand

Event data are prevalent in diverse domains such as financial trading, business workflows and industrial IoT nowadays. An event is often characterized by several attributes denoting the meaning associated with the corresponding occurrence…

Databases · Computer Science 2020-12-15 Ruihong Huang , Jianmin Wang

Event logs capture the execution of business processes in terms of executed activities and their execution context. Since logs contain potentially sensitive information about the individuals involved in the process, they should be…

Databases · Computer Science 2020-06-24 Stephan A. Fahrenkrog-Petersen , Han van der Aa , Matthias Weidlich

Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other. In recent years, alignments have proven extremely useful in calculating conformance statistics. Most techniques…

Artificial Intelligence · Computer Science 2019-12-12 Mohammadreza Fani Sani , Sebastiaan J. van Zelst , Wil M. P. van der Aalst