Narzędzia użytkownika

Narzędzia witryny


research:process

Różnice

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

Odnośnik do tego porównania

Poprzednia rewizja po obu stronachPoprzednia wersja
Nowa wersja
Poprzednia wersja
research:process [2026/06/19 17:40] adminresearch: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. 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 13: Linia 13:
 === See also === === 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]].+
  
research/process.1781883620.txt.gz · ostatnio zmienione: przez admin