Buchumschlag

Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Klimek, Radoslaw, Blazowski, Jakub
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Information Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic Mining from Process Logs: Towards Automated Specification and Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
von: Klimek, Radoslaw, et al.
Veröffentlicht: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
von: Klimek, Radoslaw
Veröffentlicht: (2025)

IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining
von: Brzychczy, Edyta, et al.
Veröffentlicht: (2025)

To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators
von: la Torre, Ilaria Pia, et al.
Veröffentlicht: (2025)

Uncovering Key Features for Model-Driven Engineering of Complex Performance Indicators: A Scoping Review
von: Giunta, Benito, et al.
Veröffentlicht: (2025)

Software Entropy: A Statistical Mechanics Framework for Software Testing
von: Fotinós, Jerónimo, et al.
Veröffentlicht: (2026)

Ambient-aware continuous aid for mountain rescue activities
von: Klimek, Radoslaw
Veröffentlicht: (2025)

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
von: Rebmann, Adrian, et al.
Veröffentlicht: (2024)

Change Logging and Mining of Change Logs of Business Processes -- A Literature Review
von: Ghahderijani, Arash Yadegari, et al.
Veröffentlicht: (2025)

Constraint based Modeling according to Reference Design
von: Heiland, Erik, et al.
Veröffentlicht: (2024)

The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective
von: Medeiros, Marcos, et al.
Veröffentlicht: (2024)

A Novel Approach for Automated Design Information Mining from Issue Logs
von: Zhao, Jiuang, et al.
Veröffentlicht: (2024)

SBAN: A Framework & Multi-Dimensional Dataset for Large Language Model Pre-Training and Software Code Mining
von: Jelodar, Hamed, et al.
Veröffentlicht: (2025)

CROSS: A Contributor-Project Interaction Lifecycle Model for Open Source Software
von: Dey, Tapajit, et al.
Veröffentlicht: (2024)

ComplexityMeasures.jl: scalable software to unify and accelerate entropy and complexity timeseries analysis
von: Datseris, George, et al.
Veröffentlicht: (2024)

Code-Craft: Hierarchical Graph-Based Code Summarization for Enhanced Context Retrieval
von: Sounthiraraj, David, et al.
Veröffentlicht: (2025)

RepoShapley: Shapley-Enhanced Context Filtering for Repository-Level Code Completion
von: Huo, Yu, et al.
Veröffentlicht: (2026)

Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j
von: Yoshioka, Haruhiko, et al.
Veröffentlicht: (2025)

Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions
von: Iman, Mohammad Reza Heidari, et al.
Veröffentlicht: (2026)

Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library
von: Tanaka, Hidetake, et al.
Veröffentlicht: (2025)

IOTEL: A Tool for Generating IoT-enriched Object-Centric Event Logs
von: Wei, Jia, et al.
Veröffentlicht: (2026)

Introducing Repository Stability
von: Destefanis, Giuseppe, et al.
Veröffentlicht: (2025)

Evidence Absence Is Not Evidence Insufficiency: Diagnosing NEI Construction Artifacts in Fact Verification
von: Qiu, Jingxi, et al.
Veröffentlicht: (2026)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
von: Abreu, Francisco, et al.
Veröffentlicht: (2025)

HELP: Hierarchical Embeddings-based Log Parsing
von: Xu, Andy, et al.
Veröffentlicht: (2024)

Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems
von: Eris, Halit, et al.
Veröffentlicht: (2025)

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
von: Ganesha, et al.
Veröffentlicht: (2025)

DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
von: Aufiero, Sabrina, et al.
Veröffentlicht: (2024)

Mining Temporal Attack Patterns from Cyberthreat Intelligence Reports
von: Rahman, Md Rayhanur, et al.
Veröffentlicht: (2024)

NLP-Based .NET CLR Event Logs Analyzer
von: Stavtsev, Maxim, et al.
Veröffentlicht: (2025)

A Process Mining-Based System For The Analysis and Prediction of Software Development Workflows
von: Dorado, Antía, et al.
Veröffentlicht: (2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
von: Hong, Chih-Duo, et al.
Veröffentlicht: (2025)

Integrating Log-Based Security Analytics in Agile Workflows: A Real-World Experience Report
von: Thool, Arpit, et al.
Veröffentlicht: (2026)

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
von: Ishii, Daisuke
Veröffentlicht: (2024)

LogPTR: Variable-Aware Log Parsing with Pointer Network
von: Wu, Yifan, et al.
Veröffentlicht: (2024)

LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
von: Shan, Shiwen, et al.
Veröffentlicht: (2026)

CelerLog: Fast Log Parsing via Dynamic Routing
von: Shan, Shiwen, et al.
Veröffentlicht: (2026)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
von: Przymus, Piotr, et al.
Veröffentlicht: (2025)

Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification
von: Jahan, Sigma, et al.
Veröffentlicht: (2025)