Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Klimek, Radoslaw, Blazowski, Jakub
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Information Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logic Mining from Process Logs: Towards Automated Specification and Verification
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)

Re-evaluation of Logical Specification in Behavioural Verification
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)

RE-oriented Model Development with LLM Support and Deduction-based Verification
di: Klimek, Radoslaw
Pubblicazione: (2025)

IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining
di: Brzychczy, Edyta, et al.
Pubblicazione: (2025)

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

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

Software Entropy: A Statistical Mechanics Framework for Software Testing
di: Fotinós, Jerónimo, et al.
Pubblicazione: (2026)

Ambient-aware continuous aid for mountain rescue activities
di: Klimek, Radoslaw
Pubblicazione: (2025)

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

Change Logging and Mining of Change Logs of Business Processes -- A Literature Review
di: Ghahderijani, Arash Yadegari, et al.
Pubblicazione: (2025)

Constraint based Modeling according to Reference Design
di: Heiland, Erik, et al.
Pubblicazione: (2024)

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

A Novel Approach for Automated Design Information Mining from Issue Logs
di: Zhao, Jiuang, et al.
Pubblicazione: (2024)

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

CROSS: A Contributor-Project Interaction Lifecycle Model for Open Source Software
di: Dey, Tapajit, et al.
Pubblicazione: (2024)

ComplexityMeasures.jl: scalable software to unify and accelerate entropy and complexity timeseries analysis
di: Datseris, George, et al.
Pubblicazione: (2024)

Code-Craft: Hierarchical Graph-Based Code Summarization for Enhanced Context Retrieval
di: Sounthiraraj, David, et al.
Pubblicazione: (2025)

RepoShapley: Shapley-Enhanced Context Filtering for Repository-Level Code Completion
di: Huo, Yu, et al.
Pubblicazione: (2026)

Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j
di: Yoshioka, Haruhiko, et al.
Pubblicazione: (2025)

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

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

IOTEL: A Tool for Generating IoT-enriched Object-Centric Event Logs
di: Wei, Jia, et al.
Pubblicazione: (2026)

Introducing Repository Stability
di: Destefanis, Giuseppe, et al.
Pubblicazione: (2025)

Evidence Absence Is Not Evidence Insufficiency: Diagnosing NEI Construction Artifacts in Fact Verification
di: Qiu, Jingxi, et al.
Pubblicazione: (2026)

Ontology-Driven Model-to-Model Transformation of Workflow Specifications
di: Abreu, Francisco, et al.
Pubblicazione: (2025)

HELP: Hierarchical Embeddings-based Log Parsing
di: Xu, Andy, et al.
Pubblicazione: (2024)

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

A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
di: Ganesha, et al.
Pubblicazione: (2025)

DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
di: Aufiero, Sabrina, et al.
Pubblicazione: (2024)

Mining Temporal Attack Patterns from Cyberthreat Intelligence Reports
di: Rahman, Md Rayhanur, et al.
Pubblicazione: (2024)

NLP-Based .NET CLR Event Logs Analyzer
di: Stavtsev, Maxim, et al.
Pubblicazione: (2025)

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

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)

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

A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
di: Ishii, Daisuke
Pubblicazione: (2024)

LogPTR: Variable-Aware Log Parsing with Pointer Network
di: Wu, Yifan, et al.
Pubblicazione: (2024)

LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
di: Shan, Shiwen, et al.
Pubblicazione: (2026)

CelerLog: Fast Log Parsing via Dynamic Routing
di: Shan, Shiwen, et al.
Pubblicazione: (2026)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
di: Przymus, Piotr, et al.
Pubblicazione: (2025)

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