Wykaz publikacji wybranego autora

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

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-9061-561X orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • A deduction-based system for formal verification of agent-ready Web services / Radosław KLIMEK // W: Advanced methods and technologies for agent and multi-agent systems : KES-AMSTA 2013 : [7th KES Conference on Agent and Multi-Agent Systems – Technologies and Applications : May 27–29, 2013, Hue, Vietnam] / eds. Dariusz Barbucha, [et al.]. — Amsterdam : IOS Press, cop. 2013. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 252). — ISBN: 978-1-61499-253-0 ; e-ISBN: 978-1-61499-254-7. — S. 203–212. — Bibliogr. s. 212, Abstr.

  • keywords: design patterns, agents, temporal logic, deduction, semantic tableaux, verification, web services, BPEL

    cyfrowy identyfikator dokumentu: 10.3233/978-1-61499-254-7-203

2

  • A system for deduction-based formal verification of workflow-oriented software models / Radosław KLIMEK // International Journal of Applied Mathematics and Computer Science ; ISSN 1641-876X. — 2014 vol. 24 no. 4, s. 941–956. — Bibliogr. s. 954–956

  • keywords: temporal logic, semantic tableaux, BPMN, formal verification, deductive reasoning, generating logical specification, workflow patterns, logical primitives, business models

    cyfrowy identyfikator dokumentu: 10.2478/amcs-2014-0069

3
4

  • Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych — Formal verification of planning problems in the business process context : analysis of feasibility / Radosław KLIMEK, Sebastian ERNST // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2011 nr 22, s. 169–183. — Bibliogr. s. 181–183, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

5

  • Application of deductive reasoning to the verification of ArchiMate behavioral elements — Zastosowanie wnioskowania dedukcyjnego do weryfikacji opisów zachowania w języku ArchiMate / Radosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 29. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2013 nr 3, s. 76–97. — Bibliogr. s. 96–97, Abstr., Streszcz.. — AITM'2013 : 11th conference on Advanced Information Technologies for Management : Cracow, September 8–11, 2013

  • słowa kluczowe: metoda tablic semantycznych, ArchiMate, wnioskowanie dedukcyjne, weryfikacja oprogramowania, liniowa logika temporalna

    keywords: semantic tableaux method, ArchiMate, deductive temporal reasoning, software verification, Linear Temporal Logic

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed, Stanisław Jędrusik

    cyfrowy identyfikator dokumentu:

6

  • Automatyczna weryfikacja modelu na etapie analizy wymagań — Automatic verification of the model at the stage of requirements analysis / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 209–216. — Bibliogr. s. 216, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

7

  • Behavior recognition and analysis in smart environments for context-aware applications / Radosław KLIMEK // W: SMC 2015 [Dokument elektroniczny] : the 2015 IEEE international conference on Systems, Man, and Cybernetics : 9–12 October 2015, Hong Kong : proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2015. — e-ISBN: 978-1-4799-8696-5. — S. 1949–1955. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=7379472 [2016-01-27]. — Bibliogr. s. 1955, Abstr.

  • keywords: temporal logic, semantic tableaux, context awareness, unified logical framework, sensorized environment

    cyfrowy identyfikator dokumentu: 10.1109/SMC.2015.340

8

  • Behavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems / Radosław KLIMEK, Leszek KOTULSKI, Adam SĘDZIWY // W: State of the art in AI applied to ambient intelligence / eds. Asier Aztiria, Juan Carlos Augusto, Andrea Orlandini. — Amsterdam ; Berlin ; Heidelberg : IOS Press, cop. 2017. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 298). — ISBN: 978-1-61499-803-7 ; e-ISBN: 978-1-61499-804-4. — S. 109–121. — Bibliogr. s. 120–121, Abstr.

    orcid iD

  • keywords: context awareness, outdoor lighting, pervasive computing, smart city, cell phone network, call detail record, behaviour recognition, pro-active system, multi-agent system, base transceiver station

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy, Leszek Kotulski

    cyfrowy identyfikator dokumentu: 10.3233/978-1-61499-804-4-109

9

  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // W: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN: 978-83-7464-370-2. — S. 115–125. — Bibliogr. s. 125, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

10
11

  • Context-aware and pro-active queue management systems in intelligent environments / Radosław KLIMEK // W: FedCSIS [Dokument elektroniczny] : proceedings of the 2017 Federated Conference on Computer Science and Information Systems : September, 3–6, 2017, Prague, Czech Republic / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : PTI, IEEE, [2017]. — ISBN: 978-8-3946-2537-5. — S. 1093–1100. — Wymagania systemowe: Adobe Reader ; Dysk Flash. — Bibliogr. s. 1100, Abstr.. — Toż. w bazie IEEE. — (Federated Conference on Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 11). — S. 1077–1084. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1084. — ISBN 978-83-946253-7-5. — {https://goo.gl/N7kxPn}

    orcid iD

  • keywords: context awareness, IoT, queue, intelligent environment, queue management system

    cyfrowy identyfikator dokumentu: 10.15439/2017F362

12

  • Deduction based verification of business models — Weryfikacja modeli biznesowych metodą dedukcyjną / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Advanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — (Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 147). — ISBN: 978-83-7695-083-9. — S. 173–188. — Bibliogr. s. 187–188, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

13

  • Deduction-based formal verification of requirements models with automatic generation of logical specifications / Radosław KLIMEK // W: Evaluation of Novel Approaches to Software Engineering : 7th international conference ENASE 2012 : Wrocław, Poland, June 29–30, 2012 : revised selected papers / eds. Leszek A. Maciaszek, Joaquim Filipe. — Berlin ; Heidelberg : Springer, cop. 2013. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 410). — ISBN: 978-3-642-45421-9 ; e-ISBN: 978-3-642-45422-6. — S. 157–171

  • keywords: design patterns, UML, temporal logic, requirements engineering, formal verification, deductive reasoning, use case scenarios, semantic tableaux method, workflows, use case diagram, activity diagram, logical modeling, generation formulas

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-45422-6_11

