Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values
Fuente:
arXiv
Salvato in:
| Autori principali: | Klimek, Radoslaw, Blazowski, Jakub |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| 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)
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)
Re-evaluation of Logical Specification in Behavioural Verification
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)
di: Klimek, Radoslaw, et al.
Pubblicazione: (2025)
RE-oriented Model Development with LLM Support and Deduction-based Verification
di: Klimek, Radoslaw
Pubblicazione: (2025)
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)
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)
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)
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)
di: Fotinós, Jerónimo, et al.
Pubblicazione: (2026)
Ambient-aware continuous aid for mountain rescue activities
di: Klimek, Radoslaw
Pubblicazione: (2025)
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)
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)
di: Ghahderijani, Arash Yadegari, et al.
Pubblicazione: (2025)
Constraint based Modeling according to Reference Design
di: Heiland, Erik, et al.
Pubblicazione: (2024)
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)
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)
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)
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)
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)
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)
di: Sounthiraraj, David, et al.
Pubblicazione: (2025)
RepoShapley: Shapley-Enhanced Context Filtering for Repository-Level Code Completion
di: Huo, Yu, et al.
Pubblicazione: (2026)
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)
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)
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)
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)
di: Wei, Jia, et al.
Pubblicazione: (2026)
Introducing Repository Stability
di: Destefanis, Giuseppe, et al.
Pubblicazione: (2025)
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)
di: Qiu, Jingxi, et al.
Pubblicazione: (2026)
Ontology-Driven Model-to-Model Transformation of Workflow Specifications
di: Abreu, Francisco, et al.
Pubblicazione: (2025)
di: Abreu, Francisco, et al.
Pubblicazione: (2025)
HELP: Hierarchical Embeddings-based Log Parsing
di: Xu, Andy, et al.
Pubblicazione: (2024)
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)
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)
di: Ganesha, et al.
Pubblicazione: (2025)
DApps Ecosystems: Mapping the Network Structure of Smart Contract Interactions
di: Aufiero, Sabrina, et al.
Pubblicazione: (2024)
di: Aufiero, Sabrina, et al.
Pubblicazione: (2024)
Mining Temporal Attack Patterns from Cyberthreat Intelligence Reports
di: Rahman, Md Rayhanur, et al.
Pubblicazione: (2024)
di: Rahman, Md Rayhanur, et al.
Pubblicazione: (2024)
NLP-Based .NET CLR Event Logs Analyzer
di: Stavtsev, Maxim, et al.
Pubblicazione: (2025)
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)
di: Dorado, Antía, et al.
Pubblicazione: (2025)
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)
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)
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)
di: Ishii, Daisuke
Pubblicazione: (2024)
LogPTR: Variable-Aware Log Parsing with Pointer Network
di: Wu, Yifan, et al.
Pubblicazione: (2024)
di: Wu, Yifan, et al.
Pubblicazione: (2024)
LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding
di: Shan, Shiwen, et al.
Pubblicazione: (2026)
di: Shan, Shiwen, et al.
Pubblicazione: (2026)
CelerLog: Fast Log Parsing via Dynamic Routing
di: Shan, Shiwen, et al.
Pubblicazione: (2026)
di: Shan, Shiwen, et al.
Pubblicazione: (2026)
HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
di: Przymus, Piotr, et al.
Pubblicazione: (2025)
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)
di: Jahan, Sigma, et al.
Pubblicazione: (2025)
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)