Radosław Klimek

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

Nowa wersja		Poprzednia wersja
research:process [2026/06/19 17:08] – utworzono 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 10: Linia 10:
  
 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. 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.
 +
 +=== See also ===
 +
 +  * **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.
 +  * 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.
 +  * Luo J. et al. [[https://arxiv.org/abs/2503.21460|Large Language Model Agent: A Survey on Methodology, Applications and Challenges]]. ArXiv, 2025.
  
research/process.1781881736.txt.gz · ostatnio zmienione: przez admin