Różnice

Różnice między wybraną wersją a wersją aktualną.

--- research:process [2026/06/19 17:36] – admin
+++ research:process [2026/06/19 21:04] (aktualna) – admin
@@ Linia 1: / Linia 1: @@
-====Workflow Intelligence, Process Mining, and Explainable AI Systems===
+=====Workflow Intelligence, Process Mining, and Explainable AI Systems====
 This research area focuses on the analysis, modeling, and verification of behavioral processes in software systems, AI-driven environments, intelligent infrastructures, and autonomous agents. Modern digital systems continuously generate event logs and execution traces viewed as the “behavioral fingerprints” of complex systems, capturing how processes, decisions, and interactions evolve over time.
@@ Linia 11: / Linia 11: @@
 Expected outcomes include workflow-aware AI analysis methods, explainable behavioral modeling, intelligent process diagnostics, attribution-based reasoning frameworks, and environments supporting trustworthy operation of AI-driven and software-intensive systems.
-=== Selected References ===
+=== See also ===
-  * Klimek R., Witek J. (2024). ''Automatic Generation of Logical Specifications for Behavioural Models''. In: //ASEW 2024 – Automated Software Engineering Workshops//. ACM. Core A*.
+  * **Radoslaw Klimek**, Julia Witek. [[https://dl.acm.org/doi/10.1145/3695750.3695822|Automatic Generation of Logical Specifications for Behavioural Models]]. 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW-RENE 2024), Sacramento, California, USA, 2024.
+  * **Radoslaw Klimek**, Jakub Blazowski. [[https://arxiv.org/abs/2512.09562|Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values]]. ArXiv, 2025.
-  * Klimek R., Blazowski J. (2025). ''Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values''. [[https://arxiv.org/abs/2512.09562|arXiv]].
+  * van der Aalst W.M.P. [[https://link.springer.com/book/10.1007/978-3-662-49851-4|Process Mining: Data Science in Action]]. Springer, 2016.
+  * Lundberg S.M., Lee S.-I. [[https://dl.acm.org/doi/10.5555/3295222.3295230|A Unified Approach to Interpreting Model Predictions]]. Advances in Neural Information Processing Systems (NeurIPS 2017), 2017, pages. 4765–4774.
-  * van der Aalst W.M.P. (2016). ''Process Mining: Data Science in Action''. Springer.
+  * Luo J. et al. [[https://arxiv.org/abs/2503.21460|Large Language Model Agent: A Survey on Methodology, Applications and Challenges]]. ArXiv, 2025.
-  * Lundberg S.M., Lee S.-I. (2017). ''A Unified Approach to Interpreting Model Predictions''. In: //Advances in Neural Information Processing Systems (NeurIPS 2017)//, pp. 4765–4774.
-  * Luo J. et al. (2025). ''Large Language Model Agent: A Survey on Methodology, Applications and Challenges''. [[https://arxiv.org/abs/2503.21460|arXiv]].