Klimek Radosław, dr hab. inż., prof. AGH

WEAIiIB-kis Katedra Informatyki Stosowanej

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

informatyka techniczna i telekomunikacja

100

rklimek@agh.edu.pl

Habilitacja: Formalna weryfikacja modeli oprogramowania i projektowania procesów decyzyjnych z zastosowaniem automatycznego wnioskowania
Wydział:
Dziedzina:: nauki inżynieryjno-techniczne
Data uchwały Rady Wydziału:: 14.05.2020
Stopień naukowy:: dr hab. nauk inżynieryjno-technicznych
Dyscyplina:: informatyka techniczna i telekomunikacja
Słowa kluczowe:: modele programowania; procesy decyzyjne
Uwagi:: Pracę habilitacyjną stanowi cykl 10 publikacji: [1] Klimek R. (2012). Towards formal and deduction-based analysis of business models for SOA processes. [W:] Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), 6-8 February, 2012, Vilamoura, Algarve, Portugal, J. Filipe and A. Fred (Eds.), vol. 2, s. 325-330 ; [2] Klimek R. (2013). Deduction-based formal verification of requirements models with automatic generation of logical specifications. [W:] 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012,Revised Selected Papers), 29-30 June, 2012, Wrocław, Poland, L. Maciaszek and J. Filipe (Eds.), (Communications in Computer and Information Science, vol. 410), s. 157-171 ; [3] Klimek R. (2013). From extraction of logical specifications to deduction-based formal verification of requirements models. [W:] Proceedings of 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), 25-27 September 2013, Madrid, Spain, R.M. Hierons, M.G. Merayo, and M. Bravetti (Eds.), (Lecture Notes in Computer Science, vol. 8137), s. 61-75 ; [4] Klimek R. (2014). A system for deduction-based formal verification of workflow-oriented software models. International Journal of Applied Mathematics and Computer Science, vol. 24, no. 4, s. 941-956 ; [5] Klimek R. (2019). Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. Journal of Logical and Algebraic Methods in Programming vol. 104, s. 201-226 ; [6] Klimek R., Rogus G. (2014). Modeling context-aware and agent-ready systems for the outdoor smart lighting. [W:] Proceedings of 13th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2014), 1-5 June, 2014, Zakopane, Poland, L. Rutkowski, M. Korytkowski, R. Scherer, R. Tadeusiewicz, L.A. Zadeh,and J.M. Zurada (Eds.), (Lecture Notes in Artificial Intelligence, vol. 8468),s. 269-280 ; [7] Klimek R., Kotulski L. (2014). Proposal of a multiagent-based smart environment for the IoT. [W:] Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, 30th June-1st of July 2014, Workshop, J.C. Augustoand T. Zhang (Eds.), (Ambient Intelligence and Smart Environments, vol. 18),s. 37-44 ; [8] Klimek R. (2015). Behaviour recognition and analysis in smart environments for context aware applications. [W:] Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2015), October 9-12, 2015, City Universityof Hong Kong, Hong Kong, s. 1949-1955 ; [9] Klimek R. (2018). Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services. IEEEAccess, vol. 6, s. 27127-27155 ; [10] Klimek R. (2019). Towards recognising individual behaviours from pervasive mobile datasets in urban spaces. Sustainability, vol. 11, no. 6 .