English
Related papers

Related papers: Monitoring and Intervention: Concepts and Formal M…

200 papers

Given the inherent non-deterministic nature of machine learning (ML) systems, their behavior in production environments can lead to unforeseen and potentially dangerous outcomes. For a timely detection of unwanted behavior and to prevent…

Software Engineering · Computer Science 2025-10-01 Hira Naveed , John Grundy , Chetan Arora , Hourieh Khalajzadeh , Omar Haggag

The manufacturing sector is envisioned to be heavily influenced by artificial intelligence-based technologies with the extraordinary increases in computational power and data volumes. A central challenge in manufacturing sector lies in the…

Machine Learning · Computer Science 2022-08-31 Ye Yuan , Guijun Ma , Cheng Cheng , Beitong Zhou , Huan Zhao , Hai-Tao Zhang , Han Ding

The rise of digital platforms has enabled the large scale observation of individual and collective behavior through high resolution interaction data. This development has opened new analytical pathways for investigating how information…

Modern software development and operations rely on monitoring to understand how systems behave in production. The data provided by application logs and runtime environment are essential to detect and diagnose undesired behavior and improve…

Software Engineering · Computer Science 2021-03-08 Jeanderson Barros Cândido , Maurício Finavaro Aniche , Arie van Deursen

For humans, object detection, recognition, and tracking are innate. These provide the ability for human to perceive their environment and objects within their environment. This ability however doesn't translate well in computers. In…

Computer Vision and Pattern Recognition · Computer Science 2022-03-23 Shiyao Chen , Dale Chen-Song

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

Software Engineering · Computer Science 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

Process mining methods often analyze processes in terms of the individual end-to-end process runs. Process behavior, however, may materialize as a general state of many involved process components, which can not be captured by looking at…

Databases · Computer Science 2022-11-02 Bianka Bakullari , Wil M. P. van der Aalst

Deep learning model design, development, and debugging is a process driven by best practices, guidelines, trial-and-error, and the personal experiences of model developers. At multiple stages of this process, performance and internal model…

Human-Computer Interaction · Computer Science 2024-07-26 Thilo Spinner , Daniel Fürst , Mennatallah El-Assady

With the diffusion of complex heterogeneous platforms and their need of characterization, monitoring the system gained increasing interest. This work proposes a framework to build custom and modular monitoring systems, flexible enough to…

Hardware Architecture · Computer Science 2021-03-02 Giacomo Valente , Tiziana Fanni , Carlo Sau , Francesco Di Battista

Multi-agent models are a suitable starting point to model complex social interactions. However, as the complexity of the systems increase, we argue that novel modeling approaches are needed that can deal with inter-dependencies at different…

Artificial Intelligence · Computer Science 2018-09-25 Frank Dignum

We propose a formal framework for understanding and unifying the concept of observers across physics, computer science, philosophy, and related fields. Building on cybernetic feedback models, we introduce an operational definition of…

Quantum Physics · Physics 2026-01-08 Hatem Elshatlawy , Dean Rickles , Xerxes D. Arsiwalla

A modeling formalism is proposed for the description and study of living and life-like systems. It provides an abstract conceptual model framework for real life and evolution of biological organisms. It is proposed, that this model…

Populations and Evolution · Quantitative Biology 2013-06-14 Margareta Segerståhl

Predictive monitoring of business processes is concerned with the prediction of ongoing cases on a business process. Lately, the popularity of deep learning techniques has propitiated an ever-growing set of approaches focused on predictive…

Machine Learning · Computer Science 2021-11-01 Efrén Rama-Maneiro , Juan C. Vidal , Manuel Lama

With our growing reliability on distributed networks, the security aspect of such networks becomes of prime importance. In large scale distributed networks it becomes cardinal to have an efficient and effective monitoring scheme. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-11-20 Atul Vaibhav

Investigating efficiently the data collected from a system's activity can help to detect malicious attempts and better understand the context behind past incident occurrences. Nowadays, several solutions can be used to monitor system…

Cryptography and Security · Computer Science 2021-12-03 Inês Macedo , Sinan Wanous , Nuno Oliveira , Orlando Sousa , Isabel Praça

Process mining involves discovering, monitoring, and improving real processes by extracting knowledge from event logs in information systems. Process mining has become an important topic in recent years, as evidenced by a growing number of…

Software Engineering · Computer Science 2021-04-01 Sabah Al-Fedaghi

In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the system's reliability is compromised. Furthermore, isolating…

Programming Languages · Computer Science 2021-05-25 Christian Batrolo Burlò , Adrian Francalanza , Alceste Scalas

The use of Artificial Intelligence (AI) in high-risk, decision-making scenarios presents technical, safety, and normative challenges; problems that may only be ameliorated by human oversight. However, notions of human oversight lack a…

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only…

General Literature · Computer Science 2013-08-15 Carlo A. Furia , Dino Mandrioli , Angelo Morzenti , Matteo Rossi

Predictive process monitoring has recently gained traction in academia and is maturing also in companies. However, with the growing body of research, it might be daunting for companies to navigate in this domain in order to find, provided…

Artificial Intelligence · Computer Science 2025-07-22 Chiara Di Francescomarino , Chiara Ghidini , Fabrizio Maria Maggi , Fredrik Milani