5 papers
Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values
Radoslaw Klimek, Jakub Blazowski
Workflow mining discovers hierarchical process trees from event logs, but it remains unclear why such models satisfy or violate logical properties, or how individual elements contr…
Logic Mining from Process Logs: Towards Automated Specification and Verification
Radoslaw Klimek, Julia Witek
Logical specifications play a key role in the formal analysis of behavioural models. Automating the derivation of such specifications is particularly valuable in complex systems, w…
RE-oriented Model Development with LLM Support and Deduction-based Verification
Radoslaw Klimek
The requirements engineering (RE) phase is pivotal in developing high-quality software. Integrating advanced modelling techniques with large language models (LLMs) and formal verif…
Ambient-aware continuous aid for mountain rescue activities
Radoslaw Klimek
Ambient-awareness in conjunction with pervasive computing is a significant challenge for system designers. It follows the necessity of gathering raw, massive and heterogeneous envi…
Re-evaluation of Logical Specification in Behavioural Verification
Radoslaw Klimek, Jakub Semczyszyn
This study empirically validates automated logical specification methods for behavioural models, focusing on their robustness, scalability, and reproducibility. By the systematic r…