14

  • Deduction-based modelling and verification of agent-based systems for data integration / Radosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3 ; e-ISBN: 978-3-319-02309-0. — S. 361–368. — Bibliogr. s. 368, Abstr.

  • keywords: multi-agent systems, temporal logic, formal verification, deductive reasoning, activity diagrams, workflows patterns

    Zobacz pełny wykaz publikacji Autora/Autorów: Marek Kisiel-Dorohinicki, Łukasz Faber

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-02309-0_39

15

  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services / Radosław KLIMEK // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2018 vol. 6, s. 27127–27155. — Bibliogr. s. 27154–27155, Abstr.. — Publikacja dostępna online od: 2018-05-09. — tekst: https://ieeexplore-1ieee-1org-1000047eg0052.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8356586

    orcid iD

  • keywords: pervasive computing, ambient intelligence, Internet of Things, middleware, intelligent environment, rescuing activity, SAT solver, message broker, publish-subscribe, context aware services

    cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2018.2834532

16

  • Forest protection as a context-aware system / Radosław KLIMEK // W: MobiQuitous 2022 [Dokument elektroniczny] : mobile and ubiquitous systems: computing, networking and services : 19th EAI international conference : Pittsburgh, PA, USA, November 14–17, 2022 : proceedings / eds. Shangguan Longfei, Priyantha Bodhi. — Wersja do Windows. — Dane tekstowe. — Cham : Springer Nature Switzerland AG, cop. 2023. — (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; ISSN 1867-8211 ; LNICST 492). — ISBN: 978-3-031-34775-7 ; e-ISBN: 978-3-031-34776-4. — S. XXV-XXVII. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. XXVII, Abstr.. — tekst: https://link.springer.com/content/pdf/bfm:978-3-031-34776-4/1?pdf=chapter%20toc

    orcid iD

  • keywords: forest protection, context-aware system, smart decision

    cyfrowy identyfikator dokumentu:

17

  • Formal analysis of use case diagrams — Formalna analiza diagramów przypadków użycia / Radosław KLIMEK, Piotr SZWED // Computer Science ; ISSN 1508-2806. — 2010 vol. 11, s. 115–131. — Bibliogr. s. 130–131. — tekst: http://journals.bg.agh.edu.pl/COMPUTER/2010/cs2010-08.pdf

  • słowa kluczowe: UML, przypadek użycia, model formalny, weryfikacja, weryfikacja modelowa, logika temporalna, metoda tablic semantycznych

    keywords: UML, use case, formal model, model checking, temporal logic, semantic tableau, verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu:

18

  • Formalna analiza poprawności modeli usług sieciowych — [Formal analysis of correctness of the web services models] / Radosław KLIMEK, Grzegorz ROGUS // W: Integracja systemów informatycznych – nowe wyzwania / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2011. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk ; 10). — ISBN: 978-83-926806-7-3. — S. 213–220. — Bibliogr. s. 220

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

19

  • From extraction of logical specifications to deduction-based formal verification of requirements models / Radosław KLIMEK // W: Software Engineering and Formal Methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25–27, 2013 : proceedings / eds. Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8137. Programming and Software Engineering ; ISSN 2945-915X). — ISBN: 978-3-642-40560-0 ; e-ISBN: 978-3-642-40561-7. — S. 61–75. — Bibliogr. s. 75, Abstr.

  • keywords: temporal logic, requirements engineering, formal verification, deductive reasoning, use case diagrams, use case scenarios, activity diagrams, workflows patterns, logical specifications, semantic tableaux method

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-40561-7_5

20

  • From workflow design patterns to logical specifications — Odwzorowanie wzorców projektowych w specyfikację logiczną systemu / Radosław KLIMEK // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 59–63. — Bibliogr. s. 63, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.59.pdf

  • słowa kluczowe: wzorce projektowe, logika temporalna, weryfikacja formalna, dedukcja, tablice semantyczne, generowanie specyfikacji logicznej

    keywords: design patterns, temporal logic, deduction, formal verification, semantic tableux, generating logical specification

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.59

21
22

  • Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems / Radosław KLIMEK // W: Artificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9692. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-39377-3 ; e-ISBN: 978-3-319-39378-0. — S. 683–694. — Bibliogr. s. 694, Abstr.. — Toż na Dysku Flash

  • keywords: multi-agent system, base transceiver station, pervasive dataset, mobile phone network, urban ecosystem, individual behavior recognition, tourist movement

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39378-0_58

23
24

  • Metody i problemy systemów decyzyjnych — Methods and problems of decision systems / Radosław KLIMEK, Konrad KUŁAKOWSKI, Piotr SZWED // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7 ; e-ISBN: 978-83-67427-00-5. — S. 99–114. — Bibliogr. s. 112–114, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0602/NTT_tom5_099.pdf

    orcid iD

  • słowa kluczowe: rozmyte mapy kognitywne, problem decyzyjny, porównywanie parami, wnioskowanie logiczne

    keywords: fuzzy cognitive maps, decision problem, pairwise comparison, logical inference

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed, Konrad Kułakowski

    cyfrowy identyfikator dokumentu: 10.7494/978-83-67427-00-5_7

25

  • Modeling context-aware and agent-ready systems for the outdoor smart lighting / Radosław KLIMEK, Grzegorz ROGUS // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 8468. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 257–268. — Bibliogr. s. 267–268, Abstr.

  • keywords: context awareness, activity diagrams, smart lighting, system architecture, pervasive computing, Ambient Intelligence, Context Modeling Language

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07176-3_23