English
Related papers

Related papers: Correlating Unlabeled Events at Runtime

200 papers

Identifying a temporal pattern of events is a fundamental task of on-line (real-time) verification. We present efficient schemes for on-line monitoring of events for identifying desired/undesired patterns of events. The schemes use…

Data Structures and Algorithms · Computer Science 2015-05-28 Shlomi Dolev , Jonathan Goldfeld , Rami Puzis

This paper presents an approach of using methods of process mining and rule-based artificial intelligence to analyze and understand study paths of students based on campus management system data and study program models. Process mining…

In recent years, process mining emerged as a proven technology to analyze and improve operational processes. An expanding range of organizations using process mining in their daily operation brings a broader spectrum of processes to be…

Machine Learning · Computer Science 2023-11-07 Viki Peeva , Wil M. P. van der Aalst

Process mining aims to provide insights into the actual processes based on event data. These data are often recorded by information systems and are widely available. However, they often contain sensitive private information that should be…

Cryptography and Security · Computer Science 2021-01-08 Majid Rafiei , Wil M. P. van der Aalst

Intention-oriented process mining is based on the belief that the fundamental nature of processes is mostly intentional (unlike activity-oriented process) and aims at discovering strategy and intentional process models from event-logs…

Software Engineering · Computer Science 2015-07-07 Ashish Sureka

The aim of process discovery, originating from the area of process mining, is to discover a process model based on business process execution data. A majority of process discovery techniques relies on an event log as an input. An event log…

Databases · Computer Science 2017-05-17 Sebastiaan J. van Zelst , Boudewijn F. van Dongen , Wil M. P. van der Aalst

The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. Nonetheless,…

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

Advances in Internet-of-Things (IoT) technologies have prompted the integration of IoT devices with business processes (BPs) in many organizations across various sectors, such as manufacturing, healthcare and smart spaces. The proliferation…

Runtime verification is a lightweight verification technique that complements model checking by analyzing system executions at runtime rather than exploring a complete system model in advance. It is particularly useful for partially…

Logic in Computer Science · Computer Science 2026-04-30 Benedikt Bollig

Process analytics approaches allow organizations to support the practice of Business Process Management and continuous improvement by leveraging all process-related data to extract knowledge, improve process performance and support…

Other Computer Science · Computer Science 2025-02-25 Asjad Khan , Aditya Ghose , Hoa Dam , Arsal Syed

The continuous flow of data collected by Internet of Things (IoT) devices, has revolutionised our ability to understand and interact with the world across various applications. However, this data must be prepared and transformed into event…

Databases · Computer Science 2025-02-25 Mohsen Shirali , Mohammadreza Fani Sani , Zahra Ahmadi , Estefania Serral

Event log analysis is an important task that security professionals undertake. Event logs record key information on activities that occur on computing devices, and due to the substantial number of events generated, they consume a large…

Artificial Intelligence · Computer Science 2025-02-04 Siraaj Akhtar , Saad Khan , Simon Parkinson

CodeSight is an end-to-end system designed to anticipate deadline compliance in software development workflows. It captures development and deployment data directly from GitHub, transforming it into process mining logs for detailed…

Software Engineering · Computer Science 2025-11-03 Antía Dorado , Iván Folgueira , Sofía Martín , Gonzalo Martín , Álvaro Porto , Alejandro Ramos , John Wallace

In this paper, we consider the applications of process mining in intrusion detection. We propose a novel process mining inspired algorithm to be used to preprocess data in intrusion detection systems (IDS). The algorithm is designed to…

Cryptography and Security · Computer Science 2022-05-25 Yinzheng Zhong , John Y. Goulermas , Alexei Lisitsa

Background: There has been growing research interest in automated answering of questions or generation of summary of free form text such as news article. In order to implement this task, the computer should be able to identify the sequence…

Computation and Language · Computer Science 2016-07-25 Amol S Patwardhan , Jacob Badeaux , Siavash , Gerald M Knapp

Automating the monitoring of industrial processes has the potential to enhance efficiency and optimize quality by promptly detecting abnormal events and thus facilitating timely interventions. Deep learning, with its capacity to discern…

The automation and digitalization of business processes has resulted in large amounts of data captured in information systems, which can aid businesses in understanding their processes better, improve workflows, or provide operational…

Artificial Intelligence · Computer Science 2022-07-21 Timo Rohrer , Anahita Farhang Ghahfarokhi , Mohamed Behery , Gerhard Lakemeyer , Wil M. P. van der Aalst

Identifying events and mapping them to pre-defined event types has long been an important natural language processing problem. Most previous work has been heavily relying on labor-intensive and domain-specific annotations while ignoring the…

Computation and Language · Computer Science 2021-06-03 Hongming Zhang , Haoyu Wang , Dan Roth

The scalability of process mining techniques is one of the main challenges to tackling the massive amount of event data produced every day in enterprise information systems. To this purpose, filtering and sampling techniques are proposed to…

Databases · Computer Science 2022-05-04 Alessandro Berti